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
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 9749-9750
(
documentation
top
JapaneseLanguage
"(
top
?TOP ?OBJECT) とは、?TOP が ?OBJECT の最も高い 表面的な部分であることを意味する。")
japanese_format.kif 1589-1590
(
domain
top
1
SelfConnectedObject
)
Merge.kif 9746-9746
O argumento numero 1 de
top
e' uma
instancia
de
Objeto auto-conectado
(
domain
top
2
SelfConnectedObject
)
Merge.kif 9747-9747
O argumento numero 2 de
top
e' uma
instancia
de
Objeto auto-conectado
(
instance
top
BinaryPredicate
)
Merge.kif 9745-9745
top
e' uma
instancia
de
Predicado Binario
(
subrelation
top
superficialPart
)
Merge.kif 9744-9744
top
e' uma
sub
-relacao 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 58448-58448
(
termFormat
ChineseLanguage
top
"顶部")
chinese_format.kif 390-390
(
termFormat
ChineseTraditionalLanguage
top
"上")
domainEnglishFormat.kif 58447-58447
(
termFormat
EnglishLanguage
top
"top")
domainEnglishFormat.kif 58446-58446
antecedent
(=>
(
and
(
height
?OBJECT ?HEIGHT)
(
top
?TOP ?OBJECT)
(
bottom
?BOTTOM ?OBJECT))
(
distance
?TOP ?BOTTOM ?HEIGHT))
Merge.kif 9798-9803
A
altura
de
Objeto auto-conectado
e'
Medida de Comprimento
o
topo
de
Objeto auto-conectado
e'
Objeto auto-conectado
o
fundo
de
Objeto auto-conectado
e'
Objeto auto-conectado
a
distancia
entre
Objeto auto-conectado
e
Objeto auto-conectado
e'
Medida de Comprimento
(=>
(
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 4698-4708
Objeto auto-conectado
e' uma
instancia
de
Bottle
o
fundo
de
Objeto auto-conectado
e'
Objeto auto-conectado
o
topo
de
Objeto auto-conectado
e'
Objeto auto-conectado
Unidade de Medida
e' uma
instancia
de
UnitOfLength
a
largura
de
Objeto auto-conectado
e'
Numero Real
Unidade de Medida
(s) a
largura
de
Objeto auto-conectado
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
menos
que
Numero Real
(=>
(
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
Objeto
e' uma
instancia
de
Cappuccino
Substancia
e' uma &parte de
Objeto
Substancia
e' uma &parte de
Objeto
Substancia
e' uma
instancia
de
Espresso
Substancia
e' uma
instancia
de
MilkFoam
mixtureRatio
Substancia
,
Substancia
,
Numero Real
,
Numero Real
and
Liter
Objeto auto-conectado
e' uma &parte de
Substancia
Objeto auto-conectado
e' uma
instancia
de
Bubble
o
topo
de
Substancia
e'
Objeto auto-conectado
a
medida
de
Objeto auto-conectado
e'
Numero Real
Millimeter
(s)
approximateValue
Numero Real
and 0.03
approximateValue
Numero Real
and 0.15
approximateValue
Numero Real
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
Objeto
e' uma
instancia
de
FlatWhite
Substancia
e' uma &parte de
Objeto
Substancia
e' uma &parte de
Objeto
Substancia
e' uma
instancia
de
Espresso
Substancia
e' uma
instancia
de
MilkFoam
mixtureRatio
Substancia
,
Substancia
,
Numero Real
,
Numero Real
and
Liter
Objeto auto-conectado
e' uma &parte de
Substancia
Objeto auto-conectado
e' uma &parte de
Substancia
o
topo
de
Substancia
e'
Objeto auto-conectado
Objeto auto-conectado
e' uma
instancia
de
Bubble
a
medida
de
Objeto auto-conectado
e'
Numero Real
Millimeter
(s)
approximateValue
Numero Real
and 0.03
approximateValue
Numero Real
and 0.15
Numero Real
e'
maior
ou igual a 1.0
Numero Real
e'
menor
ou igual a 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
Objeto
e' uma
instancia
de
Latte
Substancia
e' uma &parte de
Objeto
Substancia
e' uma &parte de
Objeto
Substancia
e' uma
instancia
de
Espresso
Substancia
e' uma
instancia
de
MilkFoam
mixtureRatio
Substancia
,
Substancia
,
Numero Real
,
Numero Real
and
Liter
Objeto auto-conectado
e' uma &parte de
Substancia
Objeto auto-conectado
e' uma
instancia
de
Bubble
o
topo
de
Substancia
e'
Objeto auto-conectado
a
medida
de
Objeto auto-conectado
e'
Numero Real
Millimeter
(s)
approximateValue
Numero Real
and 0.03
approximateValue
Numero Real
and 0.21
approximateValue
Numero Real
and 12.0
(=>
(
and
(
instance
?Mesa
Mesa
)
(
top
?Top ?Mesa))
(
attribute
?Top
FlatTerrain
))
Geography.kif 4159-4163
Objeto auto-conectado
e' uma
instancia
de
Mesa
o
topo
de
Objeto auto-conectado
e'
Objeto auto-conectado
FlatTerrain
e' um
atributo
de
Objeto auto-conectado
(=>
(
and
(
instance
?Plateau
Plateau
)
(
top
?Top ?Plateau))
(
attribute
?Top
FlatTerrain
))
Geography.kif 4140-4144
Objeto auto-conectado
e' uma
instancia
de
Plateau
o
topo
de
Objeto auto-conectado
e'
Objeto auto-conectado
FlatTerrain
e' um
atributo
de
Objeto auto-conectado
(=>
(
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 17516-17521
Processo
e' uma
instancia
de
Reversing
Entidade
e' um
patient
de
Processo
o
topo
de
Entidade
e'
Entidade
o
fundo
de
Entidade
e'
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
o
topo
de
Entidade
e'
Entidade
o
fundo
de
Entidade
e'
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?SEA
Sea
)
(
top
?TOP ?SEA))
(
altitude
?TOP
SeaLevel
(
MeasureFn
0.0
FootLength
)))
Geography.kif 4772-4777
Objeto auto-conectado
e' uma
instancia
de
Sea
o
topo
de
Objeto auto-conectado
e'
Objeto auto-conectado
a
altitude
de
Objeto auto-conectado
e'
SeaLevel
(=>
(
and
(
instance
?SEA
Sea
)
(
top
?TOP ?SEA))
(
altitude
?TOP
SeaLevel
(
MeasureFn
0.0
Meter
)))
Geography.kif 4765-4770
Objeto auto-conectado
e' uma
instancia
de
Sea
o
topo
de
Objeto auto-conectado
e'
Objeto auto-conectado
a
altitude
de
Objeto auto-conectado
e'
SeaLevel
(=>
(
and
(
instance
?butte
Butte
)
(
top
?top ?butte))
(
attribute
?top
FlatTerrain
))
Geography.kif 4182-4186
Objeto auto-conectado
e' uma
instancia
de
Butte
o
topo
de
Objeto auto-conectado
e'
Objeto auto-conectado
FlatTerrain
e' um
atributo
de
Objeto auto-conectado
(=>
(
and
(
top
?TOP ?O)
(
side
?S ?O))
(
not
(
equal
?TOP ?S)))
Merge.kif 9775-9780
O
topo
de
Objeto auto-conectado
e'
Objeto auto-conectado
o
side
de
Objeto auto-conectado
e'
Objeto auto-conectado
Objeto auto-conectado
e'
igual
a
Objeto auto-conectado
(=>
(
and
(
top
?TOP ?OBJECT)
(
part
?PART ?OBJECT)
(
not
(
connected
?PART ?TOP)))
(
orientation
?PART ?TOP
Below
))
Merge.kif 9752-9757
O
topo
de
Objeto auto-conectado
e'
Objeto auto-conectado
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
e'
conectado
com
Objeto auto-conectado
Objeto
e'
Below
em relacao a
Objeto auto-conectado
consequent
(=>
(
altitude
?OBJ1 ?OBJ2 ?HEIGHT)
(
exists
(?TOP)
(
and
(
top
?TOP ?OBJ1)
(
distance
?TOP ?OBJ2 ?HEIGHT))))
Merge.kif 7740-7745
A
altitude
de
Objeto auto-conectado
e'
Fisico
Objeto auto-conectado
o
topo
de
Objeto auto-conectado
e'
Objeto auto-conectado
a
distancia
entre
Objeto auto-conectado
e
Fisico
e'
Medida de Comprimento
(=>
(
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
Objeto auto-conectado
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfLength
Objeto auto-conectado
e' uma
instancia
de
LandForm
Objeto auto-conectado
o
topo
de
Objeto auto-conectado
e'
Objeto auto-conectado
a
distancia
entre
Objeto auto-conectado
e
SeaLevel
e'
Numero Real
Unidade de Medida
(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 17516-17521
Processo
e' uma
instancia
de
Reversing
Entidade
e' um
patient
de
Processo
o
topo
de
Entidade
e'
Entidade
o
fundo
de
Entidade
e'
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
o
topo
de
Entidade
e'
Entidade
o
fundo
de
Entidade
e'
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
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 1647-1668
Processo
e' uma
instancia
de
Tornado
Processo
e' uma
instancia
de
Rotating
Objeto
e' uma
instancia
de
Air
Processo
RAN e' uma
instancia
de
Translocation
Processo
e' um
sub
-processo de
Processo
Processo
RAN e' um
sub
-processo de
Processo
Objeto
e' um
patient
de
Processo
RAN as entidades no processo
Processo
RAN se
movem
Horizontal
Objeto
Objeto auto-conectado
,
Processo
OP,
Objeto auto-conectado
,
Objeto auto-conectado
and
Objeto auto-conectado
Objeto
e' uma
instancia
de
Area Geografica
eventLocated
Processo
and
Objeto
Objeto auto-conectado
e' uma &parte de
Objeto
ConeSegment
e' um
atributo
de
Objeto auto-conectado
o
topo
de
Objeto auto-conectado
e'
Processo
OP o
fundo
de
Objeto auto-conectado
e'
Objeto auto-conectado
Objeto auto-conectado
e' uma
instancia
de
Cloud
o
fundo
de
Objeto auto-conectado
e'
Objeto auto-conectado
Processo
OP
encontra
Objeto auto-conectado
Objeto auto-conectado
encontra
Objeto
(=>
(
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 2823-2836
LevelShape
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
Objeto auto-conectado
,
Objeto auto-conectado
,
Numero Real
,
Numero Real
and
Unidade de Medida
o
topo
de
Objeto auto-conectado
e'
Objeto auto-conectado
Objeto auto-conectado
e' uma &parte de
Objeto auto-conectado
Objeto auto-conectado
e' uma &parte de
Objeto auto-conectado
Unidade de Medida
e' uma
instancia
de
UnitOfLength
a
altura
de
Objeto auto-conectado
e'
Numero Real
Unidade de Medida
(s) a
altura
de
Objeto auto-conectado
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que
Numero Real
(=>
(
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
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
Objeto
and
Objeto auto-conectado
o
fundo
de
Objeto auto-conectado
e'
Objeto auto-conectado
o
topo
de
Objeto auto-conectado
e'
Objeto auto-conectado
Objeto
e' uma
instancia
de
Artefato Estacionario
Objeto
e'
Above
em relacao a
Objeto auto-conectado
Objeto
e'
Below
em relacao a
Objeto auto-conectado
(=>
(
instance
?BOX
Box
)
(
equal
(
CardinalityFn
(
KappaFn
?SIDE
(
or
(
top
?SIDE ?BOX)
(
bottom
?SIDE ?BOX)
(
side
?SIDE ?BOX)))) 6))
Mid-level-ontology.kif 4476-4484
Entidade
e' uma
instancia
de
Box
o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
e'
igual
a 6
(=>
(
instance
?C
Ceiling
)
(
exists
(?R)
(
and
(
top
?C ?R)
(
instance
?R
Room
))))
Mid-level-ontology.kif 15335-15340
Objeto auto-conectado
e' uma
instancia
de
Ceiling
Objeto auto-conectado
o
topo
de
Objeto auto-conectado
e'
Objeto auto-conectado
Objeto auto-conectado
e' uma
instancia
de
Comodo
(=>
(
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
Objeto auto-conectado
e' uma
instancia
de
GolfHole
Objeto auto-conectado
shape
Objeto auto-conectado
and
Cylinder
o
topo
de
Objeto auto-conectado
e'
Objeto auto-conectado
Objeto auto-conectado
e' uma
instancia
de
Regiao
shape
Objeto auto-conectado
and
Circle
o
diametro
de
Objeto auto-conectado
e' 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 4019-4027
Objeto auto-conectado
e' uma
instancia
de
Lid
Objeto auto-conectado
Objeto auto-conectado
e' uma
instancia
de
Container
Objeto auto-conectado
e' uma &parte de
Objeto auto-conectado
Objeto auto-conectado
e'
capaz
de fazer
Closing
no role
instrument
Objeto auto-conectado
e'
capaz
de fazer
Opening
no role
instrument
o
topo
de
Objeto auto-conectado
e'
Objeto auto-conectado
(=>
(
instance
?ROOF
Roof
)
(
exists
(?BUILDING)
(
and
(
instance
?BUILDING
Building
)
(
top
?ROOF ?BUILDING))))
Mid-level-ontology.kif 15345-15350
Objeto auto-conectado
e' uma
instancia
de
Roof
Objeto auto-conectado
Objeto auto-conectado
e' uma
instancia
de
Predio
o
topo
de
Objeto auto-conectado
e'
Objeto auto-conectado
(=>
(
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 26009-26020
Objeto auto-conectado
e' uma
instancia
de
Courtyard
Objeto auto-conectado
Objeto auto-conectado
e' uma
instancia
de
Roof
o
topo
de
Objeto auto-conectado
e'
Objeto auto-conectado
Objeto
Objeto
e' uma
instancia
de
Predio
Objeto auto-conectado
e'
Surrounded
em relacao a
Objeto
(=>
(
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
Objeto auto-conectado
e' uma
instancia
de
SlopedArea
Objeto auto-conectado
Objeto auto-conectado
,
Numero Real
,
Numero Real
and
Unidade de Medida
o
topo
de
Objeto auto-conectado
e'
Objeto auto-conectado
o
fundo
de
Objeto auto-conectado
e'
Objeto auto-conectado
Unidade de Medida
e' uma
instancia
de
UnitOfLength
earthAltitude
Objeto auto-conectado
and
Numero Real
Unidade de Medida
(s)
earthAltitude
Objeto auto-conectado
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que
Numero Real
(=>
(
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 2826-2851
rainfallIntensity
Area Geografica
,
Intervalo Temporal
and
Funcao de Quantidade
Transferencia
Colecao
,
Fisico
,
Objeto auto-conectado
,
Entidade
,
Objeto auto-conectado
and
Transferencia
FALL
Transferencia
e' uma
instancia
de
Raining
eventLocated
Transferencia
and
Area Geografica
tempo
de existencia de
Transferencia
acontece
durante
Intervalo Temporal
Colecao
e' uma
instancia
de
Colecao
objectTransferred
Transferencia
and
Colecao
Fisico
e' uma
instancia
de
Agua
Fisico
e'
membro
de
Colecao
Objeto auto-conectado
e' uma
instancia
de
Container
o
fundo
de
Objeto auto-conectado
e'
Objeto auto-conectado
Flat
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
e'
situado
em
Area Geografica
ContainerEmpty
e' um
atributo
de
Objeto auto-conectado
vale
durante o
comeco
de
Intervalo Temporal
Colecao
e'
situado
em
Objeto auto-conectado
o
topo
de
Colecao
e'
Entidade
depth
Entidade
,
Objeto auto-conectado
and
Transferencia
FALL
Transferencia
FALL e'
igual
a
Intervalo Temporal
+
Funcao de Quantidade
vale
durante o
fim
de
Intervalo Temporal
(=>
(
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 3031-3058
snowfallIntensity
Area Geografica
,
Intervalo Temporal
and
Funcao de Quantidade
Transferencia
Objeto
,
Objeto auto-conectado
,
Entidade
,
Objeto auto-conectado
and
Entidade
Transferencia
e' uma
instancia
de
Snowing
eventLocated
Transferencia
and
Area Geografica
tempo
de existencia de
Transferencia
acontece
durante
Intervalo Temporal
Objeto
e' uma
instancia
de
Snow
objectTransferred
Transferencia
and
Objeto
Objeto auto-conectado
e' uma
instancia
de
BoardOrBlock
o
fundo
de
Objeto auto-conectado
e'
Objeto auto-conectado
Flat
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
e'
situado
em
Area Geografica
Entidade
Entidade
e' uma
instancia
de
Objeto
Entidade
e'
situado
em
Objeto auto-conectado
vale
durante o
comeco
de
Intervalo Temporal
Objeto
e'
situado
em
Objeto auto-conectado
o
topo
de
Objeto
e'
Entidade
depth
Entidade
,
Objeto auto-conectado
and
Entidade
Entidade
e'
igual
a
Intervalo Temporal
+
Funcao de Quantidade
vale
durante o
fim
de
Intervalo Temporal
(=>
(
waterDepth
?AREA ?DEPTH)
(
exists
(?BOTTOM ?TOP)
(
and
(
depth
?TOP ?BOTTOM ?DEPTH)
(
top
?TOP ?AREA)
(
bottom
?BOTTOM ?AREA))))
Mid-level-ontology.kif 17571-17577
waterDepth
Objeto auto-conectado
and
Medida de Comprimento
Objeto auto-conectado
Objeto auto-conectado
depth
Objeto auto-conectado
,
Objeto auto-conectado
and
Medida de Comprimento
o
topo
de
Objeto auto-conectado
e'
Objeto auto-conectado
o
fundo
de
Objeto auto-conectado
e'
Objeto auto-conectado
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