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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AirportOperations

 Sigma KEE - AirportOperations
AirportOperations(機場運營)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 8585-8587
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1630-1630
No TPTP formula. May not be expressible in strict first order. naics.kif 8583-8583 子屬性 機場運營 and 支持航空運輸活動

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


No TPTP formula. May not be expressible in strict first order. naics.kif 8589-8589 子屬性 空中交通管制 and 機場運營
No TPTP formula. May not be expressible in strict first order. naics.kif 8596-8596 子屬性 其他機場運營 and 機場運營
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6240-6240
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6239-6239
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6238-6238


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