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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CodeMap

Sigma KEE - CodeMap
CodeMap(code map)

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2234-2240
No TPTP formula. May not be expressible in strict first order. Media.kif 2233-2233 Code map is a subclass of classification scheme

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 3156-3156 IACO airline code is an instance of code map
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3143-3143 IATA airline code is an instance of code map
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3130-3130 Airline code map is a subclass of code map
No TPTP formula. May not be expressible in strict first order. Media.kif 2249-2249 Currency code map is a subclass of code map
No TPTP formula. May not be expressible in strict first order. Media.kif 2256-2256 Geographic code map is a subclass of code map
No TPTP formula. May not be expressible in strict first order. Media.kif 2242-2242 Language code map is a subclass of code map
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64657-64657

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2264-2264 The number 1 argument of code mapping is an instance of code map


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