Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| exactlyLocated |
| appearance as argument number 1 |
|
| (subrelation exactlyLocated located) | Merge.kif 4242-4242 | exactly located is a subrelation of located |
| (domain exactlyLocated 1 Physical) | Merge.kif 4243-4243 | The number 1 argument of exactly located is an instance of physical |
| (domain exactlyLocated 2 Object) | Merge.kif 4244-4244 | The number 2 argument of exactly located is an instance of object |
| (instance exactlyLocated BinaryPredicate) | Merge.kif 4245-4245 | exactly located is an instance of binary predicate |
| (documentation exactlyLocated EnglishLanguage "The actual, minimal location of an Object. This is a subrelation of the more general Predicate located.") | Merge.kif 4247-4249 | exactly located is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage exactlyLocated "exactly located") | domainEnglishFormat.kif 22645-22645 | |
| (termFormat ChineseTraditionalLanguage exactlyLocated "完全定位") | domainEnglishFormat.kif 22646-22646 | |
| (termFormat ChineseLanguage exactlyLocated "完全定位") | domainEnglishFormat.kif 22647-22647 | |
| (format EnglishLanguage exactlyLocated "%1 is %n exactly located in %2") | english_format.kif 101-101 |
| antecedent |
|
|
| (=> (exactlyLocated ?OBJ ?REGION) (not (exists (?OTHEROBJ) (and (exactlyLocated ?OTHEROBJ ?REGION) (not (equal ?OTHEROBJ ?OBJ)))))) |
Merge.kif 4251-4258 | If X is exactly located in Y, then there doesn't exist Z such that Z is exactly located in Y, equal Z, and X |
| (=> (holdsDuring ?TIME (exactlyLocated ?THING ?REGION)) (equal (WhereFn ?THING ?TIME) ?REGION)) |
Merge.kif 4352-4356 | If X is exactly located in Y holds during Z, then equal the place where X was at Z and Y |
| consequent |
|
|
| (=> (exactlyLocated ?OBJ ?REGION) (not (exists (?OTHEROBJ) (and (exactlyLocated ?OTHEROBJ ?REGION) (not (equal ?OTHEROBJ ?OBJ)))))) |
Merge.kif 4251-4258 | If X is exactly located in Y, then there doesn't exist Z such that Z is exactly located in Y, equal Z, and X |
| (=> (equal (WhereFn ?THING ?TIME) ?REGION) (holdsDuring ?TIME (exactlyLocated ?THING ?REGION))) |
Merge.kif 4346-4350 | If equal the place where X was at Y and Z, then X is exactly located in Z holds during Y |
|