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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WholesaleTradeDurableGoods

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

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


No TPTP formula. May not be expressible in strict first order. naics.kif 6395-6397
No TPTP formula. May not be expressible in strict first order. naics.kif 6393-6393 批发贸易耐用品 是 批发贸易 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 6572-6572 电器批发商 是 批发贸易耐用品 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 6435-6435 家具和家居批发商 是 批发贸易耐用品 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 6602-6602 五金及管道和供暖设备及用品批发商 是 批发贸易耐用品 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 6455-6455 木材和其他建筑材料批发商 是 批发贸易耐用品 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 6640-6640 机械设备和用品批发商 是 批发贸易耐用品 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 6552-6552 除石油批发商外的金属和矿物 是 批发贸易耐用品 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 6695-6695 杂项耐用品批发商 是 批发贸易耐用品 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 6399-6399 汽车及汽车零部件及用品批发商 是 批发贸易耐用品 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 6491-6491 专业和商业设备和用品批发商 是 批发贸易耐用品 的 subAttribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63039-63039
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63038-63038
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63037-63037


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