AirlineCodeMap - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - AirlineCodeMap

AirlineCodeMap(airline code map)

appearance as argument number 1

(documentation AirlineCodeMap EnglishLanguage "AirlineCodeMap denotes the SymbolicString used by different aviation organizations to identify Airline")	Transportation.kif 4031-4032
(subclass AirlineCodeMap CodeMap)	Transportation.kif 4030-4030	Airline code map is a subclass of code map

appearance as argument number 2

(termFormat EnglishLanguage AirlineCodeMap "airline code map")

Transportation.kif 4033-4033

antecedent

(=>
    (and
        (instance ?CM AirlineCodeMap)
        (codeMapping ?CM ?STR ?AIR))
    (and
        (instance ?AIR Airline)
        (represents ?STR ?AIR)))

Transportation.kif 4035-4041

If a code map is an instance of airline code map and a symbolic string in the code map denotes an entity,
then the entity is an instance of Airline and the symbolic string expresses the entity

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