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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Rock

 Sigma KEE - Rock
Rock

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17904-17907
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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31407-31407 roomTempState Rock and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17903-17903 Rock est une sous-classe de substance

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4041-4041 groundSubsurfaceType Mountain and Rock
No TPTP formula. May not be expressible in strict first order. Geography.kif 4040-4040 groundSurfaceType Mountain and Rock
No TPTP formula. May not be expressible in strict first order. Economy.kif 1809-1809 industryProductType StoneMiningAndQuarrying and Rock
No TPTP formula. May not be expressible in strict first order. Geography.kif 7309-7309 Boulder est une sous-classe de Rock
No TPTP formula. May not be expressible in strict first order. Geography.kif 2019-2019 Coal est une sous-classe de Rock
No TPTP formula. May not be expressible in strict first order. Geography.kif 7286-7286 Cobble est une sous-classe de Rock
No TPTP formula. May not be expressible in strict first order. Geography.kif 4449-4449 Marble est une sous-classe de Rock
No TPTP formula. May not be expressible in strict first order. Geography.kif 7263-7263 Pebble est une sous-classe de Rock
No TPTP formula. May not be expressible in strict first order. Geography.kif 4471-4471 Stone est une sous-classe de Rock
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50222-50222
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50221-50221
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50220-50220

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1824-1828
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17909-17911
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17913-17918

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5646-5653
No TPTP formula. May not be expressible in strict first order. Geography.kif 6627-6631
No TPTP formula. May not be expressible in strict first order. Geography.kif 5949-5957
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22083-22088


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