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


s__documentation(s__exactlyLocated__m,s__ChineseLanguage,'"这是一个物体的实际和最简约的位置,这是更加概括的 Predicate located 的子关系。"')

chinese_format.kif 2117-2118
s__documentation(s__exactlyLocated__m,s__EnglishLanguage,'"The actual, minimal location of an Object. This is a subrelation of the more general Predicate located."')

Merge.kif 3954-3956
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__exactlyLocated__m,s__BinaryPredicate)

Merge.kif 3952-3952 exactly located is an instance of binary predicate
s__subrelation(s__exactlyLocated__m,s__located__m)

Merge.kif 3951-3951 exactly located is a subrelation of located

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__exactlyLocated__m,'"%1 %n 是 exactlyLocated 在 %2"')

chinese_format.kif 101-101
s__format(s__EnglishLanguage,s__exactlyLocated__m,'"%1 is %n exactly located in %2"')

english_format.kif 101-101
s__termFormat(s__ChineseLanguage,s__exactlyLocated__m,'"完全定位"')

domainEnglishFormat.kif 22573-22573
s__termFormat(s__ChineseLanguage,s__exactlyLocated__m,'"恰好位于"')

chinese_format.kif 102-102
s__termFormat(s__ChineseTraditionalLanguage,s__exactlyLocated__m,'"完全定位"')

domainEnglishFormat.kif 22572-22572
s__termFormat(s__EnglishLanguage,s__exactlyLocated__m,'"exactly located"')

domainEnglishFormat.kif 22571-22571

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


( ! [V__REGION,V__OBJ] :
   (s__instance(V__OBJ,s__Physical) =>
     s__exactlyLocated(V__OBJ,V__REGION)
   =>
   ~(( ? [V__OTHEROBJ] :
       ((s__instance(V__OTHEROBJ,s__Physical) &
           (s__exactlyLocated(V__OTHEROBJ,V__REGION)
           &
           ~((V__OTHEROBJ = V__OBJ)))))))
)
)

Merge.kif 3958-3965

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4048-4050 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
( ! [V__REGION,V__OBJ] :
   (s__instance(V__OBJ,s__Physical) =>
     s__exactlyLocated(V__OBJ,V__REGION)
   =>
   ~(( ? [V__OTHEROBJ] :
       ((s__instance(V__OTHEROBJ,s__Physical) &
           (s__exactlyLocated(V__OTHEROBJ,V__REGION)
           &
           ~((V__OTHEROBJ = V__OBJ)))))))
)
)

Merge.kif 3958-3965


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