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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IACOAirlineCode
IACOAirlineCode(IACO airline code)

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


(documentation IACOAirlineCode EnglishLanguage "The 3-character tag given to an Airline by the InternationalCivilAviationOrganization to represent that Airline at any Airport") Transportation.kif 3164-3165
(instance IACOAirlineCode CodeMap) Transportation.kif 3163-3163 IACO airline code is an instance of CodeMap

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


(termFormat EnglishLanguage IACOAirlineCode "IACO airline code") Transportation.kif 3166-3166

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


(=>
    (codeMapping IACOAirlineCode ?STR ?AIR)
    (equal 3
        (StringLengthFn ?STR)))
Transportation.kif 3172-3174
(=>
    (codeMapping IACOAirlineCode ?STR ?AIR)
    (member ?AIR InternationalCivilAviationOrganization))
Transportation.kif 3168-3170


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