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
moves
Sigma KEE - moves
moves
appearance as argument number 1
(
documentation
moves
ChineseLanguage
"(
moves
?MOTION ?OBJECT)的意思是当
Motion
事件 ?MOTION 发生时, ?OBJECT 移动了。这不一定意味着在 ?MOTION 的过程中, ?OBJECT 位置有所改变。请同时参考
changesLocation
和
Translocation
。")
chinese_format.kif 2991-2993
(
documentation
moves
EnglishLanguage
"(
moves
?MOTION ?OBJECT) means that during the
Motion
event ?MOTION, ?OBJECT moves. This does not necessarily imply that the location of ?OBJECT changes during ?MOTION. See also
changesLocation
and
Translocation
.")
Merge.kif 11016-11019
(
documentation
moves
JapaneseLanguage
"(
moves
?MOTION ?OBJECT) は、
Motion
イベントである ?MOTION 最中に?OBJECTが移動することを意味する。これは必ずしも ?OBJECT の最中に ?OBJECT の位置が 変わることを意味するわけではない。
changesLocation
および
Translocation
も参照。")
japanese_format.kif 1751-1753
(
domain
moves
1
Motion
)
Merge.kif 11013-11013
O argumento numero 1 de
moves
e' uma
instancia
de
Movimento
(
domain
moves
2
Object
)
Merge.kif 11014-11014
O argumento numero 2 de
moves
e' uma
instancia
de
Objeto
(
instance
moves
CaseRole
)
Merge.kif 11011-11011
moves
e' uma
instancia
de
Role em Caso
(
instance
moves
TotalValuedRelation
)
Merge.kif 11012-11012
moves
e' uma
instancia
de
Relacao Total
(
subrelation
moves
involvedInEvent
)
Merge.kif 11021-11021
moves
e' uma
sub
-relacao de
involvedInEvent
appearance as argument number 2
(
format
EnglishLanguage
moves
"%2 %n{doesn’t} move%p{s} during %1")
MilitaryPersons.kif 668-668
(
subrelation
changesLocation
moves
)
Merge.kif 11034-11034
changesLocation
e' uma
sub
-relacao de
moves
(
termFormat
ChineseLanguage
moves
"移动")
domainEnglishFormat.kif 39029-39029
(
termFormat
ChineseTraditionalLanguage
moves
"移動")
domainEnglishFormat.kif 39028-39028
(
termFormat
EnglishLanguage
moves
"moves")
domainEnglishFormat.kif 39027-39027
antecedent
(=>
(
and
(
antagonistMuscles
?A ?B)
(
instance
?E
Extension
)
(
instrument
?E ?AC)
(
moves
?E ?BC)
(
instance
?AC ?A)
(
instance
?BC ?B)
(
part
?AC ?H)
(
part
?BC ?H)
(
instance
?H
Animal
))
(
capability
Flexion
instrument
?BC))
Mid-level-ontology.kif 10712-10723
antagonistMuscles
Musculo
and
Musculo
Movimento
e' uma
instancia
de
Extension
Musculo
C e' um
instrumento
para
Movimento
moves
Movimento
and
Musculo
C
Musculo
C e' uma
instancia
de
Musculo
Musculo
C e' uma
instancia
de
Musculo
Musculo
C e' uma &parte de
Objeto
Musculo
C e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Animal
Musculo
C e'
capaz
de fazer
Flexion
no role
instrument
(=>
(
and
(
antagonistMuscles
?A ?B)
(
instance
?F
Flexion
)
(
instrument
?F ?AC)
(
moves
?F ?BC)
(
instance
?AC ?A)
(
instance
?BC ?B)
(
part
?AC ?H)
(
part
?BC ?H)
(
instance
?H
Animal
))
(
capability
Extension
instrument
?BC))
Mid-level-ontology.kif 10699-10710
antagonistMuscles
Musculo
and
Musculo
Movimento
e' uma
instancia
de
Flexion
Musculo
C e' um
instrumento
para
Movimento
moves
Movimento
and
Musculo
C
Musculo
C e' uma
instancia
de
Musculo
Musculo
C e' uma
instancia
de
Musculo
Musculo
C e' uma &parte de
Objeto
Musculo
C e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Animal
Musculo
C e'
capaz
de fazer
Extension
no role
instrument
(=>
(
and
(
instance
?A
Antacid
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9866-9888
Objeto
e' uma
instancia
de
Antacid
Movimento
e' uma
instancia
de
Ingerir
Movimento
e' um
agente
de
AutonomousAgent
moves
Movimento
and
Objeto
Objeto
e' uma
instancia
de
Stomach
Objeto
e' uma &parte de
AutonomousAgent
Objeto
contem
Objeto
Objeto
e' uma
instancia
de
Fluid
vale
durante imediatemente
antes
de
tempo
de existencia de
Movimento
Objeto
contem
Objeto
Objeto
e' uma
instancia
de
Fluid
vale
durante imediatemente
apos
tempo
de existencia de
Movimento
phMeasure
Objeto
and
Numero Real
phMeasure
Objeto
and
Numero Real
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?A
ProtonPumpInhibitor
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9927-9949
Objeto
e' uma
instancia
de
ProtonPumpInhibitor
Movimento
e' uma
instancia
de
Ingerir
Movimento
e' um
agente
de
AutonomousAgent
moves
Movimento
and
Objeto
Objeto
e' uma
instancia
de
Stomach
Objeto
e' uma &parte de
AutonomousAgent
Objeto
contem
Objeto
Objeto
e' uma
instancia
de
Fluid
vale
durante imediatemente
antes
de
tempo
de existencia de
Movimento
Objeto
contem
Objeto
Objeto
e' uma
instancia
de
Fluid
vale
durante imediatemente
apos
tempo
de existencia de
Movimento
phMeasure
Objeto
and
Numero Real
phMeasure
Objeto
and
Numero Real
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?BS1
BodySegment
)
(
instance
?BS2
BodySegment
)
(
connected
?BS1 ?BS2)
(
instance
?BM
BodyMotion
)
(
moves
?BM ?BS1))
(
modalAttribute
(
not
(
exists
(?BM2)
(
and
(
instance
?BM2
BodyMotion
)
(
moves
?BM2 ?BS2)
(
during
(
WhenFn
?BM2)
(
WhenFn
?BM)))))
Possibility
))
Mid-level-ontology.kif 10604-10620
Objeto
e' uma
instancia
de
BodySegment
Objeto
e' uma
instancia
de
BodySegment
Objeto
e'
conectado
com
Objeto
Movimento
e' uma
instancia
de
Movimento do Corpo
moves
Movimento
and
Objeto
o argumento
Movimento
2
Movimento
2 e' uma
instancia
de
Movimento do Corpo
moves
Movimento
2 and
Objeto
tempo
de existencia de
Movimento
2 acontece
durante
tempo
de existencia de
Movimento
tem a
forca
modal
de
Possibility
(=>
(
and
(
instance
?C
MuscularContraction
)
(
moves
?C ?M)
(
or
(
instance
?M
VoluntaryMuscle
)
(
instance
?M
HeartMuscle
)))
(
exists
(?T)
(
and
(
instance
?T
Troponin
)
(
resource
?C ?T))))
Medicine.kif 3954-3964
Movimento
e' uma
instancia
de
MuscularContraction
moves
Movimento
and
Objeto
Objeto
e' uma
instancia
de
VoluntaryMuscle
Objeto
e' uma
instancia
de
HeartMuscle
Objeto
Objeto
e' uma
instancia
de
Troponin
Objeto
e' um
recurso
para
Movimento
(=>
(
and
(
instance
?D
Antidiuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
not
(
equal
?U1 ?U2))
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
UnitOfVolume
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N1 ?N2)
Likely
))
Mid-level-ontology.kif 10082-10105
Objeto
e' uma
instancia
de
Antidiuretic
Movimento
e' uma
instancia
de
Ingerir
Movimento
e' um
agente
de
AutonomousAgent
moves
Movimento
and
Objeto
Intervalo Temporal
e' uma
instancia
de
Urination
Entidade
e' o
resultado
de
Intervalo Temporal
Intervalo Temporal
e' um
agente
de
AutonomousAgent
Intervalo Temporal
e' uma
instancia
de
Urination
Intervalo Temporal
e'
igual
a
Intervalo Temporal
Entidade
e' o
resultado
de
Intervalo Temporal
Intervalo Temporal
e' um
agente
de
AutonomousAgent
Intervalo Temporal
acontence
antes
de
Movimento
Movimento
acontence
antes
de
Intervalo Temporal
Unidade de Medida
e' uma
instancia
de
UnitOfVolume
a
medida
de
Intervalo Temporal
e'
Numero Real
Unidade de Medida
(s) a
medida
de
Intervalo Temporal
e'
Numero Real
Unidade de Medida
(s)
o argumento
Numero Real
e'
maior
que
Numero Real
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?D
Diuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
UnitOfVolume
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N2 ?N1)
Likely
))
Mid-level-ontology.kif 10052-10073
Objeto
e' uma
instancia
de
Diuretic
Movimento
e' uma
instancia
de
Ingerir
Movimento
e' um
agente
de
AutonomousAgent
moves
Movimento
and
Objeto
Intervalo Temporal
e' uma
instancia
de
Urination
Entidade
e' o
resultado
de
Intervalo Temporal
Intervalo Temporal
e' um
agente
de
AutonomousAgent
Intervalo Temporal
e' uma
instancia
de
Urination
Entidade
e' o
resultado
de
Intervalo Temporal
Intervalo Temporal
e' um
agente
de
AutonomousAgent
Intervalo Temporal
acontence
antes
de
Movimento
Movimento
acontence
antes
de
Intervalo Temporal
Unidade de Medida
e' uma
instancia
de
UnitOfVolume
a
medida
de
Intervalo Temporal
e'
Numero Real
Unidade de Medida
(s) a
medida
de
Intervalo Temporal
e'
Numero Real
Unidade de Medida
(s)
o argumento
Numero Real
e'
maior
que
Numero Real
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?E
Extension
)
(
moves
?E ?BP))
(
exists
(?M ?MC)
(
and
(
instance
?M
Muscle
)
(
instance
?MC
MuscularContraction
)
(
instrument
?E ?M)
(
connected
?M ?BP)
(
subProcess
?MC ?E))))
Mid-level-ontology.kif 10674-10684
Movimento
e' uma
instancia
de
Extension
moves
Movimento
and
Objeto
Objeto
Objeto
C
Objeto
e' uma
instancia
de
Musculo
Objeto
C e' uma
instancia
de
MuscularContraction
Objeto
e' um
instrumento
para
Movimento
Objeto
e'
conectado
com
Objeto
Objeto
C e' um
sub
-processo de
Movimento
(=>
(
and
(
instance
?F
Flexion
)
(
agent
?F ?A)
(
moves
?F ?BP))
(
not
(
exists
(?E)
(
and
(
instance
?E
Extension
)
(
equal
(
WhenFn
?E)
(
WhenFn
?F))
(
agent
?E ?A)
(
moves
?E ?BP)))))
Mid-level-ontology.kif 10661-10672
Movimento
e' uma
instancia
de
Flexion
Movimento
e' um
agente
de
AutonomousAgent
moves
Movimento
and
Objeto
Movimento
Movimento
e' uma
instancia
de
Extension
tempo
de existencia de
Movimento
e'
igual
a
tempo
de existencia de
Movimento
Movimento
e' um
agente
de
AutonomousAgent
moves
Movimento
and
Objeto
(=>
(
and
(
instance
?F
Flexion
)
(
moves
?F ?BP))
(
exists
(?M ?MC)
(
and
(
instance
?M
Muscle
)
(
instance
?MC
MuscularContraction
)
(
instrument
?F ?M)
(
connected
?M ?BP)
(
subProcess
?MC ?F))))
Mid-level-ontology.kif 10634-10644
Movimento
e' uma
instancia
de
Flexion
moves
Movimento
and
Objeto
Objeto
Objeto
C
Objeto
e' uma
instancia
de
Musculo
Objeto
C e' uma
instancia
de
MuscularContraction
Objeto
e' um
instrumento
para
Movimento
Objeto
e'
conectado
com
Objeto
Objeto
C e' um
sub
-processo de
Movimento
(=>
(
and
(
instance
?MOTION
BodyMotion
)
(
moves
?MOTION ?OBJ))
(
and
(
instance
?OBJ
BodyPart
)
(
patient
?MOTION ?OBJ)))
Merge.kif 11144-11150
Movimento
e' uma
instancia
de
Movimento do Corpo
moves
Movimento
and
Objeto
Objeto
e' uma
instancia
de
Parte do Corpo
Objeto
e' um
patient
de
Movimento
(=>
(
and
(
instance
?MOTION
Motion
)
(
moves
?MOTION ?OBJ)
(
destination
?MOTION ?PLACE))
(
holdsDuring
(
EndFn
(
WhenFn
?MOTION))
(
located
?OBJ ?PLACE)))
Merge.kif 11086-11091
Movimento
e' uma
instancia
de
Movimento
moves
Movimento
and
Objeto
Movimento
termina
em
Entidade
Objeto
e'
situado
em
Entidade
vale
durante o
fim
de
tempo
de existencia de
Movimento
(=>
(
and
(
instance
?MOTION
Motion
)
(
moves
?MOTION ?OBJ)
(
origin
?MOTION ?PLACE))
(
holdsDuring
(
BeginFn
(
WhenFn
?MOTION))
(
located
?OBJ ?PLACE)))
Merge.kif 11070-11075
Movimento
e' uma
instancia
de
Movimento
moves
Movimento
and
Objeto
Movimento
tem como
origem
Objeto
Objeto
e'
situado
em
Objeto
vale
durante o
comeco
de
tempo
de existencia de
Movimento
(=>
(
and
(
instance
?P
Poison
)
(
instance
?I
Ingesting
)
(
moves
?I ?P)
(
experiencer
?I ?H))
(
exists
(?D)
(
and
(
instance
?D
Damaging
)
(
experiencer
?D ?H)
(
causes
?I ?D))))
Mid-level-ontology.kif 8627-8637
Objeto
e' uma
instancia
de
Poison
Movimento
e' uma
instancia
de
Ingerir
moves
Movimento
and
Objeto
AutonomousAgent
experimenta
Movimento
Processo
Processo
e' uma
instancia
de
Causar Dano
AutonomousAgent
experimenta
Processo
Movimento
causa
Processo
(=>
(
and
(
instance
?P
Poison
)
(
instance
?I
Ingesting
)
(
moves
?I ?P)
(
experiencer
?I ?H))
(
modalAttribute
(
holdsDuring
(
FutureFn
(
WhenFn
?I))
(
attribute
?H
Blind
))
Possibility
))
Mid-level-ontology.kif 8651-8662
Objeto
e' uma
instancia
de
Poison
Movimento
e' uma
instancia
de
Ingerir
moves
Movimento
and
Objeto
AutonomousAgent
experimenta
Movimento
o argumento
Blind
e' um
atributo
de
AutonomousAgent
vale
durante
apos
tempo
de existencia de
Movimento
tem a
forca
modal
de
Possibility
consequent
(=>
(
and
(
instance
?BS1
BodySegment
)
(
instance
?BS2
BodySegment
)
(
connected
?BS1 ?BS2)
(
instance
?BM
BodyMotion
)
(
moves
?BM ?BS1))
(
modalAttribute
(
not
(
exists
(?BM2)
(
and
(
instance
?BM2
BodyMotion
)
(
moves
?BM2 ?BS2)
(
during
(
WhenFn
?BM2)
(
WhenFn
?BM)))))
Possibility
))
Mid-level-ontology.kif 10604-10620
Objeto
e' uma
instancia
de
BodySegment
Objeto
e' uma
instancia
de
BodySegment
Objeto
e'
conectado
com
Objeto
Movimento
e' uma
instancia
de
Movimento do Corpo
moves
Movimento
and
Objeto
o argumento
Movimento
2
Movimento
2 e' uma
instancia
de
Movimento do Corpo
moves
Movimento
2 and
Objeto
tempo
de existencia de
Movimento
2 acontece
durante
tempo
de existencia de
Movimento
tem a
forca
modal
de
Possibility
(=>
(
and
(
instance
?E
Edema
)
(
experiencer
?E ?A))
(
exists
(?T ?P ?L)
(
and
(
instance
?T
Transfer
)
(
instance
?L
Liquid
)
(
instance
?P
BodyPart
)
(
part
?P ?A)
(
destination
?T ?P)
(
moves
?T ?L)
(
subProcess
?T ?E))))
Mid-level-ontology.kif 9991-10003
Processo
e' uma
instancia
de
Edema
AutonomousAgent
experimenta
Processo
Movimento
Objeto
and
Objeto
Movimento
e' uma
instancia
de
Transferencia
Objeto
e' uma
instancia
de
Liquid
Objeto
e' uma
instancia
de
Parte do Corpo
Objeto
e' uma &parte de
AutonomousAgent
Movimento
termina
em
Objeto
moves
Movimento
and
Objeto
Movimento
e' um
sub
-processo de
Processo
(=>
(
and
(
instance
?F
Flexion
)
(
agent
?F ?A)
(
moves
?F ?BP))
(
not
(
exists
(?E)
(
and
(
instance
?E
Extension
)
(
equal
(
WhenFn
?E)
(
WhenFn
?F))
(
agent
?E ?A)
(
moves
?E ?BP)))))
Mid-level-ontology.kif 10661-10672
Movimento
e' uma
instancia
de
Flexion
Movimento
e' um
agente
de
AutonomousAgent
moves
Movimento
and
Objeto
Movimento
Movimento
e' uma
instancia
de
Extension
tempo
de existencia de
Movimento
e'
igual
a
tempo
de existencia de
Movimento
Movimento
e' um
agente
de
AutonomousAgent
moves
Movimento
and
Objeto
(=>
(
and
(
instance
?I
Infecting
)
(
experiencer
?I ?H))
(
exists
(?T ?R ?O)
(
and
(
instance
?T
Translocation
)
(
moves
?T ?O)
(
instance
?O
Organism
)
(
instance
?R
Replication
)
(
experiencer
?R ?O)
(
subProcess
?T ?I)
(
subProcess
?R ?I))))
Mid-level-ontology.kif 5841-5853
Processo
e' uma
instancia
de
Infecting
AutonomousAgent
experimenta
Processo
Movimento
Processo
and
AutonomousAgent
Movimento
e' uma
instancia
de
Translocation
moves
Movimento
and
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Organismo
Processo
e' uma
instancia
de
Reproducao
AutonomousAgent
experimenta
Processo
Movimento
e' um
sub
-processo de
Processo
Processo
e' um
sub
-processo de
Processo
(=>
(
instance
?BC
BloodCirculation
)
(
exists
(?O ?V ?A ?B)
(
and
(
instance
?O
Animal
)
(
instance
?B
Blood
)
(
moves
?BC ?B)
(
instance
?A
Artery
)
(
instance
?V
Vein
)
(
part
?A ?O)
(
part
?V ?O)
(
path
?BC ?A)
(
path
?BC ?V))))
Medicine.kif 491-503
Movimento
e' uma
instancia
de
BloodCirculation
Objeto
Objeto
,
Objeto
and
Objeto
Objeto
e' uma
instancia
de
Animal
Objeto
e' uma
instancia
de
Sangue
moves
Movimento
and
Objeto
Objeto
e' uma
instancia
de
Artery
Objeto
e' uma
instancia
de
Vein
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' o
caminho
ao longo do qual
Movimento
ocorre
Objeto
e' o
caminho
ao longo do qual
Movimento
ocorre
(=>
(
instance
?C
Catheter
)
(
hasPurpose
?C
(
exists
(?M ?O ?OBJ ?L)
(
and
(
instance
?O
Organism
)
(
instance
?M
Motion
)
(
moves
?M ?OBJ)
(
orientation
?L ?O
Outside
)
(
path
?M ?C)
(
or
(
and
(
origin
?M ?L)
(
destination
?M ?O))
(
and
(
origin
?M ?O)
(
destination
?M ?L)))))))
Medicine.kif 548-564
Fisico
e' uma
instancia
de
Catheter
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
BJ and
Entidade
Entidade
e' uma
instancia
de
Organismo
Entidade
e' uma
instancia
de
Movimento
moves
Entidade
and
Entidade
BJ
Entidade
e'
Outside
em relacao a
Entidade
Fisico
e' o
caminho
ao longo do qual
Entidade
ocorre
Entidade
tem como
origem
Entidade
Entidade
termina
em
Entidade
Entidade
tem como
origem
Entidade
Entidade
termina
em
Entidade
(=>
(
instance
?D
Diuretic
)
(
hasPurpose
?D
(
exists
(?R ?L ?H ?LOC)
(
and
(
instance
?H
Human
)
(
instance
?R
Removing
)
(
instance
?L
Liquid
)
(
experiencer
?R ?H)
(
moves
?R ?L)
(
origin
?L ?H)
(
not
(
contains
?H ?LOC))
(
destination
?R ?LOC)))))
Mid-level-ontology.kif 10037-10050
Fisico
e' uma
instancia
de
Diuretic
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
OC
Entidade
e' uma
instancia
de
Humano
Entidade
e' uma
instancia
de
Remover
Entidade
e' uma
instancia
de
Liquid
Entidade
experimenta
Entidade
moves
Entidade
and
Entidade
Entidade
tem como
origem
Entidade
Entidade
nao
contem
%n
Entidade
OC
Entidade
termina
em
Entidade
OC
(=>
(
instance
?F
Furniture
)
(
capability
Translocation
moves
?F))
Mid-level-ontology.kif 3699-3701
Objeto
e' uma
instancia
de
Furniture
Objeto
e'
capaz
de fazer
Translocation
no role
moves
(=>
(
instance
?H
Heart
)
(
hasPurpose
?H
(
exists
(?T ?HB ?B)
(
and
(
instance
?HB
HeartBeat
)
(
instance
?T
LiquidMotion
)
(
instance
?B
Blood
)
(
moves
?T ?B)
(
causes
?HB ?T)))))
Mid-level-ontology.kif 10769-10778
Fisico
e' uma
instancia
de
Heart
Fisico
tem por
fim
Entidade
Fisico
B and
Entidade
Fisico
B e' uma
instancia
de
HeartBeat
Entidade
e' uma
instancia
de
LiquidMotion
Entidade
e' uma
instancia
de
Sangue
moves
Entidade
and
Entidade
Fisico
B
causa
Entidade
(=>
(
instance
?MOTION
Motion
)
(
exists
(?OBJ)
(
and
(
instance
?OBJ
Object
)
(
moves
?MOTION ?OBJ))))
Merge.kif 11052-11057
Movimento
e' uma
instancia
de
Movimento
Objeto
Objeto
e' uma
instancia
de
Objeto
moves
Movimento
and
Objeto
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