Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
top
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 9629-9630
(
domain
top
1
SelfConnectedObject
)
Merge.kif 9626-9626
(
domain
top
2
SelfConnectedObject
)
Merge.kif 9627-9627
(
instance
top
BinaryPredicate
)
Merge.kif 9625-9625
(
subrelation
top
superficialPart
)
Merge.kif 9624-9624
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
(
termFormat
ChineseLanguage
top
"上")
domainEnglishFormat.kif 58415-58415
(
termFormat
ChineseLanguage
top
"顶部")
chinese_format.kif 390-390
(
termFormat
ChineseTraditionalLanguage
top
"上")
domainEnglishFormat.kif 58414-58414
(
termFormat
EnglishLanguage
top
"top")
domainEnglishFormat.kif 58413-58413
antecedent
(=>
(
and
(
height
?OBJECT ?HEIGHT)
(
top
?TOP ?OBJECT)
(
bottom
?BOTTOM ?OBJECT))
(
distance
?TOP ?BOTTOM ?HEIGHT))
Merge.kif 9678-9683
(=>
(
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 4432-4442
(=>
(
and
(
instance
?Mesa
Mesa
)
(
top
?Top ?Mesa))
(
attribute
?Top
FlatTerrain
))
Geography.kif 4081-4085
(=>
(
and
(
instance
?Plateau
Plateau
)
(
top
?Top ?Plateau))
(
attribute
?Top
FlatTerrain
))
Geography.kif 4062-4066
(=>
(
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 16934-16939
(=>
(
and
(
instance
?SEA
Sea
)
(
top
?TOP ?SEA))
(
altitude
?TOP
SeaLevel
(
MeasureFn
0.0
FootLength
)))
Geography.kif 4670-4675
(=>
(
and
(
instance
?SEA
Sea
)
(
top
?TOP ?SEA))
(
altitude
?TOP
SeaLevel
(
MeasureFn
0.0
Meter
)))
Geography.kif 4663-4668
(=>
(
and
(
instance
?butte
Butte
)
(
top
?top ?butte))
(
attribute
?top
FlatTerrain
))
Geography.kif 4104-4108
(=>
(
and
(
top
?TOP ?O)
(
side
?S ?O))
(
not
(
equal
?TOP ?S)))
Merge.kif 9655-9660
(=>
(
and
(
top
?TOP ?OBJECT)
(
part
?PART ?OBJECT)
(
not
(
connected
?PART ?TOP)))
(
orientation
?PART ?TOP
Below
))
Merge.kif 9632-9637
consequent
(=>
(
altitude
?OBJ1 ?OBJ2 ?HEIGHT)
(
exists
(?TOP)
(
and
(
top
?TOP ?OBJ1)
(
distance
?TOP ?OBJ2 ?HEIGHT))))
Merge.kif 7622-7627
(=>
(
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 1925-1933
(=>
(
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 16934-16939
(=>
(
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
?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 2774-2787
(=>
(
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 1135-1143
(=>
(
instance
?BOX
Box
)
(
equal
(
CardinalityFn
(
KappaFn
?SIDE
(
or
(
top
?SIDE ?BOX)
(
bottom
?SIDE ?BOX)
(
side
?SIDE ?BOX)))) 6))
Mid-level-ontology.kif 4366-4374
(=>
(
instance
?C
Ceiling
)
(
exists
(?R)
(
and
(
top
?C ?R)
(
instance
?R
Room
))))
Mid-level-ontology.kif 14780-14785
(=>
(
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 891-899
(=>
(
instance
?ROOF
Roof
)
(
exists
(?BUILDING)
(
and
(
instance
?BUILDING
Building
)
(
top
?ROOF ?BUILDING))))
Mid-level-ontology.kif 14790-14795
(=>
(
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 25388-25399
(=>
(
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 4029-4040
(=>
(
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 2829-2854
(=>
(
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 3034-3061
(=>
(
waterDepth
?AREA ?DEPTH)
(
exists
(?BOTTOM ?TOP)
(
and
(
depth
?TOP ?BOTTOM ?DEPTH)
(
top
?TOP ?AREA)
(
bottom
?BOTTOM ?AREA))))
Mid-level-ontology.kif 16989-16995
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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