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 例 建築材料和園藝設備及用品經銷商 and 行業屬性

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


No TPTP formula. May not be expressible in strict first order. naics.kif 7260-7260 子屬性 建築材料和用品經銷商 and 建築材料和園藝設備及用品經銷商
No TPTP formula. May not be expressible in strict first order. naics.kif 7293-7293 子屬性 草坪和園藝設備和用品商店 and 建築材料和園藝設備及用品經銷商
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