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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - top
top

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


(documentation top ChineseLanguage "(top ?TOP ?OBJECT)的意思是 ?TOP 是 ?OBJECT 最高的最大 的表面部分。") chinese_format.kif 2845-2846
(documentation top EnglishLanguage "(top ?TOP ?OBJECT) means that ?TOP is the highest maximal superficial part of ?OBJECT.") Merge.kif 9119-9120
(domain top 1 SelfConnectedObject) Merge.kif 9116-9116 domain top, 1 and SelfConnectedObject
(domain top 2 SelfConnectedObject) Merge.kif 9117-9117 domain top, 2 and SelfConnectedObject
(instance top BinaryPredicate) Merge.kif 9115-9115 instance top and BinaryPredicate
(subrelation top superficialPart) Merge.kif 9114-9114 subrelation top and superficialPart

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


(format ChineseLanguage top "%1 %n 是 %2 的 top") chinese_format.kif 389-389
(format EnglishLanguage top "the top of %2 is %n %1") english_format.kif 398-398
(termFormat ChineseLanguage top "上") domainEnglishFormat.kif 58329-58329
(termFormat ChineseLanguage top "顶部") chinese_format.kif 390-390
(termFormat ChineseTraditionalLanguage top "上") domainEnglishFormat.kif 58328-58328
(termFormat EnglishLanguage top "top") domainEnglishFormat.kif 58327-58327

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


(=>
    (and
        (height ?OBJECT ?HEIGHT)
        (top ?TOP ?OBJECT)
        (bottom ?BOTTOM ?OBJECT))
    (distance ?TOP ?BOTTOM ?HEIGHT))		 Merge.kif 9160-9165
(=>
    (and
        (instance ?BOTTLE Bottle)
        (bottom ?BOTTOM ?BOTTLE)
        (top ?TOP ?BOTTLE)
        (width ?BOTTOM ?WIDTH1)
        (width ?TOP ?WIDTH2))
    (lessThan ?WIDTH2 ?WIDTH1))		 Mid-level-ontology.kif 5024-5031
(=>
    (and
        (instance ?Mesa Mesa)
        (top ?Top ?Mesa))
    (attribute ?Top FlatTerrain))		 Geography.kif 3946-3950
(=>
    (and
        (instance ?Plateau Plateau)
        (top ?Top ?Plateau))
    (attribute ?Top FlatTerrain))		 Geography.kif 3927-3931
(=>
    (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 15127-15132
(=>
    (and
        (instance ?SEA Sea)
        (top ?TOP ?SEA))
    (altitude ?TOP SeaLevel
        (MeasureFn 0 FootLength)))		 Geography.kif 4462-4466
(=>
    (and
        (instance ?SEA Sea)
        (top ?TOP ?SEA))
    (altitude ?TOP SeaLevel
        (MeasureFn 0 Meter)))		 Geography.kif 4456-4460
(=>
    (and
        (instance ?butte Butte)
        (top ?top ?butte))
    (attribute ?top FlatTerrain))		 Geography.kif 3969-3973
(=>
    (and
        (top ?TOP ?O)
        (side ?S ?O))
    (not
        (equal ?TOP ?S)))		 Merge.kif 9145-9150
(=>
    (and
        (top ?TOP ?OBJECT)
        (part ?PART ?OBJECT)
        (not
            (connected ?PART ?TOP)))
    (orientation ?PART ?TOP Below))		 Merge.kif 9122-9127

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


(=>
    (altitude ?OBJ1 ?OBJ2 ?HEIGHT)
    (exists (?TOP)
        (and
            (top ?TOP ?OBJ1)
            (distance ?TOP ?OBJ2 ?HEIGHT))))		 Merge.kif 7295-7300
(=>
    (and
        (elevation ?OBJECT
            (MeasureFn ?NUM ?UNIT))
        (instance ?UNIT UnitOfLength)
        (instance ?OBJECT LandForm))
    (exists (?HIGHPOINT)
        (and
            (top ?HIGHPOINT ?OBJECT)
            (distance ?HIGHPOINT SeaLevel
                (MeasureFn ?NUM ?UNIT)))))		 Geography.kif 1875-1883
(=>
    (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 15127-15132
(=>
    (attribute ?O LevelShape)
    (not
        (exists (?P1 ?P2 ?T ?H1 ?H2)
            (and
                (top ?T ?O)
                (part ?P1 ?T)
                (part ?P2 ?T)
                (height ?P1 ?H1)
                (height ?P2 ?H2)
                (greaterThan ?H1 ?H2)))))		 Mid-level-ontology.kif 3295-3305
(=>
    (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 1114-1122
(=>
    (instance ?BOX Box)
    (equal
        (CardinalityFn
            (KappaFn ?SIDE
                (or
                    (top ?SIDE ?BOX)
                    (bottom ?SIDE ?BOX)
                    (side ?SIDE ?BOX)))) 6))		 Mid-level-ontology.kif 4958-4966
(=>
    (instance ?C Ceiling)
    (exists (?R)
        (and
            (top ?C ?R)
            (instance ?R Room))))		 Mid-level-ontology.kif 13074-13079
(=>
    (instance ?HOLE GolfHole)
    (exists (?CYLINDER ?CIRCLE)
        (and
            (instance ?CYLINDER Cylinder)
            (attribute ?HOLE ?CYLINDER)
            (top ?CIRCLE ?HOLE)
            (instance ?CIRCLE Circle)
            (diameter ?CIRCLE
                (MeasureFn 4.25 Inch)))))		 Sports.kif 815-823
(=>
    (instance ?ROOF Roof)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (top ?ROOF ?BUILDING))))		 Mid-level-ontology.kif 13084-13089
(=>
    (instance ?X Courtyard)
    (and
        (not
            (exists (?ROOF)
                (and
                    (instance ?ROOF Roof)
                    (top ?ROOF ?X))))
        (exists (?BLDG)
            (and
                (instance ?BLDG Building)
                (orientation ?X ?BLDG Surrounded)))))		 Mid-level-ontology.kif 24072-24083
(=>
    (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 3899-3908
(=>
    (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 1346-1371
(=>
    (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 1593-1620
(=>
    (waterDepth ?AREA ?DEPTH)
    (exists (?BOTTOM ?TOP)
        (and
            (depth ?TOP ?BOTTOM ?DEPTH)
            (top ?TOP ?AREA)
            (bottom ?BOTTOM ?AREA))))		 Mid-level-ontology.kif 15182-15188


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