Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - depth
depth

appearance as argument number 1
-------------------------


s__documentation(s__depth__m,s__ChineseLanguage,'"这是一个 TernaryPredicate,它是用来表示一个 Objecttop 和这个 Object top 以上的另外一点 (通常这一点会是海平面)之间的 distance。注这个 Predicate 可以用来指定例如海洋生物或潜艇的深度。"')

chinese_format.kif 2661-2663
s__documentation(s__depth__m,s__EnglishLanguage,'"A TernaryPredicate that is used to state the distance between the top of an Object and another point that is above the top of the Object (often this other point will be sea level). Note that this Predicate can be used to specify, for example, the depth of marine life or submarines, for example."')

Merge.kif 7515-7520
s__instance(s__SingleValuedRelation,s__Class)

s__instance(s__depth__m,s__SingleValuedRelation)

Merge.kif 7512-7512 depth is an instance of single valued relation
s__instance(s__TernaryPredicate,s__Class)

s__instance(s__depth__m,s__TernaryPredicate)

Merge.kif 7513-7513 depth is an instance of ternary predicate
s__subrelation(s__depth__m,s__distance__m)

Merge.kif 7511-7511 depth is a subrelation of distance

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


s__format(s__ChineseLanguage,s__depth__m,'"对于 %2 从 %1 的 depth 是 %3 "')

domainEnglishFormat.kif 3239-3239
s__format(s__ChineseTraditionalLanguage,s__depth__m,'"對於 %2 從 %1 的 depth 是 %3 "')

domainEnglishFormat.kif 3238-3238
s__format(s__EnglishLanguage,s__depth__m,'"the depth from %1 to %2 is %3"')

domainEnglishFormat.kif 3237-3237
s__termFormat(s__ChineseLanguage,s__depth__m,'"深度"')

domainEnglishFormat.kif 19173-19173
s__termFormat(s__ChineseTraditionalLanguage,s__depth__m,'"深度"')

domainEnglishFormat.kif 19172-19172
s__termFormat(s__EnglishLanguage,s__depth__m,'"depth"')

domainEnglishFormat.kif 19171-19171

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


( ! [V__DEPTH,V__OBJ,V__DRAFT,V__WATERWAY,V__UNIT] :
   (((s__instance(V__DEPTH,s__RealNumber) &
         s__instance(V__OBJ,s__Physical) &
         s__instance(V__DRAFT,s__RealNumber))
       =>
       (((s__instance(V__WATERWAY,s__Waterway) &
             s__depth(V__OBJ,V__WATERWAY,s__MeasureFn(V__DEPTH,V__UNIT))
         &
         s__instance(V__UNIT,s__UnitOfLength) &
         s__lessThan(V__DRAFT,V__DEPTH))
     =>
     (s__navigableForDraft(V__WATERWAY,s__MeasureFn(V__DRAFT,V__UNIT))))))
)
)

Transportation.kif 2674-2680
( ! [V__DEPTH,V__OBJ1,V__OBJ2] :
   (((s__instance(V__DEPTH,s__LengthMeasure) &
         s__instance(V__OBJ1,s__SelfConnectedObject) &
         s__instance(V__OBJ2,s__Physical))
       =>
       ((s__depth(V__OBJ1,V__OBJ2,V__DEPTH)
         =>
         (( ? [V__BOTTOM] :
             ((s__instance(V__BOTTOM,s__SelfConnectedObject) &
                 (s__bottom(V__BOTTOM,V__OBJ1)
                 &
                 s__distance(V__BOTTOM,V__OBJ2,V__DEPTH)))))))))
)
)

Merge.kif 7526-7531
( ! [V__DEPTH,V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       ((s__depth(V__OBJ1,V__OBJ2,V__DEPTH)
         =>
         (s__orientation(V__OBJ1,V__OBJ2,s__Below)))))
   )
)

Merge.kif 7522-7524

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2823-2848
No TPTP formula. May not be expressible in strict first order. Weather.kif 3028-3055
( ! [V__DEPTH,V__AREA] :
   (((s__instance(V__DEPTH,s__LengthMeasure) &
         s__instance(V__AREA,s__SelfConnectedObject) &
         s__instance(V__AREA,s__WaterArea))
       =>
       ((s__waterDepth(V__AREA,V__DEPTH)
         =>
         (( ? [V__BOTTOM, V__TOP] :
             ((s__instance(V__BOTTOM,s__SelfConnectedObject) &
                 s__instance(V__TOP,s__SelfConnectedObject) &
                 (s__depth(V__TOP,V__BOTTOM,V__DEPTH)
                 &
                 s__top(V__TOP,V__AREA)
               &
               s__bottom(V__BOTTOM,V__AREA)))))))))
)
)

Mid-level-ontology.kif 16844-16850


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