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

Formal Language: 



KB Term:  Term intersection
English Word: 

  depth

 Sigma KEE - depth
depth

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


(documentation depth ChineseLanguage "这是一个 TernaryPredicate，它是用来表示一个 Object 的 top 和这个 Object top 以上的另外一点 (通常这一点会是海平面)之间的 distance。注这个 Predicate 可以用来指定例如海洋生物或潜艇的深度。") chinese_format.kif 2661-2663
(documentation depth 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 7765-7770
(documentation depth JapaneseLanguage "TernaryPredicate は、Object の top と Object の top の上にある別の点との間の distance を示すために使用される (多くの場合、この他のポイン トは海面になる)。注：この Predicate は、例えば、海洋生物や潜水艦の深さを指定するために使用でき る。") japanese_format.kif 1380-1383
(instance depth SingleValuedRelation) Merge.kif 7762-7762
(instance depth TernaryPredicate) Merge.kif 7763-7763
(subrelation depth distance) Merge.kif 7761-7761

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


(format ChineseLanguage depth "对于 %2 从 %1 的 depth 是 %3 ") domainEnglishFormat.kif 3226-3226
(format ChineseTraditionalLanguage depth "對於 %2 從 %1 的 depth 是 %3 ") domainEnglishFormat.kif 3225-3225
(format EnglishLanguage depth "the depth from %1 to %2 is %3") domainEnglishFormat.kif 3224-3224
(termFormat ChineseLanguage depth "深度") domainEnglishFormat.kif 19198-19198
(termFormat ChineseTraditionalLanguage depth "深度") domainEnglishFormat.kif 19197-19197
(termFormat EnglishLanguage depth "depth") domainEnglishFormat.kif 19196-19196

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


(=>
    (and
        (instance ?WATERWAY Waterway)
        (depth ?OBJ ?WATERWAY
            (MeasureFn ?DEPTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (lessThan ?DRAFT ?DEPTH))
    (navigableForDraft ?WATERWAY
        (MeasureFn ?DRAFT ?UNIT)))		 Transportation.kif 3189-3195
(=>
    (depth ?OBJ1 ?OBJ2 ?DEPTH)
    (exists (?BOTTOM)
        (and
            (bottom ?BOTTOM ?OBJ1)
            (distance ?BOTTOM ?OBJ2 ?DEPTH))))		 Merge.kif 7776-7781
(=>
    (depth ?OBJ1 ?OBJ2 ?DEPTH)
    (orientation ?OBJ1 ?OBJ2 Below))		 Merge.kif 7772-7774

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


(=>
    (rainfallIntensity ?AREA ?TIME ?RATE)
    (exists (?RAIN ?CLTN ?R ?BUCKET ?TOP ?BOTTOM ?RAINFALL)
        (and
            (instance ?RAIN Raining)
            (eventLocated ?RAIN ?AREA)
            (during
                (WhenFn ?RAIN) ?TIME)
            (instance ?CLTN Collection)
            (objectTransferred ?RAIN ?CLTN)
            (instance ?R Water)
            (member ?R ?CLTN)
            (instance ?BUCKET Container)
            (bottom ?BOTTOM ?BUCKET)
            (attribute ?BOTTOM Flat)
            (located ?BUCKET ?AREA)
            (holdsDuring
                (BeginFn ?TIME)
                (attribute ?BUCKET ContainerEmpty))
            (holdsDuring
                (EndFn ?TIME)
                (and
                    (located ?CLTN ?BUCKET)
                    (top ?TOP ?CLTN)
                    (depth ?TOP ?BOTTOM ?RAINFALL)
                    (equal ?RAINFALL
                        (MultiplicationFn ?TIME ?RATE)))))))		 Weather.kif 2813-2838
(=>
    (snowfallIntensity ?AREA ?TIME ?RATE)
    (exists (?PROCESS ?STUFF ?BOARD ?TOP ?BOTTOM ?SNOWFALL)
        (and
            (instance ?PROCESS Snowing)
            (eventLocated ?PROCESS ?AREA)
            (during
                (WhenFn ?PROCESS) ?TIME)
            (instance ?STUFF Snow)
            (objectTransferred ?PROCESS ?STUFF)
            (instance ?BOARD BoardOrBlock)
            (bottom ?BOTTOM ?BOARD)
            (attribute ?BOTTOM Flat)
            (located ?BOARD ?AREA)
            (holdsDuring
                (BeginFn ?TIME)
                (not
                    (exists (?X)
                        (and
                            (instance ?X Object)
                            (located ?X ?BOARD)))))
            (holdsDuring
                (EndFn ?TIME)
                (and
                    (located ?STUFF ?BOARD)
                    (top ?TOP ?STUFF)
                    (depth ?TOP ?BOTTOM ?SNOWFALL)
                    (equal ?SNOWFALL
                        (MultiplicationFn ?TIME ?RATE)))))))		 Weather.kif 3018-3045
(=>
    (waterDepth ?AREA ?DEPTH)
    (exists (?BOTTOM ?TOP)
        (and
            (depth ?TOP ?BOTTOM ?DEPTH)
            (top ?TOP ?AREA)
            (bottom ?BOTTOM ?AREA))))		 Mid-level-ontology.kif 17830-17836


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