From: Ontology generation for flight safety messages in air traffic management
Axiom name | Domestic flight |
---|---|
Description | Every domestic flight that departed from a Iranian location must arrival at another Iranian location |
Expression | For all (?x,?y,?z) ([domestic flight] (?x) and [departure place] (?x, ?y) and [arrival place] (?x,?z) and [Iranian location] (?y) ⟶ [Iranian location] (?z)) |
Concept | Domestic flights Iranian location |
Refer attribute | |
Ad hoc binary relation | Departure airport Arrival airport |
Variables | ?x ?y ?z |