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 的子关系。") Merge.kif 4238-4239
(documentation exactlyLocated EnglishLanguage "The actual, minimal location of an Object. This is a subrelation of the more general Predicate located.") Merge.kif 4235-4237
(instance exactlyLocated BinaryPredicate) Merge.kif 4234-4234
(subrelation exactlyLocated located) Merge.kif 4233-4233

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 77-77
(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 PortugueseLanguage exactlyLocated "%1 e' %n situado exatamente dentro de %2") portuguese_format.kif 25-25
(format ar exactlyLocated "%1 هو %n يَقَع بِالضَبْط في %2") arabic_format.kif 23-23
(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 tg exactlyLocated "%1 %n ay sa %2") relations-tg.txt 212-212
(termFormat ChineseLanguage exactlyLocated "恰好位于") chinese_format.kif 102-102
(termFormat EnglishLanguage exactlyLocated "exactly located") domainEnglishFormat.kif 4196-4196
(termFormat ar exactlyLocated "«يَقَع بِالضَبْط في»") arabic_format.kif 473-473
(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 4240-4247

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


(<=>
    (equal
        (WhereFn ?THING ?TIME) ?REGION)
    (holdsDuring ?TIME
        (exactlyLocated ?THING ?REGION)))
Merge.kif 4339-4341
(=>
    (exactlyLocated ?OBJ ?REGION)
    (not
        (exists (?OTHEROBJ)
            (and
                (exactlyLocated ?OTHEROBJ ?REGION)
                (not
                    (equal ?OTHEROBJ ?OBJ))))))
Merge.kif 4240-4247


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