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
-------------------------


(documentation exactlyLocated ChineseLanguage "这是一个物体的实际和最简约的位置,这是更加概括的 Predicate located 的子关系。") Merge.kif 6184-6185
(documentation exactlyLocated EnglishLanguage "The actual, minimal location of an Object. This is a subrelation of the more general Predicate located.") Merge.kif 6180-6182
(documentation exactlyLocated JapaneseLanguage "オブジェクトの実際の最小位置。これは、より 一般的な Predicate located のサブリレーションである。") Merge.kif 6187-6188
(instance exactlyLocated BinaryPredicate) Merge.kif 6178-6178
(subrelation exactlyLocated located) Merge.kif 6177-6177

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 125-125
(format JapaneseLanguage exactlyLocated "%1 は exactly %2 に 位置して %n") english_format.kif 126-126
(termFormat ChineseLanguage exactlyLocated "完全定位") domainEnglishFormat.kif 22579-22579
(termFormat ChineseLanguage exactlyLocated "恰好位于") chinese_format.kif 102-102
(termFormat ChineseTraditionalLanguage exactlyLocated "完全定位") domainEnglishFormat.kif 22578-22578
(termFormat EnglishLanguage exactlyLocated "exactly located") domainEnglishFormat.kif 22577-22577

antecedent
-------------------------


(=>
    (exactlyLocated ?OBJ ?REGION)
    (not
        (exists (?OTHEROBJ)
            (and
                (exactlyLocated ?OTHEROBJ ?REGION)
                (not
                    (equal ?OTHEROBJ ?OBJ))))))
Merge.kif 6190-6197

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


(<=>
    (equal
        (WhereFn ?THING ?TIME) ?REGION)
    (holdsDuring ?TIME
        (exactlyLocated ?THING ?REGION)))
Merge.kif 6323-6325
(=>
    (exactlyLocated ?OBJ ?REGION)
    (not
        (exists (?OTHEROBJ)
            (and
                (exactlyLocated ?OTHEROBJ ?REGION)
                (not
                    (equal ?OTHEROBJ ?OBJ))))))
Merge.kif 6190-6197


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners