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
Il numero 1 argomenti di
moves
è un
istanza
di
Movimento
(
domain
moves
2
Object
)
Merge.kif 11014-11014
Il numero 2 argomenti di
moves
è un
istanza
di
Oggetto
(
instance
moves
CaseRole
)
Merge.kif 11011-11011
moves
è un'
istanza
di
RuoloSemantico
(
instance
moves
TotalValuedRelation
)
Merge.kif 11012-11012
moves
è un'
istanza
di
RelazioneAValoreTotale
(
subrelation
moves
involvedInEvent
)
Merge.kif 11021-11021
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 11034-11034
changesLocation
è una
sottorelazione
di
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
Muscolo
and
Muscolo
Movimento
è un'
istanza
di
Extension
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
Animale
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
Animal
))
(
capability
Extension
instrument
?BC))
Mid-level-ontology.kif 10699-10710
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
Animale
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 9866-9888
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 9927-9949
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 10604-10620
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 10082-10105
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 10052-10073
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 10674-10684
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 10661-10672
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 10634-10644
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 11144-11150
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 11086-11091
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 11070-11075
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 8627-8637
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 8651-8662
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 10604-10620
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 9991-10003
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 10661-10672
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 5841-5853
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 10037-10050
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 3699-3701
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 10769-10778
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 11052-11057
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