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 的子关系。") 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 3985-3987
(instance exactlyLocated BinaryPredicate) Merge.kif 3983-3983 exactly located is an instance of binary predicate
(subrelation exactlyLocated located) Merge.kif 3982-3982 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
(termFormat ChineseLanguage exactlyLocated "完全定位") domainEnglishFormat.kif 22573-22573
(termFormat ChineseLanguage exactlyLocated "恰好位于") chinese_format.kif 102-102
(termFormat ChineseTraditionalLanguage exactlyLocated "完全定位") domainEnglishFormat.kif 22572-22572
(termFormat EnglishLanguage exactlyLocated "exactly located") domainEnglishFormat.kif 22571-22571

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


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

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


(<=>
    (equal
        (WhereFn ?THING ?TIME) ?REGION)
    (holdsDuring ?TIME
        (exactlyLocated ?THING ?REGION)))
Merge.kif 4079-4081 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 3989-3996


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 3.0 is open source software produced by Articulate Software and its partners