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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Rubber

Sigma KEE - Rubber
Rubber(rubber)
India_rubber, caoutchouc, gum_elastic, natural_rubber, rubber

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9183-9186
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4812-4812
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31646-31646 roomTempState rubber and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9181-9181 Rubber is a subclass of body substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9182-9182 Rubber is a subclass of hydrocarbon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9180-9180 Rubber is a subclass of plant substance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50558-50558
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50557-50557
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50556-50556

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9188-9193

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 3497-3515


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