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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IACOAirlineCode
IACOAirlineCode

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 3157-3158
(instance IACOAirlineCode CodeMap) Transportation.kif 3156-3156 IACOAirlineCodeCodeMapinstance では %n

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


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

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


(=>
    (codeMapping IACOAirlineCode ?STR ?AIR)
    (equal 3
        (StringLengthFn ?STR)))
Transportation.kif 3165-3167
(=>
    (codeMapping IACOAirlineCode ?STR ?AIR)
    (member ?AIR InternationalCivilAviationOrganization))
Transportation.kif 3161-3163


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