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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BuildingMaterialAndGardenEquipmentAndSuppliesDealers

 Sigma KEE - BuildingMaterialAndGardenEquipmentAndSuppliesDealers
BuildingMaterialAndGardenEquipmentAndSuppliesDealers(建筑材料和园艺设备及用品经销商)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 7237-7240
No TPTP formula. May not be expressible in strict first order. naics.kif 7235-7235 建筑材料和园艺设备及用品经销商 是 行业属性 的 instance

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


No TPTP formula. May not be expressible in strict first order. naics.kif 7260-7260 建筑材料和用品经销商 是 建筑材料和园艺设备及用品经销商 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 7293-7293 草坪和园艺设备和用品商店 是 建筑材料和园艺设备及用品经销商 的 subAttribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12263-12263
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12262-12262
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12261-12261

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 7242-7257


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