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 可以用来指定例如海洋生物或潜艇的深度。") Merge.kif 7936-7938
(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 7930-7935
(instance depth SingleValuedRelation) Merge.kif 7929-7929 depth is an instance of single valued relation
(subrelation depth distance) Merge.kif 7928-7928 depth is a subrelation of distance

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


(format EnglishLanguage depth "the depth from %1 to %2 is %3") domainEnglishFormat.kif 818-818
(termFormat EnglishLanguage depth "depth") domainEnglishFormat.kif 3618-3618 "depth" is the printable form of depth in english language

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


(=>
    (and
        (instance ?WATERWAY Waterway)
        (depth ?OBJ ?WATERWAY
            (MeasureFn ?DEPTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (lessThan ?DRAFT ?DEPTH))
    (navigableForDraft ?WATERWAY
        (MeasureFn ?DRAFT ?UNIT)))
Transportation.kif 2608-2614
(=>
    (depth ?OBJ1 ?OBJ2 ?DEPTH)
    (exists (?BOTTOM)
        (and
            (bottom ?BOTTOM ?OBJ1)
            (distance ?BOTTOM ?OBJ2 ?DEPTH))))
Merge.kif 7944-7949
(=>
    (depth ?OBJ1 ?OBJ2 ?DEPTH)
    (orientation ?OBJ1 ?OBJ2 Below))
Merge.kif 7940-7942

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


(=>
    (rainfallIntensity ?AREA ?TIME ?RATE)
    (exists (?RAIN ?CTLN ?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 1250-1275
(=>
    (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 1497-1524
(=>
    (waterDepth ?AREA ?DEPTH)
    (exists (?BOTTOM ?TOP)
        (and
            (depth ?TOP ?BOTTOM ?DEPTH)
            (top ?TOP ?AREA)
            (bottom ?BOTTOM ?AREA))))
Mid-level-ontology.kif 15129-15135


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