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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Rock
Rock

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17932-17935
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 31443-31443 roomTempState Rock and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17931-17931 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 50224-50224
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50223-50223
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50222-50222

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 17937-17939
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17941-17946

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 22136-22141


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