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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Cobble
Cobble

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 7279-7280
No TPTP formula. May not be expressible in strict first order. Geography.kif 7276-7277
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31411-31411 roomTempState Cobble and Solid
No TPTP formula. May not be expressible in strict first order. Geography.kif 7286-7286 Cobble est une sous-classe de Rock

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 7284-7284
No TPTP formula. May not be expressible in strict first order. Geography.kif 7282-7282

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 7257-7257 Rock est compl�tement d�compos� en Boulder, Cobble, + Pebble

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 7288-7295


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