| appearance as argument number 1 |
|
| s__documentation(s__IATAAirlineCode,s__EnglishLanguage,'"The 2-character tag given to an Airline by the InternationalAirTransportAssociation to represent that Airline at any Airport"')
|
Transportation.kif 3151-3152 | |
| s__instance(s__IATAAirlineCode,s__CodeMap) s__instance(s__CodeMap,s__Class)
|
Transportation.kif 3150-3150 | IATA airline code is an instance of CodeMap |
| appearance as argument number 2 |
|
|
| s__termFormat(s__EnglishLanguage,s__IATAAirlineCode,'"IATA airline code"')
|
Transportation.kif 3153-3153 |
| antecedent |
|
|
| ( ! [V__AIR,V__STR] : ((s__instance(V__STR,s__SymbolicString) => ((s__codeMapping(s__IATAAirlineCode,V__STR,V__AIR) => ((n__2 = s__StringLengthFn(V__STR)))))) ) )
|
Transportation.kif 3159-3161 |
|
| ( ! [V__AIR,V__STR] : (((s__instance(V__AIR,s__Physical) & s__instance(V__STR,s__SymbolicString)) => ((s__codeMapping(s__IATAAirlineCode,V__STR,V__AIR) => (s__member(V__AIR,s__InternationalAirTransportAssociation))))) ) )
|
Transportation.kif 3155-3157 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners