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 9210-9213
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 31678-31678 roomTempState rubber and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9208-9208 Rubber is a subclass of body substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9209-9209 Rubber is a subclass of hydrocarbon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9207-9207 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 50560-50560
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50559-50559
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50558-50558

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


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

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