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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RoofingSidingAndInsulationMaterialWholesalers

Sigma KEE - ResinAndSyntheticRubberManufacturing
ResinAndSyntheticRubberManufacturing(树脂和合成橡胶制造)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3257-3259
No TPTP formula. May not be expressible in strict first order. naics.kif 3255-3255 树脂和合成橡胶制造树脂合成橡胶和人造及合成纤维和长丝的制造subAttribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3261-3261 塑料材料和树脂制造树脂和合成橡胶制造subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 3269-3269 合成橡胶制造树脂和合成橡胶制造subAttribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49688-49688
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49687-49687
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49686-49686


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