TreeView Knowledge Base Browser - exactlyLocated

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - exactlyLocated

exactlyLocated

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2117-2118
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4047-4049
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4045-4045	exactly located is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4044-4044	exactly located is a subrelation of located

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 101-101
No TPTP formula. May not be expressible in strict first order.	english_format.kif 101-101
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22641-22641
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 102-102
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22640-22640
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22639-22639

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 4051-4058	If a physical is exactly located in an entity, then there doesn't exist another physical such that the other physical is exactly located in the entity and the other physical is not equal to the physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4147-4151	If a physical is exactly located in a region holds during a time point, then the place where the physical was at the time point is equal to the region

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 4141-4145	If the place where a physical was at a time point is equal to a region, then the physical is exactly located in the region holds during the time point
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4051-4058	If a physical is exactly located in an entity, then there doesn't exist another physical such that the other physical is exactly located in the entity and the other physical is not equal to the physical

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