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 最低或最深的最大的表面部分。") chinese_format.kif 2843-2844
(documentation bottom EnglishLanguage "(bottom ?BOTTOM ?OBJECT) holds if ?BOTTOM is the lowest or deepest maximal superficial part of ?OBJECT.") Merge.kif 9162-9163
(domain bottom 1 SelfConnectedObject) Merge.kif 9159-9159
(domain bottom 2 SelfConnectedObject) Merge.kif 9160-9160
(instance bottom BinaryPredicate) Merge.kif 9158-9158
(subrelation bottom superficialPart) Merge.kif 9157-9157

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 365-365
(termFormat ChineseLanguage bottom "底部") chinese_format.kif 360-360
(termFormat ChineseTraditionalLanguage bottom "底部") domainEnglishFormat.kif 11749-11749
(termFormat EnglishLanguage bottom "bottom") domainEnglishFormat.kif 11748-11748

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


(=>
    (and
        (bottom ?BOTTOM ?OBJECT)
        (part ?PART ?OBJECT)
        (not
            (connected ?PART ?BOTTOM)))
    (orientation ?PART ?BOTTOM Above))
Merge.kif 9165-9170
(=>
    (and
        (height ?OBJECT ?HEIGHT)
        (top ?TOP ?OBJECT)
        (bottom ?BOTTOM ?OBJECT))
    (distance ?TOP ?BOTTOM ?HEIGHT))
Merge.kif 9218-9223
(=>
    (and
        (instance ?BOTTLE Bottle)
        (bottom ?BOTTOM ?BOTTLE)
        (top ?TOP ?BOTTLE)
        (instance ?U UnitOfLength)
        (width ?BOTTOM
            (MeasureFn ?WIDTH1 ?U))
        (width ?TOP
            (MeasureFn ?WIDTH2 ?U)))
    (lessThan ?WIDTH2 ?WIDTH1))
Mid-level-ontology.kif 4412-4422
(=>
    (and
        (instance ?RAPIDS Rapids)
        (bottom ?BOTTOM ?RAPIDS))
    (exists (?ROCK)
        (and
            (instance ?ROCK Rock)
            (part ?ROCK ?BOTTOM))))
Geography.kif 5428-5435
(=>
    (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 14122-14127

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 14122-14127
(=>
    (and
        (instance ?T Tornado)
        (instance ?R Rotating)
        (instance ?A Air)
        (instance ?TRAN Translocation)
        (subProcess ?R ?T)
        (subProcess ?TRAN ?R)
        (patient ?TRAN ?A)
        (direction ?TRAN Horizontal))
    (exists (?G ?FUNNEL ?TOP ?BOTTOM ?C ?BASE)
        (and
            (instance ?G GeographicArea)
            (eventLocated ?T ?G)
            (part ?FUNNEL ?A)
            (attribute ?FUNNEL ConeSegment)
            (top ?TOP ?FUNNEL)
            (bottom ?BOTTOM ?FUNNEL)
            (instance ?C Cloud)
            (bottom ?BASE ?C)
            (meetsSpatially ?TOP ?BASE)
            (meetsSpatially ?BOTTOM ?G))))
Weather.kif 1650-1671
(=>
    (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 1122-1130
(=>
    (depth ?OBJ1 ?OBJ2 ?DEPTH)
    (exists (?BOTTOM)
        (and
            (bottom ?BOTTOM ?OBJ1)
            (distance ?BOTTOM ?OBJ2 ?DEPTH))))
Merge.kif 7366-7371
(=>
    (instance ?BOX Box)
    (equal
        (CardinalityFn
            (KappaFn ?SIDE
                (or
                    (top ?SIDE ?BOX)
                    (bottom ?SIDE ?BOX)
                    (side ?SIDE ?BOX)))) 6))
Mid-level-ontology.kif 4346-4354
(=>
    (instance ?IRON FabricIron)
    (exists (?BASE)
        (and
            (bottom ?BASE ?IRON)
            (material Metal ?BASE)
            (attribute ?BASE Flat))))
Mid-level-ontology.kif 21379-21385
(=>
    (instance ?SS ShoeSole)
    (exists (?S)
        (and
            (instance ?S Shoe)
            (bottom ?SS ?S))))
Mid-level-ontology.kif 4885-4890
(=>
    (instance ?incline SlopedArea)
    (exists (?top ?bottom ?height1 ?height2 ?U)
        (and
            (top ?top ?incline)
            (bottom ?bottom ?incline)
            (instance ?U UnitOfLength)
            (earthAltitude ?top
                (MeasureFn ?height1 ?U))
            (earthAltitude ?bottom
                (MeasureFn ?height2 ?U))
            (greaterThan ?height1 ?height2))))
Geography.kif 3945-3956
(=>
    (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 14177-14183


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