Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IATAAirlineCode
IATAAirlineCode(IATA airline code)

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