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


(documentation depth ChineseLanguage "这是一个 TernaryPredicate,它是用来表示一个 Objecttop 和这个 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 7507-7512
(instance depth SingleValuedRelation) Merge.kif 7504-7504
(instance depth TernaryPredicate) Merge.kif 7505-7505
(subrelation depth distance) Merge.kif 7503-7503

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


(format ChineseLanguage depth "对于 %2 从 %1 的 depth 是 %3 ") domainEnglishFormat.kif 3239-3239
(format ChineseTraditionalLanguage depth "對於 %2 從 %1 的 depth 是 %3 ") domainEnglishFormat.kif 3238-3238
(format EnglishLanguage depth "the depth from %1 to %2 is %3") domainEnglishFormat.kif 3237-3237
(termFormat ChineseLanguage depth "深度") domainEnglishFormat.kif 19173-19173
(termFormat ChineseTraditionalLanguage depth "深度") domainEnglishFormat.kif 19172-19172
(termFormat EnglishLanguage depth "depth") domainEnglishFormat.kif 19171-19171

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


(=>
    (and
        (instance ?WATERWAY Waterway)
        (depth ?OBJ ?WATERWAY
            (MeasureFn ?DEPTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (lessThan ?DRAFT ?DEPTH))
    (navigableForDraft ?WATERWAY
        (MeasureFn ?DRAFT ?UNIT)))
Transportation.kif 2674-2680
(=>
    (depth ?OBJ1 ?OBJ2 ?DEPTH)
    (exists (?BOTTOM)
        (and
            (bottom ?BOTTOM ?OBJ1)
            (distance ?BOTTOM ?OBJ2 ?DEPTH))))
Merge.kif 7518-7523
(=>
    (depth ?OBJ1 ?OBJ2 ?DEPTH)
    (orientation ?OBJ1 ?OBJ2 Below))
Merge.kif 7514-7516

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 2823-2848
(=>
    (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 3028-3055
(=>
    (waterDepth ?AREA ?DEPTH)
    (exists (?BOTTOM ?TOP)
        (and
            (depth ?TOP ?BOTTOM ?DEPTH)
            (top ?TOP ?AREA)
            (bottom ?BOTTOM ?AREA))))
Mid-level-ontology.kif 16670-16676


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