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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VitreousChinaFineEarthenwareAndOtherPotteryProductManufacturing

Sigma KEE - VitreousChinaFineEarthenwareAndOtherPotteryProductManufacturing
VitreousChinaFineEarthenwareAndOtherPotteryProductManufacturing(玻璃瓷精細陶器等陶瓷製品製造)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3735-3740
No TPTP formula. May not be expressible in strict first order. naics.kif 3733-3733 子屬性 玻璃瓷精細陶器等陶瓷製品製造 and 陶瓷陶瓷和水暖具製造

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61802-61802
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61801-61801
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61800-61800


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