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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Rock

Sigma KEE - Rock
Rock(rock)clast, geode, rock, stone, wall_rock

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17905-17908
No TPTP formula. May not be expressible in strict first order. Geography.kif 7257-7257 Rock is exhaustively partitioned into boulder, cobble, and pebble
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31411-31411 roomTempState rock and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17904-17904 Rock is a subclass of substance

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4041-4041 Rock is a ground subsurface type of mountain
No TPTP formula. May not be expressible in strict first order. Geography.kif 4040-4040 Rock is a ground surface type of mountain
No TPTP formula. May not be expressible in strict first order. Economy.kif 1809-1809 Rock is an industry product type of stone mining and quarrying
No TPTP formula. May not be expressible in strict first order. Geography.kif 7309-7309 Boulder is a subclass of rock
No TPTP formula. May not be expressible in strict first order. Geography.kif 2019-2019 Coal is a subclass of rock
No TPTP formula. May not be expressible in strict first order. Geography.kif 7286-7286 Cobble is a subclass of rock
No TPTP formula. May not be expressible in strict first order. Geography.kif 4449-4449 Marble is a subclass of rock
No TPTP formula. May not be expressible in strict first order. Geography.kif 7263-7263 Pebble is a subclass of rock
No TPTP formula. May not be expressible in strict first order. Geography.kif 4471-4471 Stone is a subclass of 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 17910-17912
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17914-17919

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 22084-22089


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