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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Rubber
Rubber

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9182-9185
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 31642-31642 roomTempState Rubber and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9180-9180 Rubber e' uma sub-classe de Substancia Corporal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9181-9181 Rubber e' uma sub-classe de Hydrocarbon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9179-9179 Rubber e' uma sub-classe de PlantSubstance

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 9187-9192

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


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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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