| 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 9777-9778 | |
| (documentation top JapaneseLanguage "(top ?TOP ?OBJECT) とは、?TOP が ?OBJECT の最も高い 表面的な部分であることを意味する。") | japanese_format.kif 1589-1590 | |
| (domain top 1 SelfConnectedObject) | Merge.kif 9774-9774 | |
| (domain top 2 SelfConnectedObject) | Merge.kif 9775-9775 | |
| (instance top BinaryPredicate) | Merge.kif 9773-9773 | |
| (subrelation top superficialPart) | Merge.kif 9772-9772 |
| 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 58487-58487 | |
| (termFormat ChineseLanguage top "顶部") | chinese_format.kif 390-390 | |
| (termFormat ChineseTraditionalLanguage top "上") | domainEnglishFormat.kif 58486-58486 | |
| (termFormat EnglishLanguage top "top") | domainEnglishFormat.kif 58485-58485 |
| antecedent |
|
|
| (=> (and (height ?OBJECT ?HEIGHT) (top ?TOP ?OBJECT) (bottom ?BOTTOM ?OBJECT)) (distance ?TOP ?BOTTOM ?HEIGHT)) |
Merge.kif 9826-9831 | |
| (=> (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 4135-4139 | |
| (=> (and (instance ?Plateau Plateau) (top ?Top ?Plateau)) (attribute ?Top FlatTerrain)) |
Geography.kif 4116-4120 | |
| (=> (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 17807-17812 | |
| (=> (and (instance ?SEA Sea) (top ?TOP ?SEA)) (altitude ?TOP SeaLevel (MeasureFn 0.0 FootLength))) |
Geography.kif 4748-4753 | |
| (=> (and (instance ?SEA Sea) (top ?TOP ?SEA)) (altitude ?TOP SeaLevel (MeasureFn 0.0 Meter))) |
Geography.kif 4741-4746 | |
| (=> (and (instance ?butte Butte) (top ?top ?butte)) (attribute ?top FlatTerrain)) |
Geography.kif 4158-4162 | |
| (=> (and (top ?TOP ?O) (side ?S ?O)) (not (equal ?TOP ?S))) |
Merge.kif 9804-9809 | |
| (=> (and (top ?TOP ?OBJECT) (part ?PART ?OBJECT) (not (connected ?PART ?TOP))) (orientation ?PART ?TOP Below)) |
Merge.kif 9780-9785 |
| consequent |
|
|
| (=> (altitude ?OBJ1 ?OBJ2 ?HEIGHT) (exists (?TOP) (and (top ?TOP ?OBJ1) (distance ?TOP ?OBJ2 ?HEIGHT)))) |
Merge.kif 7768-7773 | |
| (=> (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 1910-1918 | |
| (=> (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 17807-17812 | |
| (=> (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 15586-15591 | |
| (=> (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 15596-15601 | |
| (=> (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 26317-26328 | |
| (=> (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 4083-4094 | |
| (=> (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 17862-17868 |
|
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