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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ApparelPieceGoodsAndNotionsWholesalers

Sigma KEE - ApparelPieceGoodsAndNotionsWholesalers
ApparelPieceGoodsAndNotionsWholesalers(服裝件商品和概念批發商)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 6779-6781
No TPTP formula. May not be expressible in strict first order. naics.kif 6777-6777 子屬性 服裝件商品和概念批發商 and 批發貿易非耐用品

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


No TPTP formula. May not be expressible in strict first order. naics.kif 6806-6806 子屬性 鞋類批發商 and 服裝件商品和概念批發商
No TPTP formula. May not be expressible in strict first order. naics.kif 6791-6791 子屬性 男裝和男裝服裝和家具批發商 and 服裝件商品和概念批發商
No TPTP formula. May not be expressible in strict first order. naics.kif 6783-6783 子屬性 零件商品概念和其他乾貨批發商 and 服裝件商品和概念批發商
No TPTP formula. May not be expressible in strict first order. naics.kif 6798-6798 子屬性 婦女兒童和嬰兒服裝和配件批發商 and 服裝件商品和概念批發商
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7986-7986
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7985-7985
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7984-7984


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