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
objectTransferred
Sigma KEE - objectTransferred
objectTransferred
appearance as argument number 1
(
documentation
objectTransferred
EnglishLanguage
"A relation that specifies the object that is transferred during the process. For example, in a
Mailing
process, the object transferred is a letter or package.")
Merge.kif 11305-11307
(
domain
objectTransferred
1
Transfer
)
Merge.kif 11302-11302
Le nombre 1 argument de
objectTransferred
est une
instance
de
transf�re
(
domain
objectTransferred
2
Object
)
Merge.kif 11303-11303
Le nombre 2 argument de
objectTransferred
est une
instance
de
objet
(
instance
objectTransferred
CaseRole
)
Merge.kif 11300-11300
objectTransferred
est une
instance
de
r�le d�pendant du cas
(
subrelation
objectTransferred
patient
)
Merge.kif 11301-11301
objectTransferred
est une
sous
-relation de
patient
appearance as argument number 2
(
format
EnglishLanguage
objectTransferred
"the object transferred in %1 is %n %2")
Merge.kif 11304-11304
(
subrelation
passenger
objectTransferred
)
Mid-level-ontology.kif 30678-30678
passenger
est une
sous
-relation de
objectTransferred
(
termFormat
EnglishLanguage
objectTransferred
"object transferred")
domainEnglishFormat.kif 65899-65899
antecedent
(=>
(
and
(
instance
?B
Bequeathing
)
(
agent
?B ?P)
(
destination
?B ?H)
(
objectTransferred
?B ?PROP))
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?P)
(
earlier
(
WhenFn
?D)
(
WhenFn
?B))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?D))
(
possesses
?P ?PROP))
(
confersNorm
?P
(
possesses
?H ?PROP)
Permission
))))
Mid-level-ontology.kif 18628-18644
Transf�re
est une
instance
de
Bequeathing
transf�re
est un
agent
de
AutonomousAgent
transf�re
aboutit
�
entit�
objectTransferred
transf�re
and
AutonomousAgent
ROP
processus
processus
est une
instance
de
mort
AutonomousAgent
exp
�rimente
processus
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
transf�re
AutonomousAgent
poss
�de
AutonomousAgent
ROP
pendant
immediatement
avant
temps
d'existence de
processus
confersNorm
AutonomousAgent
,
entit�
poss
�de
AutonomousAgent
ROP and
Permission
(=>
(
and
(
instance
?BI
BreakthroughInfection
)
(
objectTransferred
?BI ?V)
(
instance
?V ?VC)
(
experiencer
?BI ?H))
(
exists
(?VAX)
(
and
(
instance
?VAX
Vaccination
)
(
experiencer
?VAX ?H)
(
vaccine
?VACCINECLASS ?VC)
(
instance
?VACCINE ?VACCINECLASS)
(
objectTransferred
?VAX ?VACCINE)
(
earlier
(
WhenFn
?VAX)
(
WhenFn
?BI)))))
Medicine.kif 3179-3194
Transf�re
est une
instance
de
BreakthroughInfection
objectTransferred
transf�re
and
objet
objet
est une
instance
de
objet
C
AutonomousAgent
exp
�rimente
transf�re
objet
AX
objet
AX est une
instance
de
Vaccination
AutonomousAgent
exp
�rimente
objet
AX
vaccine
objet
ACCINECLASS and
objet
C
objet
ACCINE est une
instance
de
objet
ACCINECLASS
objectTransferred
objet
AX and
objet
ACCINE
temps
d'existence de
objet
AX arrive
plus
t�t que
temps
d'existence de
transf�re
(=>
(
and
(
instance
?E
Exhaust
)
(
material
Fuel
?E)
(
instance
?T
Transfer
)
(
instance
?ENG
Engine
)
(
origin
?T ?ENG)
(
instance
?CC
CatalyticConverter
)
(
destination
?T ?CC)
(
objectTransferred
?T ?E))
(
hasPurpose
?CC
(
exists
(?C)
(
and
(
instance
?C
Combustion
)
(
instrument
?C ?CC)
(
patient
?C ?E)
(
eventLocated
?C ?CC)))))
Cars.kif 1717-1733
Objet corpusculaire
est une
instance
de
Exhaust
Fuel
est
fait
de
objet corpusculaire
transf�re
est une
instance
de
transf�re
objet corpusculaire
NG est une
instance
de
Engine
transf�re
a pour
origine
objet corpusculaire
NG
physique
est une
instance
de
CatalyticConverter
transf�re
aboutit
�
physique
objectTransferred
transf�re
and
objet corpusculaire
physique
a pour
but
entit�
entit�
est une
instance
de
combustion
physique
est un
instrument
pour
entit�
objet corpusculaire
est un
patient
de
entit�
eventLocated
entit�
and
physique
(=>
(
and
(
instance
?EM
Electromagnet
)
(
instance
?T
Transfer
)
(
instance
?E
Electricity
)
(
objectTransferred
?T ?E)
(
path
?T ?EM))
(
exists
(?M)
(
and
(
instance
?M
Magnetism
)
(
instrument
?M ?EM))))
Cars.kif 3893-3903
Objet
est une
instance
de
Electromagnet
transf�re
est une
instance
de
transf�re
objet
est une
instance
de
Electricity
objectTransferred
transf�re
and
objet
objet
est le
chemin
le long duquel
transf�re
se produit
processus
processus
est une
instance
de
Magnetism
objet
est un
instrument
pour
processus
(=>
(
and
(
instance
?EM
Electromagnet
)
(
not
(
holdsDuring
?T1
(
exists
(?T ?E)
(
and
(
instance
?T
Transfer
)
(
instance
?E
Electricity
)
(
objectTransferred
?T ?E)
(
path
?T ?EM))))))
(
not
(
holdsDuring
?T1
(
exists
(?M)
(
and
(
instance
?M
Magnetism
)
(
instrument
?M ?EM))))))
Cars.kif 3905-3921
Entit�
est une
instance
de
Electromagnet
entit�
entit�
entit�
est une
instance
de
transf�re
entit�
est une
instance
de
Electricity
objectTransferred
entit�
and
entit�
entit�
est le
chemin
le long duquel
entit�
se produit
pendant
entit�
1
entit�
entit�
est une
instance
de
Magnetism
entit�
est un
instrument
pour
entit�
pendant
entit�
1
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?D)
(
instance
?D ?DC)
(
pathologicSideEffect
?DC ?DIS))
(
modalAttribute
(
exists
(?P)
(
and
(
instance
?P ?DIS)
(
experiencer
?H ?P)))
Likely
))
WMD.kif 1563-1575
Transf�re
est une
instance
de
ing�rer
AutonomousAgent
exp
�rimente
transf�re
objectTransferred
transf�re
and
objet
objet
est une
instance
de
objet
C
pathologicSideEffect
objet
C and
objet
IS
l'argument
entit�
entit�
est une
instance
de
objet
IS
entit�
exp
�rimente
AutonomousAgent
a la
force
modale
de
Likely
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?D)
(
instance
?D ?DC)
(
sideEffect
?DC ?DIS))
(
modalAttribute
(
attribute
?H ?DIS)
Likely
))
WMD.kif 1545-1554
Transf�re
est une
instance
de
ing�rer
AutonomousAgent
exp
�rimente
transf�re
objectTransferred
transf�re
and
objet
objet
est une
instance
de
objet
C
sideEffect
objet
C and
objet
IS
l'argument
objet
IS est un
attribut
de
AutonomousAgent
a la
force
modale
de
Likely
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?MS)
(
instance
?MS
MoodStabilizer
)
(
instance
?E ?EC)
(
involvedInEvent
?E ?H)
(
holdsDuring
(
WhenFn
?E)
(
attribute
?H ?ES))
(
instance
?ES
EmotionalState
)
(
instance
?E2 ?EC)
(
involvedInEvent
?E2 ?H)
(
earlier
(
WhenFn
?E2)
(
WhenFn
?I)))
(
modalAttribute
(
not
(
holdsDuring
?E2
(
attribute
?H ?ES)))
Unlikely
))
Mid-level-ontology.kif 9746-9767
Transf�re
est une
instance
de
ing�rer
AutonomousAgent
exp
�rimente
transf�re
objectTransferred
transf�re
and
objet
objet
est une
instance
de
MoodStabilizer
processus
est une
instance
de
processus
C
involvedInEvent
processus
and
AutonomousAgent
processus
S est un
attribut
de
AutonomousAgent
pendant
temps
d'existence de
processus
processus
S est une
instance
de
�tat �motionnel
processus
2 est une
instance
de
processus
C
involvedInEvent
processus
2 and
AutonomousAgent
temps
d'existence de
processus
2 arrive
plus
t�t que
temps
d'existence de
transf�re
l'argument
processus
S est un
attribut
de
AutonomousAgent
pendant
processus
2 a la
force
modale
de
Unlikely
(=>
(
and
(
instance
?I
Ingesting
)
(
objectTransferred
?I ?H)
(
instance
?H
Hallucinogen
)
(
destination
?I ?P))
(
modalAttribute
(
exists
(?HAL)
(
and
(
instance
?HAL
Hallucination
)
(
experiencer
?HAL ?P)))
Likely
))
TransnationalIssues.kif 88-99
Transf�re
est une
instance
de
ing�rer
objectTransferred
transf�re
and
objet
objet
est une
instance
de
Hallucinogen
transf�re
aboutit
�
entit�
l'argument
objet
AL
objet
AL est une
instance
de
Hallucination
entit�
exp
�rimente
objet
AL a la
force
modale
de
Likely
(=>
(
and
(
instance
?I
Injecting
)
(
instance
?A
Adalimumab
)
(
objectTransferred
?I ?A)
(
located
?I ?BP)
(
instance
?BP
BodyPart
)
(
destination
?I ?H))
(
modalAttribute
(
exists
(?T)
(
and
(
holdsDuring
?T
(
attribute
?H
(
PainFn
?BP)))
(
during
?T
(
FutureFn
(
WhenFn
?I)))))
Likely
))
Medicine.kif 3628-3644
Transf�re
est une
instance
de
Injecting
objet
est une
instance
de
Adalimumab
objectTransferred
transf�re
and
objet
transf�re
est
situ
� �
objet
objet
est une
instance
de
partie du corps
transf�re
aboutit
�
entit�
l'argument
entit�
PainFn
objet
est un
attribut
de
entit�
pendant
entit�
entit�
prend place
pendant
apr
�s
temps
d'existence de
transf�re
a la
force
modale
de
Likely
(=>
(
and
(
instance
?I
Intubation
)
(
instance
?T
Tube
)
(
objectTransferred
?I ?T)
(
experiencer
?I ?H))
(
exists
(?TH)
(
and
(
instance
?TH
Trachea
)
(
part
?TH ?H)
(
destination
?I ?TH))))
Medicine.kif 4135-4145
Transf�re
est une
instance
de
Intubation
objet
est une
instance
de
Tube
objectTransferred
transf�re
and
objet
AutonomousAgent
exp
�rimente
transf�re
objet
H
objet
H est une
instance
de
Trachea
objet
H est une
partie
de
AutonomousAgent
transf�re
aboutit
�
objet
H
(=>
(
and
(
instance
?I
Intubation
)
(
instance
?T
Tube
)
(
objectTransferred
?I ?T)
(
experiencer
?I ?H))
(
hasPurpose
?I
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
instrument
?B ?T)))))
Medicine.kif 4123-4133
Transf�re
est une
instance
de
Intubation
objet
est une
instance
de
Tube
objectTransferred
transf�re
and
objet
AutonomousAgent
exp
�rimente
transf�re
transf�re
a pour
but
entit�
entit�
est une
instance
de
respirer
objet
est un
instrument
pour
entit�
(=>
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?O)
(
orientation
?O2 ?O
Inside
))
(
objectTransferred
?T ?O2))
Merge.kif 11322-11327
Transf�re
est une
instance
de
transf�re
objectTransferred
transf�re
and
objet
objet
2 est
Inside
�
objet
objectTransferred
transf�re
and
objet
2
(=>
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?O)
(
orientation
?O2 ?O
On
))
(
objectTransferred
?T ?O2))
Merge.kif 11329-11334
Transf�re
est une
instance
de
transf�re
objectTransferred
transf�re
and
objet
objet
2 est
On
�
objet
objectTransferred
transf�re
and
objet
2
(=>
(
and
(
instance
?V
Vending
)
(
objectTransferred
?V ?O)
(
not
(
instance
?O
Currency
)))
(
modalAttribute
(
or
(
instance
?O
(
FoodForFn
Human
))
(
instance
?O
Beverage
))
Likely
))
Mid-level-ontology.kif 1958-1967
Transf�re
est une
instance
de
Vending
objectTransferred
transf�re
and
objet
objet
est une
instance
de
Currency
l'argument
objet
est une
instance
de
FoodForFn
humain
objet
est une
instance
de
boisson
a la
force
modale
de
Likely
(=>
(
and
(
instance
?VCS
VentedChestSeal
)
(
instance
?A
Attaching
)
(
objectTransferred
?A ?VCS)
(
destination
?A ?H))
(
hasPurpose
?VCS
(
exists
(?A ?L ?C ?H)
(
and
(
instance
?A
Air
)
(
instance
?L
Lung
)
(
instance
?C
Chest
)
(
part
?L ?H)
(
part
?C ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?A))
(
between
?L ?A ?C))
(
hasPurpose
?VCS
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?A))
(
orientation
?A ?H
Outside
)))))))
Medicine.kif 853-875
Objet
est une
instance
de
VentedChestSeal
transf�re
est une
instance
de
attacher
objectTransferred
transf�re
and
objet
transf�re
aboutit
�
entit�
objet
a pour
but
transf�re
entit�
,
entit�
and
entit�
transf�re
est une
instance
de
Air
entit�
est une
instance
de
Lung
entit�
est une
instance
de
Chest
entit�
est une
partie
de
entit�
entit�
est une
partie
de
entit�
transf�re
est
entre
entit�
et
entit�
pendant
immediatement
avant
temps
d'existence de
transf�re
objet
a pour
but
transf�re
est
Outside
�
entit�
pendant
immediatement
apr
�s
temps
d'existence de
transf�re
(=>
(
and
(
vaccine
?VAC ?VIR)
(
instance
?V
Vaccination
)
(
experiencer
?V ?H)
(
instance
?VACI ?VAC)
(
objectTransferred
?V ?VACI))
(
hasPurpose
?VACI
(
not
(
exists
(?I ?VIRI)
(
and
(
instance
?I
Infecting
)
(
experiencer
?I ?H)
(
instance
?VIRI ?VIR)
(
objectTransferred
?I ?VIRI))))))
WMD.kif 1089-1103
vaccine
Vaccine
and
virus
transf�re
est une
instance
de
Vaccination
AutonomousAgent
exp
�rimente
transf�re
Vaccine
I est une
instance
de
Vaccine
objectTransferred
transf�re
and
Vaccine
I
Vaccine
I a pour
but
entit�
virus
I
entit�
est une
instance
de
Infecting
AutonomousAgent
exp
�rimente
entit�
virus
I est une
instance
de
virus
objectTransferred
entit�
and
virus
I
(=>
(
objectTransferred
?P ?OBJ)
(
exists
(?O ?D)
(
and
(
origin
?P ?O)
(
destination
?P ?D)
(
holdsDuring
(
ImmediatePastFn
?P)
(
located
?OBJ ?O))
(
holdsDuring
(
ImmediateFutureFn
?P)
(
located
?OBJ ?D)))))
Merge.kif 11309-11320
objectTransferred
transf�re
and
objet
objet
entit�
transf�re
a pour
origine
objet
transf�re
aboutit
�
entit�
objet
est
situ
� �
objet
pendant
immediatement
avant
transf�re
objet
est
situ
� �
entit�
pendant
immediatement
apr
�s
transf�re
consequent
(=>
(
and
(
instance
?ANI
Animal
)
(
instance
?D
DiseaseOrSyndrome
)
(
not
(
attribute
?ANI ?D)))
(
exists
(?P ?W)
(
and
(
instance
?P
BiologicalProcess
)
(
instance
?P
Removing
)
(
origin
?P ?ANI)
(
instance
?W
Sewage
)
(
agent
?P ?ANI)
(
objectTransferred
?P ?W))))
Mid-level-ontology.kif 2134-2147
AutonomousAgent
est une
instance
de
animal
attribut
est une
instance
de
maladie ou syndrome
attribut
est un
attribut
de
AutonomousAgent
transf�re
objet
transf�re
est une
instance
de
processus biologique
transf�re
est une
instance
de
supprimer
transf�re
a pour
origine
AutonomousAgent
objet
est une
instance
de
Sewage
transf�re
est un
agent
de
AutonomousAgent
objectTransferred
transf�re
and
objet
(=>
(
and
(
instance
?AS
AutomobileShock
)
(
instance
?C
Compressing
)
(
instance
?H
HoleRegion
)
(
attribute
?F
Fluid
)
(
equal
?AS
(
HoleHostFn
?H))
(
contains
?AS ?F)
(
patient
?C ?AS))
(
exists
(?T)
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?F)
(
path
?T ?H)
(
causes
?C ?T))))
Cars.kif 871-885
Objet en une partie
est une
instance
de
AutomobileShock
processus
est une
instance
de
Compressing
trou
est une
instance
de
trou
Fluid
est un
attribut
de
objet
objet en une partie
est
h
�te du trou
trou
objet en une partie
contient
objet
objet en une partie
est un
patient
de
processus
transf�re
transf�re
est une
instance
de
transf�re
objectTransferred
transf�re
and
objet
trou
est le
chemin
le long duquel
transf�re
se produit
processus
cause
transf�re
(=>
(
and
(
instance
?BI
BreakthroughInfection
)
(
objectTransferred
?BI ?V)
(
instance
?V ?VC)
(
experiencer
?BI ?H))
(
exists
(?VAX)
(
and
(
instance
?VAX
Vaccination
)
(
experiencer
?VAX ?H)
(
vaccine
?VACCINECLASS ?VC)
(
instance
?VACCINE ?VACCINECLASS)
(
objectTransferred
?VAX ?VACCINE)
(
earlier
(
WhenFn
?VAX)
(
WhenFn
?BI)))))
Medicine.kif 3179-3194
Transf�re
est une
instance
de
BreakthroughInfection
objectTransferred
transf�re
and
objet
objet
est une
instance
de
objet
C
AutonomousAgent
exp
�rimente
transf�re
objet
AX
objet
AX est une
instance
de
Vaccination
AutonomousAgent
exp
�rimente
objet
AX
vaccine
objet
ACCINECLASS and
objet
C
objet
ACCINE est une
instance
de
objet
ACCINECLASS
objectTransferred
objet
AX and
objet
ACCINE
temps
d'existence de
objet
AX arrive
plus
t�t que
temps
d'existence de
transf�re
(=>
(
and
(
instance
?C
Coughing
)
(
experiencer
?C ?H))
(
hasPurpose
?C
(
exists
(?R ?L ?O ?T)
(
and
(
instance
?L
Lung
)
(
instance
?T
Throat
)
(
instance
?O
Object
)
(
instance
?R
Removing
)
(
part
?L ?H)
(
part
?T ?H)
(
objectTransferred
?R ?O)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
or
(
located
?O ?T)
(
located
?O ?L)))))))
Mid-level-ontology.kif 6028-6047
Processus
est une
instance
de
Coughing
AutonomousAgent
exp
�rimente
processus
processus
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
Lung
entit�
est une
instance
de
Throat
entit�
est une
instance
de
objet
entit�
est une
instance
de
supprimer
entit�
est une
partie
de
AutonomousAgent
entit�
est une
partie
de
AutonomousAgent
objectTransferred
entit�
and
entit�
entit�
est
situ
� �
entit�
entit�
est
situ
� �
entit�
pendant
immediatement
avant
temps
d'existence de
processus
(=>
(
and
(
instance
?C
Crying
)
(
experiencer
?C ?H))
(
exists
(?T ?E)
(
and
(
instance
?T
TearSubstance
)
(
origin
?C ?E)
(
objectTransferred
?C ?T)
(
instance
?E
Eye
)
(
part
?E ?H))))
emotion.kif 1129-1139
Transf�re
est une
instance
de
Crying
AutonomousAgent
exp
�rimente
transf�re
objet
objet
objet
est une
instance
de
TearSubstance
transf�re
a pour
origine
objet
objectTransferred
transf�re
and
objet
objet
est une
instance
de
Eye
objet
est une
partie
de
AutonomousAgent
(=>
(
and
(
instance
?C
Sneezing
)
(
experiencer
?C ?H))
(
hasPurpose
?C
(
exists
(?R ?N ?NOSE ?O)
(
and
(
instance
?N
NasalCavity
)
(
instance
?NOSE
Nose
)
(
equal
?NOSE
(
HoleHostFn
?N))
(
instance
?O
Object
)
(
instance
?R
Removing
)
(
part
?NOSE ?H)
(
objectTransferred
?R ?O)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
located
?O ?N))))))
Mid-level-ontology.kif 6094-6112
Processus
est une
instance
de
Sneezing
AutonomousAgent
exp
�rimente
processus
processus
a pour
but
entit�
entit�
,
entit�
OSE and
entit�
entit�
est une
instance
de
NasalCavity
entit�
OSE est une
instance
de
Nose
entit�
OSE est
h
�te du trou
entit�
entit�
est une
instance
de
objet
entit�
est une
instance
de
supprimer
entit�
OSE est une
partie
de
AutonomousAgent
objectTransferred
entit�
and
entit�
entit�
est
situ
� �
entit�
pendant
immediatement
avant
temps
d'existence de
processus
(=>
(
and
(
instance
?DUSTSTORM
DustStorm
)
(
instance
?WIND
Wind
)
(
subProcess
?DUSTSTORM ?WIND))
(
exists
(?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG)
(
and
(
instance
?A1
LandArea
)
(
eventLocated
?WIND ?A1)
(
surfaceWindSpeed
?A1
(
MeasureFn
?STRONG
KnotUnitOfSpeed
))
(
greaterThan
?STRONG 30.0)
(
instance
?TRANSLOCATE
Translocation
)
(
subProcess
?TRANSLOCATE ?DUSTSTORM)
(
objectTransferred
?TRANSLOCATE ?PM)
(
objectTransferred
?TRANSLOCATE ?SAND)
(
instance
?PM
ParticulateMatter
)
(
instance
?SAND
Sand
)
(
instance
?A2
LandArea
)
(
destination
?TRANSLOCATE ?A2)
(
not
(
overlapsSpatially
?A1 ?A2)))))
Weather.kif 1275-1296
Processus
est une
instance
de
DustStorm
processus
est une
instance
de
Wind
processus
est un
sous
-processus de
processus
transf�re
objet
,
objet
,
objet
,
objet
and
nombre r�el
objet
est une
instance
de
zone de terre
eventLocated
processus
and
objet
surfaceWindSpeed
objet
and
nombre r�el
KnotUnitOfSpeed
(s)
nombre r�el
est
plus
grand
que 30.0
transf�re
est une
instance
de
Translocation
transf�re
est un
sous
-processus de
processus
objectTransferred
transf�re
and
objet
objectTransferred
transf�re
and
objet
objet
est une
instance
de
ParticulateMatter
objet
est une
instance
de
Sand
objet
est une
instance
de
zone de terre
transf�re
aboutit
�
objet
objet
ne
recouvre
%n{pas}
objet
(=>
(
and
(
instance
?HA
HeartAttack
)
(
instance
?H
Heart
)
(
located
?HA ?H))
(
exists
(?M)
(
and
(
instance
?M
Muscle
)
(
part
?M ?H)
(
not
(
exists
(?BF ?B)
(
and
(
instance
?BF
LiquidMotion
)
(
objectTransferred
?BF ?B)
(
instance
?B
Blood
)
(
during
?BF
(
WhenFn
?HA))
(
destination
?BF ?M)))))))
Mid-level-ontology.kif 11340-11357
Physique
est une
instance
de
HeartAttack
objet
est une
instance
de
Heart
physique
est
situ
� �
objet
objet
objet
est une
instance
de
muscle
objet
est une
partie
de
objet
interval temporel
objet
interval temporel
est une
instance
de
LiquidMotion
objectTransferred
interval temporel
and
objet
objet
est une
instance
de
sang
interval temporel
prend place
pendant
temps
d'existence de
physique
interval temporel
aboutit
�
objet
(=>
(
and
(
instance
?HA
Stroke
)
(
instance
?H
Brain
)
(
located
?HA ?H))
(
exists
(?M)
(
and
(
instance
?M
NerveCell
)
(
part
?M ?H)
(
not
(
exists
(?BF ?B)
(
and
(
instance
?BF
LiquidMotion
)
(
objectTransferred
?BF ?B)
(
instance
?B
Blood
)
(
during
?BF
(
WhenFn
?HA))
(
destination
?BF ?M)))))))
Mid-level-ontology.kif 11887-11904
Physique
est une
instance
de
Stroke
objet
est une
instance
de
Brain
physique
est
situ
� �
objet
objet
objet
est une
instance
de
NerveCell
objet
est une
partie
de
objet
interval temporel
objet
interval temporel
est une
instance
de
LiquidMotion
objectTransferred
interval temporel
and
objet
objet
est une
instance
de
sang
interval temporel
prend place
pendant
temps
d'existence de
physique
interval temporel
aboutit
�
objet
(=>
(
and
(
instance
?LECS
AirEngineCoolingSystem
)
(
instance
?C
Cooling
)
(
instrument
?C ?LECS))
(
exists
(?A)
(
and
(
instance
?A
Air
)
(
objectTransferred
?C ?A))))
Cars.kif 2182-2190
Objet
est une
instance
de
AirEngineCoolingSystem
transf�re
est une
instance
de
refroidir
objet
est un
instrument
pour
transf�re
objet
objet
est une
instance
de
Air
objectTransferred
transf�re
and
objet
(=>
(
and
(
instance
?LECS
LiquidEngineCoolingSystem
)
(
instance
?C
Cooling
)
(
instrument
?C ?LECS))
(
exists
(?L)
(
and
(
attribute
?L
Liquid
)
(
objectTransferred
?C ?L))))
Cars.kif 2166-2174
Objet
est une
instance
de
LiquidEngineCoolingSystem
transf�re
est une
instance
de
refroidir
objet
est un
instrument
pour
transf�re
objet
Liquid
est un
attribut
de
objet
objectTransferred
transf�re
and
objet
(=>
(
and
(
instance
?P
Prescription
)
(
instance
?M
Medicine
)
(
refers
?P ?M))
(
exists
(?PHARM ?S)
(
and
(
instance
?S
Selling
)
(
objectTransferred
?S ?M)
(
agent
?S ?PHARM)
(
attribute
?S
Pharmacist
))))
Mid-level-ontology.kif 9250-9260
Entit�
est une
instance
de
Prescription
objet
est une
instance
de
Medicine
entit�
inclut une
r
�f�rence �
objet
entit�
HARM
transf�re
transf�re
est une
instance
de
vendre
objectTransferred
transf�re
and
objet
transf�re
est un
agent
de
entit�
HARM
Pharmacist
est un
attribut
de
transf�re
(=>
(
and
(
instance
?S
Speaking
)
(
instance
?J
Jaw
)
(
agent
?S ?H)
(
part
?J ?H))
(
modalAttribute
(
exists
(?M)
(
and
(
instance
?M
BodyMotion
)
(
objectTransferred
?M ?J)
(
during
(
WhenFn
?M)
(
WhenFn
?S))))
Likely
))
Anatomy.kif 1664-1676
Processus
est une
instance
de
Speaking
objet
est une
instance
de
Jaw
processus
est un
agent
de
AutonomousAgent
objet
est une
partie
de
AutonomousAgent
l'argument
entit�
entit�
est une
instance
de
mouvement du corps
objectTransferred
entit�
and
objet
temps
d'existence de
entit�
prend place
pendant
temps
d'existence de
processus
a la
force
modale
de
Likely
(=>
(
and
(
instance
?S
Swallowing
)
(
agent
?S ?H))
(
exists
(?M ?E ?ST ?O)
(
and
(
instance
?M
Mouth
)
(
instance
?E
Esophagus
)
(
instance
?ST
Stomach
)
(
objectTransferred
?S ?O)
(
origin
?S ?M)
(
destination
?S ?ST)
(
path
?S ?E))))
Mid-level-ontology.kif 6567-6579
Transf�re
est une
instance
de
Swallowing
transf�re
est un
agent
de
AutonomousAgent
objet
objet
,
transf�re
T and
objet
objet
est une
instance
de
Mouth
objet
est une
instance
de
Esophagus
transf�re
T est une
instance
de
Stomach
objectTransferred
transf�re
and
objet
transf�re
a pour
origine
objet
transf�re
aboutit
�
transf�re
T
objet
est le
chemin
le long duquel
transf�re
se produit
(=>
(
and
(
instance
?SPIT
Drooling
)
(
experiencer
?SPIT ?ANIMAL))
(
exists
(?MOUTH ?S)
(
and
(
instance
?MOUTH
Mouth
)
(
objectTransferred
?SPIT ?S)
(
instance
?S
Saliva
)
(
part
?MOUTH ?ANIMAL)
(
origin
?SPIT ?MOUTH))))
Mid-level-ontology.kif 6539-6549
Transf�re
est une
instance
de
Drooling
AutonomousAgent
exp
�rimente
transf�re
objet
objet
objet
est une
instance
de
Mouth
objectTransferred
transf�re
and
objet
objet
est une
instance
de
Saliva
objet
est une
partie
de
AutonomousAgent
transf�re
a pour
origine
objet
(=>
(
and
(
instance
?SU
SoftwareUpgrading
)
(
patient
?SU ?C)
(
instance
?C
Computer
))
(
exists
(?P)
(
and
(
objectTransferred
?SU ?P)
(
instance
?P
ComputerProgram
)
(
holdsDuring
(
BeginFn
(
WhenFn
?SU)
(
softwareVersion
?P
PreviousVersion
)))
(
holdsDuring
(
EndFn
(
WhenFn
?SU)
(
softwareVersion
?P
CurrentVersion
))))))
ComputingBrands.kif 3826-3840
Transf�re
est une
instance
de
SoftwareUpgrading
entit�
est un
patient
de
transf�re
entit�
est une
instance
de
Computer
objet
objectTransferred
transf�re
and
objet
objet
est une
instance
de
programme d'ordinateur
pendant
le
d
�but de
temps
d'existence de
transf�re
pendant
la
fin
de
temps
d'existence de
transf�re
(=>
(
and
(
instance
?T
Thoracentesis
)
(
patient
?T ?H))
(
exists
(?I ?O ?IN ?L ?C ?F)
(
and
(
instance
?I
Inserting
)
(
subProcess
?I ?T)
(
objectTransferred
?I ?N)
(
origin
?I ?O)
(
destination
?I ?IN)
(
instance
?N
Needle
)
(
attribute
?F
Fluid
)
(
objectTransferred
?T ?F)
(
destination
?F ?O)
(
instance
?L
Lung
)
(
instance
?C
Chest
)
(
part
?L ?H)
(
part
?C ?H)
(
origin
?T ?IN)
(
destination
?T ?O)
(
between
?L ?IN ?C)
(
orientation
?O ?H
Outside
))))
Medicine.kif 895-917
Transf�re
est une
instance
de
Thoracentesis
objet
est un
patient
de
transf�re
transf�re
objet
,
transf�re
N,
objet
,
objet
and
objet
transf�re
est une
instance
de
Inserting
transf�re
est un
sous
-processus de
transf�re
objectTransferred
transf�re
and
objet
transf�re
a pour
origine
objet
transf�re
aboutit
�
transf�re
N
objet
est une
instance
de
Needle
Fluid
est un
attribut
de
objet
objectTransferred
transf�re
and
objet
objet
aboutit
�
objet
objet
est une
instance
de
Lung
objet
est une
instance
de
Chest
objet
est une
partie
de
objet
objet
est une
partie
de
objet
transf�re
a pour
origine
transf�re
N
transf�re
aboutit
�
objet
transf�re
N est
entre
objet
et
objet
objet
est
Outside
�
objet
(=>
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?O)
(
orientation
?O2 ?O
Inside
))
(
objectTransferred
?T ?O2))
Merge.kif 11322-11327
Transf�re
est une
instance
de
transf�re
objectTransferred
transf�re
and
objet
objet
2 est
Inside
�
objet
objectTransferred
transf�re
and
objet
2
(=>
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?O)
(
orientation
?O2 ?O
On
))
(
objectTransferred
?T ?O2))
Merge.kif 11329-11334
Transf�re
est une
instance
de
transf�re
objectTransferred
transf�re
and
objet
objet
2 est
On
�
objet
objectTransferred
transf�re
and
objet
2
(=>
(
and
(
property
?X
Booting
)
(
instance
?X
Computer
))
(
exists
(?CD ?OS ?DT)
(
and
(
instance
?CD
DigitalData
)
(
instance
?OS
OperatingSystem
)
(
instance
?DT
DataTransfer
)
(
during
(
WhenFn
?DT)
(
WhenFn
?X))
(
destination
?DT ?X)
(
part
?CD ?OS)
(
objectTransferred
?DT ?CD))))
ComputingBrands.kif 3217-3229
Physique
a un
attribute
Booting
physique
est une
instance
de
Computer
objet
objet
and
transf�re
objet
est une
instance
de
DigitalData
objet
est une
instance
de
OperatingSystem
transf�re
est une
instance
de
DataTransfer
temps
d'existence de
transf�re
prend place
pendant
temps
d'existence de
physique
transf�re
aboutit
�
physique
objet
est une
partie
de
objet
objectTransferred
transf�re
and
objet
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
Integer
))
(
desires
?A
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G
Collection
)
(
memberType
?G ?O)
(
memberCount
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30873-30888
shortage
agent cognitif
,
objet
,
mesure de devise
,
interval temporel
and
quantit�
quantit�
est une
instance
de
nombre entier
agent cognitif
desire
entit�
entit�
entit�
est une
instance
de
acheter
temps
d'existence de
entit�
prend place
pendant
interval temporel
objectTransferred
entit�
and
entit�
transactionAmount
entit�
and
mesure de devise
entit�
est un
agent
de
agent cognitif
entit�
est une
instance
de
collection
memberType
entit�
and
objet
memberCount
entit�
and
quantit�
agent cognitif
poss
�de
entit�
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
Integer
))
(
not
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G
Collection
)
(
memberType
?G ?O)
(
memberCount
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30840-30855
shortage
AutonomousAgent
,
objet
,
mesure de devise
,
interval temporel
and
nombre entier
nombre entier
est une
instance
de
nombre entier
transf�re
collection
transf�re
est une
instance
de
acheter
temps
d'existence de
transf�re
prend place
pendant
interval temporel
objectTransferred
transf�re
and
collection
transactionAmount
transf�re
and
mesure de devise
transf�re
est un
agent
de
AutonomousAgent
collection
est une
instance
de
collection
memberType
collection
and
objet
memberCount
collection
and
nombre entier
AutonomousAgent
poss
�de
collection
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
PhysicalQuantity
))
(
desires
?A
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G ?O)
(
measure
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30890-30904
shortage
agent cognitif
,
objet
,
mesure de devise
,
interval temporel
and
quantit�
quantit�
est une
instance
de
quantit� physique
agent cognitif
desire
entit�
entit�
entit�
est une
instance
de
acheter
temps
d'existence de
entit�
prend place
pendant
interval temporel
objectTransferred
entit�
and
entit�
transactionAmount
entit�
and
mesure de devise
entit�
est un
agent
de
agent cognitif
entit�
est une
instance
de
objet
la
mesure
de
entit�
est
quantit�
agent cognitif
poss
�de
entit�
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
PhysicalQuantity
))
(
not
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G ?O)
(
measure
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30857-30871
shortage
AutonomousAgent
,
objet
,
mesure de devise
,
interval temporel
and
quantit� physique
quantit� physique
est une
instance
de
quantit� physique
transf�re
objet
transf�re
est une
instance
de
acheter
temps
d'existence de
transf�re
prend place
pendant
interval temporel
objectTransferred
transf�re
and
objet
transactionAmount
transf�re
and
mesure de devise
transf�re
est un
agent
de
AutonomousAgent
objet
est une
instance
de
objet
la
mesure
de
objet
est
quantit� physique
AutonomousAgent
poss
�de
objet
(=>
(
and
(
suppliesBlood
?AC ?BPC)
(
instance
?A ?AC)
(
instance
?BP ?BPC))
(
hasPurpose
?A
(
exists
(?BF ?B)
(
and
(
instance
?BF
LiquidMotion
)
(
objectTransferred
?BF ?B)
(
instance
?B
Blood
)
(
destination
?BF ?BP)))))
Anatomy.kif 1947-1958
suppliesBlood
Artery
and
partie du corps
physique
est une
instance
de
Artery
entit�
est une
instance
de
partie du corps
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
LiquidMotion
objectTransferred
entit�
and
entit�
entit�
est une
instance
de
sang
entit�
aboutit
�
entit�
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
hasPurpose
IBookstore
(
exists
(?D)
(
and
(
instance
?D
DownloadingOverNetwork
)
(
instrument
?D
IBookstore
)
(
instance
?T
Text
)
(
objectTransferred
?D ?T))))
ComputingBrands.kif 3309-3315
IBookstore
a pour
but
?D ?D est une
instance
de
DownloadingOverNetwork
IBookstore
est un
instrument
pour ?D ?T est une
instance
de
texte
objectTransferred
?D and ?T
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