TreeView Knowledge Base Browser - Tomb

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Tomb

Sigma KEE - Tomb

Tomb(tomb)

Holy_Sepulcher, Holy_Sepulchre, grave, mastaba, mastabah, tomb

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6843-6844
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3243-3243
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3245-3245
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3244-3244
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3017-3017
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6842-6842	Tomb is a subclass of stationary artifact

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58394-58394
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58393-58393
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58392-58392

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 6846-6852

If a physical is an instance of tomb,
then the physical has the purpose there exists an entity such that dead is an attribute of the entity and the physical contains the entity

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18049-18053	If a process is an instance of entombing and the process ends up at an entity, then the entity is an instance of tomb
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8093-8098	If an object is an instance of cemetery, then there exists a physical such that the physical is an instance of tomb and the physical is located at the 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