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 OtherRubberProductManufacturing est un sous-attribut de RubberProductManufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3676-3676 AllOtherRubberProductManufacturing est un sous-attribut de OtherRubberProductManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 3669-3669 RubberProductManufacturingForMechanicalUse est un sous-attribut de OtherRubberProductManufacturing
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