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 3312-3313
(subclass AirlineCodeMap CodeMap)	Transportation.kif 3311-3311	Airline code map is a subclass of code map

appearance as argument number 2

(termFormat EnglishLanguage AirlineCodeMap "airline code map")

Transportation.kif 3314-3314

antecedent

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

Transportation.kif 3316-3322

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