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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MiscellaneousNondurableGoodsWholesalers

Sigma KEE - MiscellaneousNondurableGoodsWholesalers
MiscellaneousNondurableGoodsWholesalers(杂项非耐用品批发商)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 6970-6972
No TPTP formula. May not be expressible in strict first order. naics.kif 6968-6968 杂项非耐用品批发商批发贸易非耐用品subAttribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 6981-6981 预定期刊和报纸批发商杂项非耐用品批发商subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 6974-6974 农场用品批发商杂项非耐用品批发商subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 6988-6988 花卉苗木和花店用品批发商杂项非耐用品批发商subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 7010-7010 其他杂项非耐用品批发商杂项非耐用品批发商subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 7003-7003 油漆清漆和用品批发商杂项非耐用品批发商subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 6996-6996 烟草和烟草制品批发商杂项非耐用品批发商subAttribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38009-38009
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38008-38008
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38007-38007


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