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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - bottom
bottom

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


(documentation bottom ChineseLanguage "(bottom ?BOTTOM ?OBJECT)的说法可以成立,如果 ?BOTTOM 是 ?OBJECT 最低或最深的最大的表面部分。") Merge.kif 9670-9671
(documentation bottom EnglishLanguage "(bottom ?BOTTOM ?OBJECT) holds if ?BOTTOM is the lowest or deepest maximal superficial part of ?OBJECT.") Merge.kif 9668-9669
(domain bottom 1 SelfConnectedObject) Merge.kif 9666-9666
(domain bottom 2 SelfConnectedObject) Merge.kif 9667-9667
(instance bottom BinaryPredicate) Merge.kif 9665-9665
(subrelation bottom superficialPart) Merge.kif 9664-9664

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


(format ChineseLanguage bottom "%2 的 bottom %n 是 %1") chinese_format.kif 359-359
(format EnglishLanguage bottom "the bottom of %2 is %n %1") english_format.kif 218-218
(format FrenchLanguage bottom "l' arri�re de %2 est %n %1") french_format.kif 208-208
(format PortugueseLanguage bottom "o fundo de %2 e' %n %1") portuguese_format.kif 160-160
(format ar bottom "أَسْفَل %2 هو %n %1") arabic_format.kif 147-147
(format cb bottom "ang ilalum sa %2 %n ay %1") relations-cb.txt 73-73
(format de bottom "die unterseite von %2 ist %1") relations-de.txt 477-477
(format hi bottom "%2 kaa tala %1 hai") relations-hindi.txt 81-81
(format tg bottom "ang ilalim sa %2 %n ay %1") relations-tg.txt 94-94
(termFormat ChineseLanguage bottom "底部") chinese_format.kif 360-360
(termFormat EnglishLanguage bottom "bottom") domainEnglishFormat.kif 2381-2381
(termFormat ar bottom "«أَسْفَل»") arabic_format.kif 597-597
(termFormat tg bottom "ilalim") relations-tg.txt 95-95

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


(=>
    (and
        (bottom ?BOTTOM ?OBJECT)
        (part ?PART ?OBJECT)
        (not
            (connected ?PART ?BOTTOM)))
    (orientation ?PART ?BOTTOM Above))
Merge.kif 9673-9678
(=>
    (and
        (height ?OBJECT ?HEIGHT)
        (top ?TOP ?OBJECT)
        (bottom ?BOTTOM ?OBJECT))
    (distance ?TOP ?BOTTOM ?HEIGHT))
Merge.kif 9728-9733
(=>
    (and
        (instance ?BOTTLE Bottle)
        (bottom ?BOTTOM ?BOTTLE)
        (top ?TOP ?BOTTLE)
        (width ?BOTTOM ?WIDTH1)
        (width ?TOP ?WIDTH2))
    (lessThan ?WIDTH2 ?WIDTH1))
Mid-level-ontology.kif 5023-5030
(=>
    (and
        (instance ?RAPIDS Rapids)
        (bottom ?BOTTOM ?Rapids))
    (exists (?ROCK)
        (and
            (instance ?ROCK Rock)
            (part ?ROCK ?BOTTOM))))
Geography.kif 5308-5315
(=>
    (and
        (instance ?REVERSE Reversing)
        (patient ?REVERSE ?OBJ)
        (holdsDuring
            (BeginFn
                (WhenFn ?REVERSE))
            (and
                (top ?TOP ?OBJ)
                (bottom ?BOTTOM ?OBJ))))
    (holdsDuring
        (EndFn
            (WhenFn ?REVERSE))
        (and
            (top ?BOTTOM ?OBJ)
            (bottom ?TOP ?OBJ))))
Mid-level-ontology.kif 15074-15079

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


(=>
    (and
        (instance ?REVERSE Reversing)
        (patient ?REVERSE ?OBJ)
        (holdsDuring
            (BeginFn
                (WhenFn ?REVERSE))
            (and
                (top ?TOP ?OBJ)
                (bottom ?BOTTOM ?OBJ))))
    (holdsDuring
        (EndFn
            (WhenFn ?REVERSE))
        (and
            (top ?BOTTOM ?OBJ)
            (bottom ?TOP ?OBJ))))
Mid-level-ontology.kif 15074-15079
(=>
    (attribute ?X LoftStyle)
    (exists (?FLOOR ?LOFT ?CEILING)
        (and
            (bottom ?FLOOR ?X)
            (top ?CEILING ?X)
            (instance ?LOFT StationaryArtifact)
            (orientation ?LOFT ?FLOOR Above)
            (orientation ?LOFT ?CEILING Below))))
Hotel.kif 1110-1118
(=>
    (depth ?OBJ1 ?OBJ2 ?DEPTH)
    (exists (?BOTTOM)
        (and
            (bottom ?BOTTOM ?OBJ1)
            (distance ?BOTTOM ?OBJ2 ?DEPTH))))
Merge.kif 7927-7932
(=>
    (instance ?BOX Box)
    (equal
        (CardinalityFn
            (KappaFn ?SIDE
                (or
                    (top ?SIDE ?BOX)
                    (bottom ?SIDE ?BOX)
                    (side ?SIDE ?BOX)))) 6))
Mid-level-ontology.kif 4957-4965
(=>
    (instance ?IRON FabricIron)
    (exists (?BASE)
        (and
            (bottom ?BASE ?IRON)
            (material Metal ?BASE)
            (attribute ?BASE Flat))))
Mid-level-ontology.kif 23048-23054
(=>
    (instance ?SS ShoeSole)
    (exists (?S)
        (and
            (instance ?S Shoe)
            (bottom ?SS ?S))))
Mid-level-ontology.kif 5484-5489
(=>
    (instance ?incline SlopedArea)
    (exists (?top ?bottom ?height1 ?height2)
        (and
            (top ?top ?incline)
            (bottom ?bottom ?incline)
            (earthAltitude ?top ?height1)
            (earthAltitude ?bottom ?height2)
            (successorAttributeClosure ?height2 ?height1)
            (greaterThan ?height1 ?height2))))
Geography.kif 3886-3895
(=>
    (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