exactlyLocated - Sigma Knowledge base Browser

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 4145-4147
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 770-771
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4141-4141	The number 1 argument of exactly located is an instance of physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4142-4142	The number 2 argument of exactly located is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4143-4143	exactly located is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4140-4140	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.	french_format.kif 73-73
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 100-100
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1899-1899
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 25-25
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 130-130
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 115-115
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 140-140
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 92-92
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 72-72
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 212-212
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22654-22654
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 22653-22653
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22652-22652
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 33-33
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 213-213

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 4149-4156	If a physical is exactly located in an object, then there doesn't exist another physical such that the other physical is exactly located in the object and the other physical is not equal to the physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4250-4254	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 4244-4248	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 4149-4156	If a physical is exactly located in an object, then there doesn't exist another physical such that the other physical is exactly located in the object and the other physical is not equal to the physical

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