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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ApparelManufacturing
ApparelManufacturing(服装制造业)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 2190-2192
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8889-8889
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8890-8890
No TPTP formula. May not be expressible in strict first order. naics.kif 2188-2188 服装制造业 是 行业属性 的 instance

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


No TPTP formula. May not be expressible in strict first order. naics.kif 2415-2415 服装辅料及其他服装制造业 是 服装制造业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 2212-2212 服装针织厂 是 服装制造业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 2258-2258 剪裁和缝制服装制造业 是 服装制造业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7980-7980
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7979-7979
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7978-7978

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 2194-2210


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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