TreeView Knowledge Base Browser - Rock

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 17905-17908
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7257-7257	O conceito Rock e' completamente decomposto em Boulder, Cobble, + 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 e' uma sub-classe de Substancia

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 e' uma sub-classe de Rock
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2019-2019	Coal e' uma sub-classe de Rock
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7286-7286	Cobble e' uma sub-classe de Rock
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4449-4449	Marble e' uma sub-classe de Rock
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7263-7263	Pebble e' uma sub-classe de Rock
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4471-4471	Stone e' uma sub-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	Area terrestre e' uma instancia de Area Geografica groundSurfaceType Area terrestre and Rock FertileTerrain e' um atributo de Area terrestre
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17910-17912	Objeto e' uma instancia de Rock Solid e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17914-17919	Objeto e' uma instancia de Rock Objeto Objeto e' uma instancia de Mineral Objeto e' uma &parte de Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5646-5653	Objeto auto-conectado e' uma instancia de Rapids o fundo de Objeto auto-conectado e' Objeto auto-conectado Objeto Objeto e' uma instancia de Rock Objeto e' uma &parte de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6627-6631	Area terrestre e' uma instancia de Desert groundSurfaceType Area terrestre and Rock groundSurfaceType Area terrestre and Sand
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5949-5957	Objeto e' uma instancia de Reef Objeto Objeto e' uma instancia de Sand Objeto e' uma instancia de Rock Objeto e' uma instancia de Coral Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22084-22089	Processo e' uma instancia de Stoning Objeto Objeto e' uma instancia de Rock Objeto e' um instrumento para Processo

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