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 9763-9764
(documentation top JapaneseLanguage "(top ?TOP ?OBJECT) とは、?TOP が ?OBJECT の最も高い 表面的な部分であることを意味する。") japanese_format.kif 1589-1590
(domain top 1 SelfConnectedObject) Merge.kif 9760-9760 域 上, 1 and SelfConnectedObject
(domain top 2 SelfConnectedObject) Merge.kif 9761-9761 域 上, 2 and SelfConnectedObject
(instance top BinaryPredicate) Merge.kif 9759-9759 例 上 and BinaryPredicate
(subrelation top superficialPart) Merge.kif 9758-9758 子關係 上 and 膚淺的部分

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 395-395
(format FrenchLanguage top "le dessus de %2 est %n %1") french_format.kif 223-223
(format ItalianLanguage top "ilvertice %2 è %1") relations-it.txt 301-301
(format JapaneseLanguage top "%2 の top は %1 では %n ") japanese_format.kif 2029-2029
(format PortugueseLanguage top "o topo de %2 e' %n %1") portuguese_format.kif 175-175
(format de top "die oberseite von %2 ist %1") relations-de.txt 522-522
(format hi top "%2 kaa shiirshha %1 hai") relations-hindi.txt 337-337
(format ro top "top%t{vârful} lui %2 %n{nu} este %1") relations-ro.kif 243-243
(format sv top "toppen av %2 är %n{inte} %1") relations-sv.txt 241-241
(format tg top "ang tuktok sa %2 ay %1") relations-tg.txt 493-493
(termFormat ChineseLanguage top "上") domainEnglishFormat.kif 58450-58450
(termFormat ChineseLanguage top "顶部") chinese_format.kif 390-390
(termFormat ChineseTraditionalLanguage top "上") domainEnglishFormat.kif 58449-58449
(termFormat EnglishLanguage top "top") domainEnglishFormat.kif 58448-58448

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


(=>
    (and
        (height ?OBJECT ?HEIGHT)
        (top ?TOP ?OBJECT)
        (bottom ?BOTTOM ?OBJECT))
    (distance ?TOP ?BOTTOM ?HEIGHT))		 Merge.kif 9812-9817
