TreeView Knowledge Base Browser - Cave

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Cave

Sigma KEE - Cave

Cave(cave)

Fingal's_Cave, Lascaux, cave, cavern, grot, grotto

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6015-6018
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 852-852
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 629-629
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 628-628
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 627-627
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6013-6013	Cave is a subclass of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6012-6012	Cave is a subclass of hole

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13542-13542
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13541-13541
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13540-13540

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6060-6065	If a self connected object is an instance of cave matrix and a hole is an instance of cave and the hole is a hole in the self connected object, then the self connected object is equal to the surface of the hole the hole
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6020-6025	If an entity is an instance of cave, then there exists a process such that the process is an instance of erosion and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6053-6058	If a hole is an instance of cave, then there exists a self connected object such that the self connected object is an instance of cave matrix and the hole is a hole in the self connected object

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