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 10982-10985
(
documentation
moves
JapaneseLanguage
"(
moves
?MOTION ?OBJECT) は、
Motion
イベントである ?MOTION 最中に?OBJECTが移動することを意味する。これは必ずしも ?OBJECT の最中に ?OBJECT の位置が 変わることを意味するわけではない。
changesLocation
および
Translocation
も参照。")
japanese_format.kif 1751-1753
(
domain
moves
1
Motion
)
Merge.kif 10979-10979
Il numero 1 argomenti di
moves
è un
istanza
di
Movimento
(
domain
moves
2
Object
)
Merge.kif 10980-10980
Il numero 2 argomenti di
moves
è un
istanza
di
Oggetto
(
instance
moves
CaseRole
)
Merge.kif 10977-10977
moves
è un'
istanza
di
RuoloSemantico
(
instance
moves
TotalValuedRelation
)
Merge.kif 10978-10978
moves
è un'
istanza
di
RelazioneAValoreTotale
(
subrelation
moves
involvedInEvent
)
Merge.kif 10987-10987
moves
è una
sottorelazione
di
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 11000-11000
changesLocation
è una
sottorelazione
di
moves
(
termFormat
ChineseLanguage
moves
"移动")
domainEnglishFormat.kif 39027-39027
(
termFormat
ChineseTraditionalLanguage
moves
"移動")
domainEnglishFormat.kif 39026-39026
(
termFormat
EnglishLanguage
moves
"moves")
domainEnglishFormat.kif 39025-39025
antecedent
(=>
(
and
(
antagonistMuscles
?A ?B)
(
instance
?E
Extension
)
(
instrument
?E ?AC)
(
moves
?F ?BC)
(
instance
?AC ?A)
(
instance
?BC ?B)
(
part
?AC ?H)
(
part
?BC ?H)
(
instance
?H
Mammal
))
(
capability
Flexion
instrument
?BC))
Mid-level-ontology.kif 10685-10696
antagonistMuscles
Muscolo
and
Muscolo
Processo
è un'
istanza
di
Extension
Muscolo
C è uno
strumento
per
Processo
moves
Movimento
and
Muscolo
C
Muscolo
C è un'
istanza
di
Muscolo
Muscolo
C è un'
istanza
di
Muscolo
Muscolo
C è una
parte
di
Oggetto
Muscolo
C è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Mammifero
Muscolo
C è
capace
di fare
Flexion
nel ruolo
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
Mammal
))
(
capability
Extension
instrument
?BC))
Mid-level-ontology.kif 10672-10683
antagonistMuscles
Muscolo
and
Muscolo
Movimento
è un'
istanza
di
Flexion
Muscolo
C è uno
strumento
per
Movimento
moves
Movimento
and
Muscolo
C
Muscolo
C è un'
istanza
di
Muscolo
Muscolo
C è un'
istanza
di
Muscolo
Muscolo
C è una
parte
di
Oggetto
Muscolo
C è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Mammifero
Muscolo
C è
capace
di fare
Extension
nel ruolo
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 9839-9861
Oggetto
è un'
istanza
di
Antacid
Movimento
è un'
istanza
di
Ingestione
Movimento
è un
agente
di
AutonomousAgent
moves
Movimento
and
Oggetto
Oggetto
è un'
istanza
di
Stomach
Oggetto
è una
parte
di
AutonomousAgent
contains
Oggetto
and
Oggetto
Oggetto
è un'
istanza
di
Fluid
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Movimento
contains
Oggetto
and
Oggetto
Oggetto
è un'
istanza
di
Fluid
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Movimento
phMeasure
Oggetto
and
NumeroReale
phMeasure
Oggetto
and
NumeroReale
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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 9900-9922
Oggetto
è un'
istanza
di
ProtonPumpInhibitor
Movimento
è un'
istanza
di
Ingestione
Movimento
è un
agente
di
AutonomousAgent
moves
Movimento
and
Oggetto
Oggetto
è un'
istanza
di
Stomach
Oggetto
è una
parte
di
AutonomousAgent
contains
Oggetto
and
Oggetto
Oggetto
è un'
istanza
di
Fluid
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Movimento
contains
Oggetto
and
Oggetto
Oggetto
è un'
istanza
di
Fluid
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Movimento
phMeasure
Oggetto
and
NumeroReale
phMeasure
Oggetto
and
NumeroReale
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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 10577-10593
Oggetto
è un'
istanza
di
BodySegment
Oggetto
è un'
istanza
di
BodySegment
Oggetto
è
connesso
a
Oggetto
Movimento
è un'
istanza
di
MovimentoCorporeo
moves
Movimento
and
Oggetto
l'affermazione
Movimento
2
Movimento
2 è un'
istanza
di
MovimentoCorporeo
moves
Movimento
2 and
Oggetto
il
tempo
di esistenza di
Movimento
2 has luogo
durante
il
tempo
di esistenza di
Movimento
ha il modello di forza di
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
è un'
istanza
di
MuscularContraction
moves
Movimento
and
Oggetto
Oggetto
è un'
istanza
di
VoluntaryMuscle
Oggetto
è un'
istanza
di
HeartMuscle
Oggetto
Oggetto
è un'
istanza
di
Troponin
Oggetto
è una
risorsa
per
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 10055-10078
Oggetto
è un'
istanza
di
Antidiuretic
Movimento
è un'
istanza
di
Ingestione
Movimento
è un
agente
di
AutonomousAgent
moves
Movimento
and
Oggetto
IntervalloTemporale
è un'
istanza
di
Urination
Entit�
è un
risultato
di
IntervalloTemporale
IntervalloTemporale
è un
agente
di
AutonomousAgent
IntervalloTemporale
è un'
istanza
di
Urination
IntervalloTemporale
is
uguale
a
IntervalloTemporale
Entit�
è un
risultato
di
IntervalloTemporale
IntervalloTemporale
è un
agente
di
AutonomousAgent
IntervalloTemporale
accades
prima
di
Movimento
Movimento
accades
prima
di
IntervalloTemporale
Unit�DiMisura
è un'
istanza
di
UnitOfVolume
la
misura
IntervalloTemporale
è
NumeroReale
Unit�DiMisura
(s la
misura
IntervalloTemporale
è
NumeroReale
Unit�DiMisura
(s
l'affermazione
NumeroReale
è
pi
ù grande di
NumeroReale
ha il modello di forza di
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 10025-10046
Oggetto
è un'
istanza
di
Diuretic
Movimento
è un'
istanza
di
Ingestione
Movimento
è un
agente
di
AutonomousAgent
moves
Movimento
and
Oggetto
IntervalloTemporale
è un'
istanza
di
Urination
Entit�
è un
risultato
di
IntervalloTemporale
IntervalloTemporale
è un
agente
di
AutonomousAgent
IntervalloTemporale
è un'
istanza
di
Urination
Entit�
è un
risultato
di
IntervalloTemporale
IntervalloTemporale
è un
agente
di
AutonomousAgent
IntervalloTemporale
accades
prima
di
Movimento
Movimento
accades
prima
di
IntervalloTemporale
Unit�DiMisura
è un'
istanza
di
UnitOfVolume
la
misura
IntervalloTemporale
è
NumeroReale
Unit�DiMisura
(s la
misura
IntervalloTemporale
è
NumeroReale
Unit�DiMisura
(s
l'affermazione
NumeroReale
è
pi
ù grande di
NumeroReale
ha il modello di forza di
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 10647-10657
Movimento
è un'
istanza
di
Extension
moves
Movimento
and
Oggetto
Oggetto
Oggetto
C
Oggetto
è un'
istanza
di
Muscolo
Oggetto
C è un'
istanza
di
MuscularContraction
Oggetto
è uno
strumento
per
Movimento
Oggetto
è
connesso
a
Oggetto
Oggetto
C è un
sottoprocesso
di
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 10634-10645
Movimento
è un'
istanza
di
Flexion
Movimento
è un
agente
di
AutonomousAgent
moves
Movimento
and
Oggetto
Movimento
Movimento
è un'
istanza
di
Extension
il
tempo
di esistenza di
Movimento
is
uguale
a il
tempo
di esistenza di
Movimento
Movimento
è un
agente
di
AutonomousAgent
moves
Movimento
and
Oggetto
(=>
(
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 10607-10617
Movimento
è un'
istanza
di
Flexion
moves
Movimento
and
Oggetto
Oggetto
Oggetto
C
Oggetto
è un'
istanza
di
Muscolo
Oggetto
C è un'
istanza
di
MuscularContraction
Oggetto
è uno
strumento
per
Movimento
Oggetto
è
connesso
a
Oggetto
Oggetto
C è un
sottoprocesso
di
Movimento
(=>
(
and
(
instance
?MOTION
BodyMotion
)
(
moves
?MOTION ?OBJ))
(
and
(
instance
?OBJ
BodyPart
)
(
patient
?MOTION ?OBJ)))
Merge.kif 11110-11116
Movimento
è un'
istanza
di
MovimentoCorporeo
moves
Movimento
and
Oggetto
Oggetto
è un'
istanza
di
ParteDelCorpo
Oggetto
è un
paziente
di
Movimento
(=>
(
and
(
instance
?MOTION
Motion
)
(
moves
?MOTION ?OBJ)
(
destination
?MOTION ?PLACE))
(
holdsDuring
(
EndFn
(
WhenFn
?MOTION))
(
located
?OBJ ?PLACE)))
Merge.kif 11052-11057
Movimento
è un'
istanza
di
Movimento
moves
Movimento
and
Oggetto
Movimento
fine
s in
Entit�
Oggetto
è
localizzato
in
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Movimento
(=>
(
and
(
instance
?MOTION
Motion
)
(
moves
?MOTION ?OBJ)
(
origin
?MOTION ?PLACE))
(
holdsDuring
(
BeginFn
(
WhenFn
?MOTION))
(
located
?OBJ ?PLACE)))
Merge.kif 11036-11041
Movimento
è un'
istanza
di
Movimento
moves
Movimento
and
Oggetto
Movimento
si
originas in
Oggetto
Oggetto
è
localizzato
in
Oggetto
vales
durante
l'
inizio
di il
tempo
di esistenza di
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 8600-8610
Oggetto
è un'
istanza
di
Poison
Movimento
è un'
istanza
di
Ingestione
moves
Movimento
and
Oggetto
AutonomousAgent
esperisce
s
Movimento
Processo
Processo
è un'
istanza
di
Danneggiare
AutonomousAgent
esperisce
s
Processo
Movimento
causa
s
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 8624-8635
Oggetto
è un'
istanza
di
Poison
Movimento
è un'
istanza
di
Ingestione
moves
Movimento
and
Oggetto
AutonomousAgent
esperisce
s
Movimento
l'affermazione
attribute
AutonomousAgent
and
Blind
vales
durante
dopo
il
tempo
di esistenza di
Movimento
ha il modello di forza di
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 10577-10593
Oggetto
è un'
istanza
di
BodySegment
Oggetto
è un'
istanza
di
BodySegment
Oggetto
è
connesso
a
Oggetto
Movimento
è un'
istanza
di
MovimentoCorporeo
moves
Movimento
and
Oggetto
l'affermazione
Movimento
2
Movimento
2 è un'
istanza
di
MovimentoCorporeo
moves
Movimento
2 and
Oggetto
il
tempo
di esistenza di
Movimento
2 has luogo
durante
il
tempo
di esistenza di
Movimento
ha il modello di forza di
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 9964-9976
Processo
è un'
istanza
di
Edema
AutonomousAgent
esperisce
s
Processo
Movimento
Oggetto
and
Oggetto
Movimento
è un'
istanza
di
Trasferimento
Oggetto
è un'
istanza
di
Liquid
Oggetto
è un'
istanza
di
ParteDelCorpo
Oggetto
è una
parte
di
AutonomousAgent
Movimento
fine
s in
Oggetto
moves
Movimento
and
Oggetto
Movimento
è un
sottoprocesso
di
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 10634-10645
Movimento
è un'
istanza
di
Flexion
Movimento
è un
agente
di
AutonomousAgent
moves
Movimento
and
Oggetto
Movimento
Movimento
è un'
istanza
di
Extension
il
tempo
di esistenza di
Movimento
is
uguale
a il
tempo
di esistenza di
Movimento
Movimento
è un
agente
di
AutonomousAgent
moves
Movimento
and
Oggetto
(=>
(
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 5847-5859
Processo
è un'
istanza
di
Infecting
AutonomousAgent
esperisce
s
Processo
Movimento
Processo
and
AutonomousAgent
Movimento
è un'
istanza
di
Translocation
moves
Movimento
and
AutonomousAgent
AutonomousAgent
è un'
istanza
di
Organismo
Processo
è un'
istanza
di
Replicazione
AutonomousAgent
esperisce
s
Processo
Movimento
è un
sottoprocesso
di
Processo
Processo
è un
sottoprocesso
di
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
è un'
istanza
di
BloodCirculation
Oggetto
Oggetto
,
Oggetto
and
Oggetto
Oggetto
è un'
istanza
di
Animale
Oggetto
è un'
istanza
di
Sangue
moves
Movimento
and
Oggetto
Oggetto
è un'
istanza
di
Artery
Oggetto
è un'
istanza
di
Vein
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è
cammino
mentre
Movimento
si verifica
Oggetto
è
cammino
mentre
Movimento
si verifica
(=>
(
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
Entit�Concreta
è un'
istanza
di
Catheter
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
BJ and
Entit�
Entit�
è un'
istanza
di
Organismo
Entit�
è un'
istanza
di
Movimento
moves
Entit�
and
Entit�
BJ
Entit�
è
Outside
a
Entit�
Entit�Concreta
è
cammino
mentre
Entit�
si verifica
Entit�
si
originas in
Entit�
Entit�
fine
s in
Entit�
Entit�
si
originas in
Entit�
Entit�
fine
s in
Entit�
(=>
(
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 10010-10023
Entit�Concreta
è un'
istanza
di
Diuretic
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
OC
Entit�
è un'
istanza
di
Umano
Entit�
è un'
istanza
di
Spostamento
Entit�
è un'
istanza
di
Liquid
Entit�
esperisce
s
Entit�
moves
Entit�
and
Entit�
Entit�
si
originas in
Entit�
contains
Entit�
and
Entit�
OC
Entit�
fine
s in
Entit�
OC
(=>
(
instance
?F
Furniture
)
(
capability
Translocation
moves
?F))
Mid-level-ontology.kif 3706-3708
Oggetto
è un'
istanza
di
Furniture
Oggetto
è
capace
di fare
Translocation
nel ruolo
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 10742-10751
Entit�Concreta
è un'
istanza
di
Heart
Entit�Concreta
ha
scopo
Entit�
Entit�Concreta
B and
Entit�
Entit�Concreta
B è un'
istanza
di
HeartBeat
Entit�
è un'
istanza
di
LiquidMotion
Entit�
è un'
istanza
di
Sangue
moves
Entit�
and
Entit�
Entit�Concreta
B
causa
s
Entit�
(=>
(
instance
?MOTION
Motion
)
(
exists
(?OBJ)
(
and
(
instance
?OBJ
Object
)
(
moves
?MOTION ?OBJ))))
Merge.kif 11018-11023
Movimento
è un'
istanza
di
Movimento
Oggetto
Oggetto
è un'
istanza
di
Oggetto
moves
Movimento
and
Oggetto
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