| appearance as argument number 1 |
|
| (documentation exactlyLocated ChineseLanguage "这是一个物体的实际和最简约的位置，这是更加概括的 Predicate located 的子关系。") | chinese_format.kif 2117-2118 | |
| (documentation exactlyLocated EnglishLanguage "The actual, minimal location of an Object. This is a subrelation of the more general Predicate located.") | Merge.kif 4133-4135 | |
| (documentation exactlyLocated JapaneseLanguage "オブジェクトの実際の最小位置。これは、より 一般的な Predicate located のサブリレーションである。") | japanese_format.kif 770-771 | |
| (instance exactlyLocated BinaryPredicate) | Merge.kif 4131-4131 | exactly located is an instance of binary predicate |
| (subrelation exactlyLocated located) | Merge.kif 4130-4130 | exactly located is a subrelation of located |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage exactlyLocated "%1 %n 是 exactlyLocated 在 %2") | chinese_format.kif 101-101 | |
| (format EnglishLanguage exactlyLocated "%1 is %n exactly located in %2") | english_format.kif 101-101 | |
| (format FrenchLanguage exactlyLocated "%1 est %n exactement situ� dans %2") | french_format.kif 73-73 | |
| (format ItalianLanguage exactlyLocated "%1 è %n esattamente localizzato in %2") | relations-it.txt 100-100 | |
| (format JapaneseLanguage exactlyLocated "%1 は exactly %2 に 位置して %n") | japanese_format.kif 1899-1899 | |
| (format PortugueseLanguage exactlyLocated "%1 e' %n situado exatamente dentro de %2") | portuguese_format.kif 25-25 | |
| (format cz exactlyLocated "%1 %p{je} %n{nen�} p�esn� um�st�n v %2") | relations-cz.txt 130-130 | |
| (format de exactlyLocated "%1 liegtGenau in %2 %n{nicht}") | relations-de.txt 115-115 | |
| (format hi exactlyLocated "%1 Thiika %2 men sthita %n hai") | relations-hindi.txt 140-140 | |
| (format ro exactlyLocated "%1 %n{nu} este poziþionat exactly%t{precis} în %2") | relations-ro.kif 92-92 | |
| (format sv exactlyLocated "%1 är %n{inte} lokaliserad exakt vid %2") | relations-sv.txt 72-72 | |
| (format tg exactlyLocated "%1 %n ay sa %2") | relations-tg.txt 212-212 | |
| (termFormat ChineseLanguage exactlyLocated "完全定位") | domainEnglishFormat.kif 22660-22660 | |
| (termFormat ChineseLanguage exactlyLocated "恰好位于") | chinese_format.kif 102-102 | |
| (termFormat ChineseTraditionalLanguage exactlyLocated "完全定位") | domainEnglishFormat.kif 22659-22659 | |
| (termFormat EnglishLanguage exactlyLocated "exactly located") | domainEnglishFormat.kif 22658-22658 | |
| (termFormat de exactlyLocated "liegtGenau") | terms-de.txt 33-33 | |
| (termFormat tg exactlyLocated "sa") | relations-tg.txt 213-213 |
| antecedent |
|
|
| (=> (exactlyLocated ?OBJ ?REGION) (not (exists (?OTHEROBJ) (and (exactlyLocated ?OTHEROBJ ?REGION) (not (equal ?OTHEROBJ ?OBJ)))))) |
Merge.kif 4137-4144 |
|
| (=> (holdsDuring ?TIME (exactlyLocated ?THING ?REGION)) (equal (WhereFn ?THING ?TIME) ?REGION)) |
Merge.kif 4233-4237 |
|
| consequent |
|
|
| (=> (equal (WhereFn ?THING ?TIME) ?REGION) (holdsDuring ?TIME (exactlyLocated ?THING ?REGION))) |
Merge.kif 4227-4231 |
|
| (=> (exactlyLocated ?OBJ ?REGION) (not (exists (?OTHEROBJ) (and (exactlyLocated ?OTHEROBJ ?REGION) (not (equal ?OTHEROBJ ?OBJ)))))) |
Merge.kif 4137-4144 |
|
|
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