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 例 服裝製造業 and 行業屬性

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


No TPTP formula. May not be expressible in strict first order. naics.kif 2415-2415 子屬性 服裝輔料及其他服裝製造業 and 服裝製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 2212-2212 子屬性 服裝針織廠 and 服裝製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 2258-2258 子屬性 剪裁和縫製服裝製造業 and 服裝製造業
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