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 4269-4270
(documentation exactlyLocated EnglishLanguage "The actual, minimal location of an Object. This is a subrelation of the more general Predicate located.") Merge.kif 4266-4268
(instance exactlyLocated BinaryPredicate) Merge.kif 4265-4265 exactly located is an instance of binary predicate
(subrelation exactlyLocated located) Merge.kif 4264-4264 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 77-77
(termFormat ChineseLanguage exactlyLocated "恰好位于") chinese_format.kif 102-102 "恰好位于" is the printable form of exactly located in ChineseLanguage
(termFormat EnglishLanguage exactlyLocated "exactly located") domainEnglishFormat.kif 4196-4196 "exactly located" is the printable form of exactly located in english language

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


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

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


(<=>
    (equal
        (WhereFn ?THING ?TIME) ?REGION)
    (holdsDuring ?TIME
        (exactlyLocated ?THING ?REGION)))
Merge.kif 4370-4372 The place where a physical was at a time point is equal to a region if and only if the physical is exactly located in the region holds during the time point
(=>
    (exactlyLocated ?OBJ ?REGION)
    (not
        (exists (?OTHEROBJ)
            (and
                (exactlyLocated ?OTHEROBJ ?REGION)
                (not
                    (equal ?OTHEROBJ ?OBJ))))))
Merge.kif 4271-4278


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