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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OtherRubberProductManufacturing

Sigma KEE - OtherRubberProductManufacturing
OtherRubberProductManufacturing(其他橡膠製品生產)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3665-3667
No TPTP formula. May not be expressible in strict first order. naics.kif 3663-3663 子屬性 其他橡膠製品生產 and 橡膠製品製造業

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3676-3676 子屬性 所有其他橡膠製品生產 and 其他橡膠製品生產
No TPTP formula. May not be expressible in strict first order. naics.kif 3669-3669 子屬性 機械用橡膠製品製造 and 其他橡膠製品生產
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43428-43428
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43427-43427
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43426-43426


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