(=>
    (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 4693-4703
(=>
    (and
        (instance ?C Cappuccino)
        (part ?E ?C)
        (part ?M ?C)
        (instance ?E Espresso)
        (instance ?M MilkFoam)
        (mixtureRatio ?E ?M ?V1 ?V2 Liter)
        (part ?B ?M)
        (instance ?B Bubble)
        (top ?B ?M)
        (measure ?B
            (MeasureFn ?L Millimeter)))
    (and
        (approximateValue ?V1 0.03)
        (approximateValue ?V2 0.15)
        (approximateValue ?L 20.0)))		 Food.kif 1285-1301
(=>
    (and
        (instance ?C FlatWhite)
        (part ?E ?C)
        (part ?M ?C)
        (instance ?E Espresso)
        (instance ?M MilkFoam)
        (mixtureRatio ?E ?M ?V1 ?V2 Liter)
        (part ?B ?M)
        (part ?B ?E)
        (top ?B ?M)
        (instance ?B Bubble)
        (measure ?B
            (MeasureFn ?L Millimeter)))
    (and
        (approximateValue ?V1 0.03)
        (approximateValue ?V2 0.15)
        (greaterThanOrEqualTo ?L 1.0)
        (lessThanOrEqualTo ?L 20.0)))		 Food.kif 1367-1385
(=>
    (and
        (instance ?C Latte)
        (part ?E ?C)
        (part ?M ?C)
        (instance ?E Espresso)
        (instance ?M MilkFoam)
        (mixtureRatio ?E ?M ?V1 ?V2 Liter)
        (part ?B ?M)
        (instance ?B Bubble)
        (top ?B ?M)
        (measure ?B
            (MeasureFn ?L Millimeter)))
    (and
        (approximateValue ?V1 0.03)
        (approximateValue ?V2 0.21)
        (approximateValue ?L 12.0)))		 Food.kif 1399-1415
(=>
    (and
        (instance ?Mesa Mesa)
        (top ?Top ?Mesa))
    (attribute ?Top FlatTerrain))		 Geography.kif 4159-4163
(=>
    (and
        (instance ?Plateau Plateau)
        (top ?Top ?Plateau))
    (attribute ?Top FlatTerrain))		 Geography.kif 4140-4144
(=>
    (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 17544-17549
(=>
    (and
        (instance ?SEA Sea)
        (top ?TOP ?SEA))
    (altitude ?TOP SeaLevel
        (MeasureFn 0.0 FootLength)))		 Geography.kif 4772-4777
(=>
    (and
        (instance ?SEA Sea)
        (top ?TOP ?SEA))
    (altitude ?TOP SeaLevel
        (MeasureFn 0.0 Meter)))		 Geography.kif 4765-4770
(=>
    (and
        (instance ?butte Butte)
        (top ?top ?butte))
    (attribute ?top FlatTerrain))		 Geography.kif 4182-4186
(=>
    (and
        (top ?TOP ?O)
        (side ?S ?O))
    (not
        (equal ?TOP ?S)))		 Merge.kif 9790-9795
(=>
    (and
        (top ?TOP ?OBJECT)
        (part ?PART ?OBJECT)
        (not
            (connected ?PART ?TOP)))
    (orientation ?PART ?TOP Below))		 Merge.kif 9766-9771

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


(=>
    (altitude ?OBJ1 ?OBJ2 ?HEIGHT)
    (exists (?TOP)
        (and
            (top ?TOP ?OBJ1)
            (distance ?TOP ?OBJ2 ?HEIGHT))))		 Merge.kif 7754-7759
(=>
    (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 1922-1930
(=>
    (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 17544-17549
(=>
    (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 1634-1655
(=>
    (attribute ?O LevelShape)
    (not
        (exists (?P1 ?P2 ?T ?H1 ?H2 ?U)
            (and
                (top ?T ?O)
                (part ?P1 ?T)
                (part ?P2 ?T)
                (instance ?U UnitOfLength)
                (height ?P1
                    (MeasureFn ?H1 ?U))
                (height ?P2
                    (MeasureFn ?H2 ?U))
                (greaterThan ?H1 ?H2)))))		 Mid-level-ontology.kif 2816-2829
(=>
    (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 1157-1165
(=>
    (instance ?BOX Box)
    (equal
        (CardinalityFn
            (KappaFn ?SIDE
                (or
                    (top ?SIDE ?BOX)
                    (bottom ?SIDE ?BOX)
                    (side ?SIDE ?BOX)))) 6))		 Mid-level-ontology.kif 4471-4479
(=>
    (instance ?C Ceiling)
    (exists (?R)
        (and
            (top ?C ?R)
            (instance ?R Room))))		 Mid-level-ontology.kif 15363-15368
(=>
    (instance ?HOLE GolfHole)
    (exists (?C)
        (and
            (shape ?HOLE Cylinder)
            (top ?C ?HOLE)
            (instance ?C Region)
            (shape ?C Circle)
            (diameter ?C
                (MeasureFn 4.25 Inch)))))		 Sports.kif 964-973
(=>
    (instance ?L Lid)
    (exists (?C)
        (and
            (instance ?C Container)
            (part ?L ?C)
            (capability Closing instrument ?L)
            (capability Opening instrument ?L)
            (top ?L ?C))))		 Mid-level-ontology.kif 4012-4020
(=>
    (instance ?ROOF Roof)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (top ?ROOF ?BUILDING))))		 Mid-level-ontology.kif 15373-15378
(=>
    (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 26054-26065
(=>
    (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 4107-4118
(=>
    (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 2813-2838
(=>
    (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 3018-3045
(=>
    (waterDepth ?AREA ?DEPTH)
    (exists (?BOTTOM ?TOP)
        (and
            (depth ?TOP ?BOTTOM ?DEPTH)
            (top ?TOP ?AREA)
            (bottom ?BOTTOM ?AREA))))		 Mid-level-ontology.kif 17599-17605


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