| 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