Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  exactlyLocated

Sigma KEE - exactlyLocated
exactlyLocated

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 4137-4139
(documentation exactlyLocated JapaneseLanguage "オブジェクトの実際の最小位置。これは、より 一般的な Predicate located のサブリレーションである。") japanese_format.kif 770-771
(instance exactlyLocated BinaryPredicate) Merge.kif 4135-4135 exactly located is an instance of binary predicate
(subrelation exactlyLocated located) Merge.kif 4134-4134 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 22648-22648
(termFormat ChineseLanguage exactlyLocated "恰好位于") chinese_format.kif 102-102
(termFormat ChineseTraditionalLanguage exactlyLocated "完全定位") domainEnglishFormat.kif 22647-22647
(termFormat EnglishLanguage exactlyLocated "exactly located") domainEnglishFormat.kif 22646-22646
(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 4141-4148
(=>
    (holdsDuring ?TIME
        (exactlyLocated ?THING ?REGION))
    (equal
        (WhereFn ?THING ?TIME) ?REGION))
Merge.kif 4237-4241

consequent
-------------------------


(=>
    (equal
        (WhereFn ?THING ?TIME) ?REGION)
    (holdsDuring ?TIME
        (exactlyLocated ?THING ?REGION)))
Merge.kif 4231-4235
(=>
    (exactlyLocated ?OBJ ?REGION)
    (not
        (exists (?OTHEROBJ)
            (and
                (exactlyLocated ?OTHEROBJ ?REGION)
                (not
                    (equal ?OTHEROBJ ?OBJ))))))
Merge.kif 4141-4148


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