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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HeatingOilDealers
  AppleMacOSSystem2

 Sigma KEE - HeatingOilDealers
HeatingOilDealers(暖油经销商)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 7921-7924
No TPTP formula. May not be expressible in strict first order. naics.kif 7919-7919 暖油经销商 是 燃料经销商 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27804-27804
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27803-27803
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27802-27802


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