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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IATAAirlineCode

 Sigma KEE - IATAAirlineCode
IATAAirlineCode(IATA airline code)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 3144-3145
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3143-3143 IATA airline code is an instance of code map

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 3146-3146

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 3152-3154
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3148-3150


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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