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 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
(subrelation exactlyLocated located) Merge.kif 4264-4264

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
(termFormat EnglishLanguage exactlyLocated "exactly located") domainEnglishFormat.kif 4196-4196

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
(=>
    (exactlyLocated ?OBJ ?REGION)
    (not
        (exists (?OTHEROBJ)
            (and
                (exactlyLocated ?OTHEROBJ ?REGION)
                (not
                    (equal ?OTHEROBJ ?OBJ))))))
Merge.kif 4271-4278


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