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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WholesaleTradeNondurableGoods

 Sigma KEE - WholesaleTradeNondurableGoods
WholesaleTradeNondurableGoods(批发贸易非耐用品)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 6739-6741
No TPTP formula. May not be expressible in strict first order. naics.kif 6737-6737 批发贸易非耐用品 是 批发贸易 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 6777-6777 服装件商品和概念批发商 是 批发贸易非耐用品 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 6948-6948 啤酒和蒸馏酒精饮料批发商 是 批发贸易非耐用品 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 6906-6906 化学和相关产品批发商 是 批发贸易非耐用品 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 6771-6771 药品和药剂杂货批发商 是 批发贸易非耐用品 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 6880-6880 农产品原料批发商 是 批发贸易非耐用品 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 6812-6812 杂货及相关产品批发商 是 批发贸易非耐用品 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 6968-6968 杂项非耐用品批发商 是 批发贸易非耐用品 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 6743-6743 纸和纸制品批发商 是 批发贸易非耐用品 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 6926-6926 石油和石油产品批发商 是 批发贸易非耐用品 的 subAttribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63045-63045
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63044-63044
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63043-63043


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