Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
MaximizingGraphicalWindow
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
Le nombre 1 argument de
top
est une
instance
de
objet en une partie
(
domain
top
2
SelfConnectedObject
)
Merge.kif 9761-9761
Le nombre 2 argument de
top
est une
instance
de
objet en une partie
(
instance
top
BinaryPredicate
)
Merge.kif 9759-9759
top
est une
instance
de
pr�dicat binaire
(
subrelation
top
superficialPart
)
Merge.kif 9758-9758
top
est une
sous
-relation de
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 395-395
(
format
FrenchLanguage
top
"le
de
ssus 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
top
o 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
"
top
pen 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
La
hauteur
de
objet en une partie
est
mesure de longueur
le
dessus
de
objet en une partie
est
objet en une partie
l'
arri
�re de
objet en une partie
est
objet en une partie
la
distance
entre
objet en une partie
et
objet en une partie
est
mesure de longueur
(=>
(
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
Objet en une partie
est une
instance
de
Bottle
l'
arri
�re de
objet en une partie
est
objet en une partie
le
dessus
de
objet en une partie
est
objet en une partie
unit� de mesure
est une
instance
de
UnitOfLength
la
largeur
de
objet en une partie
est
nombre r�el
unit� de mesure
(s) la
largeur
de
objet en une partie
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
moins
que
nombre r�el
(=>
(
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
Objet
est une
instance
de
Cappuccino
substance
est une
partie
de
objet
substance
est une
partie
de
objet
substance
est une
instance
de
Espresso
substance
est une
instance
de
MilkFoam
mixtureRatio
substance
,
substance
,
nombre r�el
,
nombre r�el
and
Liter
objet en une partie
est une
partie
de
substance
objet en une partie
est une
instance
de
Bubble
le
dessus
de
substance
est
objet en une partie
la
mesure
de
objet en une partie
est
nombre r�el
Millimeter
(s)
approximateValue
nombre r�el
and 0.03
approximateValue
nombre r�el
and 0.15
approximateValue
nombre r�el
and 20.0
(=>
(
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
Objet
est une
instance
de
FlatWhite
substance
est une
partie
de
objet
substance
est une
partie
de
objet
substance
est une
instance
de
Espresso
substance
est une
instance
de
MilkFoam
mixtureRatio
substance
,
substance
,
nombre r�el
,
nombre r�el
and
Liter
objet en une partie
est une
partie
de
substance
objet en une partie
est une
partie
de
substance
le
dessus
de
substance
est
objet en une partie
objet en une partie
est une
instance
de
Bubble
la
mesure
de
objet en une partie
est
nombre r�el
Millimeter
(s)
approximateValue
nombre r�el
and 0.03
approximateValue
nombre r�el
and 0.15
nombre r�el
est
plus
grand
ou �gal � 1.0
nombre r�el
est plus
petit
ou �gal � 20.0
(=>
(
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
Objet
est une
instance
de
Latte
substance
est une
partie
de
objet
substance
est une
partie
de
objet
substance
est une
instance
de
Espresso
substance
est une
instance
de
MilkFoam
mixtureRatio
substance
,
substance
,
nombre r�el
,
nombre r�el
and
Liter
objet en une partie
est une
partie
de
substance
objet en une partie
est une
instance
de
Bubble
le
dessus
de
substance
est
objet en une partie
la
mesure
de
objet en une partie
est
nombre r�el
Millimeter
(s)
approximateValue
nombre r�el
and 0.03
approximateValue
nombre r�el
and 0.21
approximateValue
nombre r�el
and 12.0
(=>
(
and
(
instance
?Mesa
Mesa
)
(
top
?Top ?Mesa))
(
attribute
?Top
FlatTerrain
))
Geography.kif 4159-4163
Objet en une partie
est une
instance
de
Mesa
le
dessus
de
objet en une partie
est
objet en une partie
FlatTerrain
est un
attribut
de
objet en une partie
(=>
(
and
(
instance
?Plateau
Plateau
)
(
top
?Top ?Plateau))
(
attribute
?Top
FlatTerrain
))
Geography.kif 4140-4144
Objet en une partie
est une
instance
de
Plateau
le
dessus
de
objet en une partie
est
objet en une partie
FlatTerrain
est un
attribut
de
objet en une partie
(=>
(
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
Processus
est une
instance
de
Reversing
entit�
est un
patient
de
processus
le
dessus
de
entit�
est
entit�
l'
arri
�re de
entit�
est
entit�
pendant
le
d
�but de
temps
d'existence de
processus
le
dessus
de
entit�
est
entit�
l'
arri
�re de
entit�
est
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?SEA
Sea
)
(
top
?TOP ?SEA))
(
altitude
?TOP
SeaLevel
(
MeasureFn
0.0
FootLength
)))
Geography.kif 4772-4777
Objet en une partie
est une
instance
de
Sea
le
dessus
de
objet en une partie
est
objet en une partie
le
altitude
de
objet en une partie
est
SeaLevel
(=>
(
and
(
instance
?SEA
Sea
)
(
top
?TOP ?SEA))
(
altitude
?TOP
SeaLevel
(
MeasureFn
0.0
Meter
)))
Geography.kif 4765-4770
Objet en une partie
est une
instance
de
Sea
le
dessus
de
objet en une partie
est
objet en une partie
le
altitude
de
objet en une partie
est
SeaLevel
(=>
(
and
(
instance
?butte
Butte
)
(
top
?top ?butte))
(
attribute
?top
FlatTerrain
))
Geography.kif 4182-4186
Objet en une partie
est une
instance
de
Butte
le
dessus
de
objet en une partie
est
objet en une partie
FlatTerrain
est un
attribut
de
objet en une partie
(=>
(
and
(
top
?TOP ?O)
(
side
?S ?O))
(
not
(
equal
?TOP ?S)))
Merge.kif 9790-9795
Le
dessus
de
objet en une partie
est
objet en une partie
le
cot
� de
objet en une partie
est
objet en une partie
objet en une partie
est
objet en une partie
(=>
(
and
(
top
?TOP ?OBJECT)
(
part
?PART ?OBJECT)
(
not
(
connected
?PART ?TOP)))
(
orientation
?PART ?TOP
Below
))
Merge.kif 9766-9771
Le
dessus
de
objet en une partie
est
objet en une partie
objet
est une
partie
de
objet en une partie
objet
est
connect
� �
objet en une partie
objet
est
Below
�
objet en une partie
consequent
(=>
(
altitude
?OBJ1 ?OBJ2 ?HEIGHT)
(
exists
(?TOP)
(
and
(
top
?TOP ?OBJ1)
(
distance
?TOP ?OBJ2 ?HEIGHT))))
Merge.kif 7754-7759
Le
altitude
de
objet en une partie
est
physique
objet en une partie
le
dessus
de
objet en une partie
est
objet en une partie
la
distance
entre
objet en une partie
et
physique
est
mesure de longueur
(=>
(
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
elevation
objet en une partie
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfLength
objet en une partie
est une
instance
de
LandForm
objet en une partie
le
dessus
de
objet en une partie
est
objet en une partie
la
distance
entre
objet en une partie
et
SeaLevel
est
nombre r�el
unit� de mesure
(s)
(=>
(
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
Processus
est une
instance
de
Reversing
entit�
est un
patient
de
processus
le
dessus
de
entit�
est
entit�
l'
arri
�re de
entit�
est
entit�
pendant
le
d
�but de
temps
d'existence de
processus
le
dessus
de
entit�
est
entit�
l'
arri
�re de
entit�
est
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
Tornado
processus
est une
instance
de
Rotating
objet
est une
instance
de
Air
processus
RAN est une
instance
de
Translocation
processus
est un
sous
-processus de
processus
processus
RAN est un
sous
-processus de
processus
objet
est un
patient
de
processus
RAN les entit�es dans le processus
processus
RAN
bougent
Horizontal
objet
objet en une partie
,
processus
OP,
objet en une partie
,
objet en une partie
and
objet en une partie
objet
est une
instance
de
secteur g�ographique
eventLocated
processus
and
objet
objet en une partie
est une
partie
de
objet
ConeSegment
est un
attribut
de
objet en une partie
le
dessus
de
objet en une partie
est
processus
OP l'
arri
�re de
objet en une partie
est
objet en une partie
objet en une partie
est une
instance
de
Cloud
l'
arri
�re de
objet en une partie
est
objet en une partie
processus
OP
rencontre
objet en une partie
objet en une partie
rencontre
objet
(=>
(
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
LevelShape
est un
attribut
de
objet en une partie
objet en une partie
objet en une partie
,
objet en une partie
,
nombre r�el
,
nombre r�el
and
unit� de mesure
le
dessus
de
objet en une partie
est
objet en une partie
objet en une partie
est une
partie
de
objet en une partie
objet en une partie
est une
partie
de
objet en une partie
unit� de mesure
est une
instance
de
UnitOfLength
la
hauteur
de
objet en une partie
est
nombre r�el
unit� de mesure
(s) la
hauteur
de
objet en une partie
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
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
LoftStyle
est un
attribut
de
objet en une partie
objet en une partie
objet
and
objet en une partie
l'
arri
�re de
objet en une partie
est
objet en une partie
le
dessus
de
objet en une partie
est
objet en une partie
objet
est une
instance
de
artefact stationnaire
objet
est
Above
�
objet en une partie
objet
est
Below
�
objet en une partie
(=>
(
instance
?BOX
Box
)
(
equal
(
CardinalityFn
(
KappaFn
?SIDE
(
or
(
top
?SIDE ?BOX)
(
bottom
?SIDE ?BOX)
(
side
?SIDE ?BOX)))) 6))
Mid-level-ontology.kif 4471-4479
Entit�
est une
instance
de
Box
le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
est &%�gal � 6
(=>
(
instance
?C
Ceiling
)
(
exists
(?R)
(
and
(
top
?C ?R)
(
instance
?R
Room
))))
Mid-level-ontology.kif 15363-15368
Objet en une partie
est une
instance
de
Ceiling
objet en une partie
le
dessus
de
objet en une partie
est
objet en une partie
objet en une partie
est une
instance
de
pi�ce
(=>
(
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
Objet en une partie
est une
instance
de
GolfHole
objet en une partie
shape
objet en une partie
and
Cylinder
le
dessus
de
objet en une partie
est
objet en une partie
objet en une partie
est une
instance
de
r�gion
shape
objet en une partie
and
Circle
le
diam
�tre de
objet en une partie
est 4.25
Inch
(s)
(=>
(
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
Objet en une partie
est une
instance
de
Lid
objet en une partie
objet en une partie
est une
instance
de
Container
objet en une partie
est une
partie
de
objet en une partie
objet en une partie
est
capable
de faire
Closing
dans le r�le
instrument
objet en une partie
est
capable
de faire
Opening
dans le r�le
instrument
le
dessus
de
objet en une partie
est
objet en une partie
(=>
(
instance
?ROOF
Roof
)
(
exists
(?BUILDING)
(
and
(
instance
?BUILDING
Building
)
(
top
?ROOF ?BUILDING))))
Mid-level-ontology.kif 15373-15378
Objet en une partie
est une
instance
de
Roof
objet en une partie
objet en une partie
est une
instance
de
immeuble
le
dessus
de
objet en une partie
est
objet en une partie
(=>
(
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
Objet en une partie
est une
instance
de
Courtyard
objet en une partie
objet en une partie
est une
instance
de
Roof
le
dessus
de
objet en une partie
est
objet en une partie
objet
objet
est une
instance
de
immeuble
objet en une partie
est
Surrounded
�
objet
(=>
(
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
Objet en une partie
est une
instance
de
SlopedArea
objet en une partie
objet en une partie
,
nombre r�el
,
nombre r�el
and
unit� de mesure
le
dessus
de
objet en une partie
est
objet en une partie
l'
arri
�re de
objet en une partie
est
objet en une partie
unit� de mesure
est une
instance
de
UnitOfLength
earthAltitude
objet en une partie
and
nombre r�el
unit� de mesure
(s)
earthAltitude
objet en une partie
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
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
rainfallIntensity
secteur g�ographique
,
interval temporel
and
function de quantit�
transf�re
collection
,
physique
,
objet en une partie
,
entit�
,
objet en une partie
and
transf�re
FALL
transf�re
est une
instance
de
Raining
eventLocated
transf�re
and
secteur g�ographique
temps
d'existence de
transf�re
prend place
pendant
interval temporel
collection
est une
instance
de
collection
objectTransferred
transf�re
and
collection
physique
est une
instance
de
eau
physique
est un
membre
de
collection
objet en une partie
est une
instance
de
Container
l'
arri
�re de
objet en une partie
est
objet en une partie
Flat
est un
attribut
de
objet en une partie
objet en une partie
est
situ
� �
secteur g�ographique
ContainerEmpty
est un
attribut
de
objet en une partie
pendant
le
d
�but de
interval temporel
collection
est
situ
� �
objet en une partie
le
dessus
de
collection
est
entit�
depth
entit�
,
objet en une partie
and
transf�re
FALL
transf�re
FALL est
interval temporel
+
function de quantit�
pendant
la
fin
de
interval temporel
(=>
(
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
snowfallIntensity
secteur g�ographique
,
interval temporel
and
function de quantit�
transf�re
objet
,
objet en une partie
,
entit�
,
objet en une partie
and
entit�
transf�re
est une
instance
de
Snowing
eventLocated
transf�re
and
secteur g�ographique
temps
d'existence de
transf�re
prend place
pendant
interval temporel
objet
est une
instance
de
Snow
objectTransferred
transf�re
and
objet
objet en une partie
est une
instance
de
BoardOrBlock
l'
arri
�re de
objet en une partie
est
objet en une partie
Flat
est un
attribut
de
objet en une partie
objet en une partie
est
situ
� �
secteur g�ographique
entit�
entit�
est une
instance
de
objet
entit�
est
situ
� �
objet en une partie
pendant
le
d
�but de
interval temporel
objet
est
situ
� �
objet en une partie
le
dessus
de
objet
est
entit�
depth
entit�
,
objet en une partie
and
entit�
entit�
est
interval temporel
+
function de quantit�
pendant
la
fin
de
interval temporel
(=>
(
waterDepth
?AREA ?DEPTH)
(
exists
(?BOTTOM ?TOP)
(
and
(
depth
?TOP ?BOTTOM ?DEPTH)
(
top
?TOP ?AREA)
(
bottom
?BOTTOM ?AREA))))
Mid-level-ontology.kif 17599-17605
waterDepth
objet en une partie
and
mesure de longueur
objet en une partie
objet en une partie
depth
objet en une partie
,
objet en une partie
and
mesure de longueur
le
dessus
de
objet en une partie
est
objet en une partie
l'
arri
�re de
objet en une partie
est
objet en une partie
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