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
IschiocavernosusMuscle
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 11335-11337
(
domain
objectTransferred
1
Transfer
)
Merge.kif 11332-11332
Il numero 1 argomenti di
objectTransferred
è un
istanza
di
Trasferimento
(
domain
objectTransferred
2
Object
)
Merge.kif 11333-11333
Il numero 2 argomenti di
objectTransferred
è un
istanza
di
Oggetto
(
instance
objectTransferred
CaseRole
)
Merge.kif 11330-11330
objectTransferred
è un'
istanza
di
RuoloSemantico
(
subrelation
objectTransferred
patient
)
Merge.kif 11331-11331
objectTransferred
è una
sottorelazione
di
patient
appearance as argument number 2
(
format
EnglishLanguage
objectTransferred
"the object transferred in %1 is %n %2")
Merge.kif 11334-11334
(
subrelation
passenger
objectTransferred
)
Mid-level-ontology.kif 30761-30761
passenger
è una
sottorelazione
di
objectTransferred
(
termFormat
EnglishLanguage
objectTransferred
"object transferred")
domainEnglishFormat.kif 65887-65887
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 18679-18695
Trasferimento
è un'
istanza
di
Bequeathing
Trasferimento
è un
agente
di
AutonomousAgent
Trasferimento
fine
s in
Entit�
objectTransferred
Trasferimento
and
AutonomousAgent
ROP
Processo
Processo
è un'
istanza
di
Morte
AutonomousAgent
esperisce
s
Processo
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Trasferimento
AutonomousAgent
possiede
es
AutonomousAgent
ROP vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
confersNorm
AutonomousAgent
,
Entit�
possiede
es
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
Trasferimento
è un'
istanza
di
BreakthroughInfection
objectTransferred
Trasferimento
and
Oggetto
Oggetto
è un'
istanza
di
Oggetto
C
AutonomousAgent
esperisce
s
Trasferimento
Oggetto
AX
Oggetto
AX è un'
istanza
di
Vaccination
AutonomousAgent
esperisce
s
Oggetto
AX
vaccine
Oggetto
ACCINECLASS and
Oggetto
C
Oggetto
ACCINE è un'
istanza
di
Oggetto
ACCINECLASS
objectTransferred
Oggetto
AX and
Oggetto
ACCINE il
tempo
di esistenza di
Oggetto
AX accades
prima
di il
tempo
di esistenza di
Trasferimento
(=>
(
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
OggettoCorpuscolare
è un'
istanza
di
Exhaust
Fuel
è
fatto
di
OggettoCorpuscolare
Trasferimento
è un'
istanza
di
Trasferimento
OggettoCorpuscolare
NG è un'
istanza
di
Engine
Trasferimento
si
originas in
OggettoCorpuscolare
NG
Entit�Concreta
è un'
istanza
di
CatalyticConverter
Trasferimento
fine
s in
Entit�Concreta
objectTransferred
Trasferimento
and
OggettoCorpuscolare
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
Combustione
Entit�Concreta
è uno
strumento
per
Entit�
OggettoCorpuscolare
è un
paziente
di
Entit�
eventLocated
Entit�
and
Entit�Concreta
(=>
(
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
Oggetto
è un'
istanza
di
Electromagnet
Trasferimento
è un'
istanza
di
Trasferimento
Oggetto
è un'
istanza
di
Electricity
objectTransferred
Trasferimento
and
Oggetto
Oggetto
è
cammino
mentre
Trasferimento
si verifica
Processo
Processo
è un'
istanza
di
Magnetism
Oggetto
è uno
strumento
per
Processo
(=>
(
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�
è un'
istanza
di
Electromagnet
Entit�
Entit�
Entit�
è un'
istanza
di
Trasferimento
Entit�
è un'
istanza
di
Electricity
objectTransferred
Entit�
and
Entit�
Entit�
è
cammino
mentre
Entit�
si verifica non vale
durante
Entit�
1
Entit�
Entit�
è un'
istanza
di
Magnetism
Entit�
è uno
strumento
per
Entit�
non vale
durante
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
Trasferimento
è un'
istanza
di
Ingestione
AutonomousAgent
esperisce
s
Trasferimento
objectTransferred
Trasferimento
and
Oggetto
Oggetto
è un'
istanza
di
Oggetto
C
pathologicSideEffect
Oggetto
C and
Oggetto
IS
l'affermazione
Entit�
Entit�
è un'
istanza
di
Oggetto
IS
Entit�
esperisce
s
AutonomousAgent
ha il modello di forza di
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
Trasferimento
è un'
istanza
di
Ingestione
AutonomousAgent
esperisce
s
Trasferimento
objectTransferred
Trasferimento
and
Oggetto
Oggetto
è un'
istanza
di
Oggetto
C
sideEffect
Oggetto
C and
Oggetto
IS
l'affermazione
attribute
AutonomousAgent
and
Oggetto
IS ha il modello di forza di
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 9774-9795
Trasferimento
è un'
istanza
di
Ingestione
AutonomousAgent
esperisce
s
Trasferimento
objectTransferred
Trasferimento
and
Oggetto
Oggetto
è un'
istanza
di
MoodStabilizer
Processo
è un'
istanza
di
Processo
C
involvedInEvent
Processo
and
AutonomousAgent
attribute
AutonomousAgent
and
Processo
S vales
durante
il
tempo
di esistenza di
Processo
Processo
S è un'
istanza
di
StatoEmotivo
Processo
2 è un'
istanza
di
Processo
C
involvedInEvent
Processo
2 and
AutonomousAgent
il
tempo
di esistenza di
Processo
2 accades
prima
di il
tempo
di esistenza di
Trasferimento
l'affermazione
attribute
AutonomousAgent
and
Processo
S non vale
durante
Processo
2 ha il modello di forza di
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
Trasferimento
è un'
istanza
di
Ingestione
objectTransferred
Trasferimento
and
Oggetto
Oggetto
è un'
istanza
di
Hallucinogen
Trasferimento
fine
s in
Entit�
l'affermazione
Oggetto
AL
Oggetto
AL è un'
istanza
di
Hallucination
Entit�
esperisce
s
Oggetto
AL ha il modello di forza di
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
Trasferimento
è un'
istanza
di
Injecting
Oggetto
è un'
istanza
di
Adalimumab
objectTransferred
Trasferimento
and
Oggetto
Trasferimento
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
ParteDelCorpo
Trasferimento
fine
s in
Entit�
l'affermazione
Entit�
attribute
Entit�
and
PainFn
Oggetto
vales
durante
Entit�
Entit�
has luogo
durante
dopo
il
tempo
di esistenza di
Trasferimento
ha il modello di forza di
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
Trasferimento
è un'
istanza
di
Intubation
Oggetto
è un'
istanza
di
Tube
objectTransferred
Trasferimento
and
Oggetto
AutonomousAgent
esperisce
s
Trasferimento
Oggetto
H
Oggetto
H è un'
istanza
di
Trachea
Oggetto
H è una
parte
di
AutonomousAgent
Trasferimento
fine
s in
Oggetto
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
Trasferimento
è un'
istanza
di
Intubation
Oggetto
è un'
istanza
di
Tube
objectTransferred
Trasferimento
and
Oggetto
AutonomousAgent
esperisce
s
Trasferimento
Trasferimento
ha
scopo
Entit�
Entit�
è un'
istanza
di
Respirazione
Oggetto
è uno
strumento
per
Entit�
(=>
(
and
(
instance
?M
MoveToEvac
)
(
objectTransferred
?M ?P))
(
hasPurpose
?M
(
exists
(?E)
(
and
(
instance
?E
Evacuation
)
(
objectTransferred
?E ?P)
(
earlier
(
WhenFn
?M)
(
WhenFn
?E))))))
Medicine.kif 6532-6543
Trasferimento
è un'
istanza
di
MoveToEvac
objectTransferred
Trasferimento
and
Oggetto
Trasferimento
ha
scopo
Entit�
Entit�
è un'
istanza
di
Evacuation
objectTransferred
Entit�
and
Oggetto
il
tempo
di esistenza di
Trasferimento
accades
prima
di il
tempo
di esistenza di
Entit�
(=>
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?O)
(
orientation
?O2 ?O
Inside
))
(
objectTransferred
?T ?O2))
Merge.kif 11352-11357
Trasferimento
è un'
istanza
di
Trasferimento
objectTransferred
Trasferimento
and
Oggetto
Oggetto
2 è
Inside
a
Oggetto
objectTransferred
Trasferimento
and
Oggetto
2
(=>
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?O)
(
orientation
?O2 ?O
On
))
(
objectTransferred
?T ?O2))
Merge.kif 11359-11364
Trasferimento
è un'
istanza
di
Trasferimento
objectTransferred
Trasferimento
and
Oggetto
Oggetto
2 è
On
a
Oggetto
objectTransferred
Trasferimento
and
Oggetto
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 1986-1995
Trasferimento
è un'
istanza
di
Vending
objectTransferred
Trasferimento
and
Oggetto
Oggetto
è un'
istanza
di
Currency
l'affermazione
Oggetto
è un'
istanza
di
FoodForFn
Umano
Oggetto
è un'
istanza
di
Bevanda
ha il modello di forza di
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
Oggetto
è un'
istanza
di
VentedChestSeal
Trasferimento
è un'
istanza
di
Attaccare
objectTransferred
Trasferimento
and
Oggetto
Trasferimento
fine
s in
Entit�
Oggetto
ha
scopo
Trasferimento
Entit�
,
Entit�
and
Entit�
Trasferimento
è un'
istanza
di
Air
Entit�
è un'
istanza
di
Lung
Entit�
è un'
istanza
di
Chest
Entit�
è una
parte
di
Entit�
Entit�
è una
parte
di
Entit�
Trasferimento
è
tra
Entit�
e
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Trasferimento
Oggetto
ha
scopo
Trasferimento
è
Outside
a
Entit�
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Trasferimento
(=>
(
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
Trasferimento
è un'
istanza
di
Vaccination
AutonomousAgent
esperisce
s
Trasferimento
Vaccine
I è un'
istanza
di
Vaccine
objectTransferred
Trasferimento
and
Vaccine
I
Vaccine
I ha
scopo
Entit�
Virus
I
Entit�
è un'
istanza
di
Infecting
AutonomousAgent
esperisce
s
Entit�
Virus
I è un'
istanza
di
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 11339-11350
objectTransferred
Trasferimento
and
Oggetto
Oggetto
Entit�
Trasferimento
si
originas in
Oggetto
Trasferimento
fine
s in
Entit�
Oggetto
è
localizzato
in
Oggetto
vales
durante
immediatamente
prima
di
Trasferimento
Oggetto
è
localizzato
in
Entit�
vales
durante
immediatamente
dopo
Trasferimento
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 2162-2175
AutonomousAgent
è un'
istanza
di
Animale
Attributo
è un'
istanza
di
MalattiaOSindrome
attribute
AutonomousAgent
and
Attributo
Trasferimento
Oggetto
Trasferimento
è un'
istanza
di
ProcesoBiologico
Trasferimento
è un'
istanza
di
Spostamento
Trasferimento
si
originas in
AutonomousAgent
Oggetto
è un'
istanza
di
Sewage
Trasferimento
è un
agente
di
AutonomousAgent
objectTransferred
Trasferimento
and
Oggetto
(=>
(
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
OggettoIntegro
è un'
istanza
di
AutomobileShock
Processo
è un'
istanza
di
Compressing
apertura
è un'
istanza
di
apertura
attribute
Oggetto
and
Fluid
OggettoIntegro
is
uguale
a
HoleHostFn
apertura
contains
OggettoIntegro
and
Oggetto
OggettoIntegro
è un
paziente
di
Processo
Trasferimento
Trasferimento
è un'
istanza
di
Trasferimento
objectTransferred
Trasferimento
and
Oggetto
apertura
è
cammino
mentre
Trasferimento
si verifica
Processo
causa
s
Trasferimento
(=>
(
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
Trasferimento
è un'
istanza
di
BreakthroughInfection
objectTransferred
Trasferimento
and
Oggetto
Oggetto
è un'
istanza
di
Oggetto
C
AutonomousAgent
esperisce
s
Trasferimento
Oggetto
AX
Oggetto
AX è un'
istanza
di
Vaccination
AutonomousAgent
esperisce
s
Oggetto
AX
vaccine
Oggetto
ACCINECLASS and
Oggetto
C
Oggetto
ACCINE è un'
istanza
di
Oggetto
ACCINECLASS
objectTransferred
Oggetto
AX and
Oggetto
ACCINE il
tempo
di esistenza di
Oggetto
AX accades
prima
di il
tempo
di esistenza di
Trasferimento
(=>
(
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 6056-6075
Processo
è un'
istanza
di
Coughing
AutonomousAgent
esperisce
s
Processo
Processo
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Lung
Entit�
è un'
istanza
di
Throat
Entit�
è un'
istanza
di
Oggetto
Entit�
è un'
istanza
di
Spostamento
Entit�
è una
parte
di
AutonomousAgent
Entit�
è una
parte
di
AutonomousAgent
objectTransferred
Entit�
and
Entit�
Entit�
è
localizzato
in
Entit�
Entit�
è
localizzato
in
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
(=>
(
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
Trasferimento
è un'
istanza
di
Crying
AutonomousAgent
esperisce
s
Trasferimento
Oggetto
Oggetto
Oggetto
è un'
istanza
di
TearSubstance
Trasferimento
si
originas in
Oggetto
objectTransferred
Trasferimento
and
Oggetto
Oggetto
è un'
istanza
di
Eye
Oggetto
è una
parte
di
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 6122-6140
Processo
è un'
istanza
di
Sneezing
AutonomousAgent
esperisce
s
Processo
Processo
ha
scopo
Entit�
Entit�
,
Entit�
OSE and
Entit�
Entit�
è un'
istanza
di
NasalCavity
Entit�
OSE è un'
istanza
di
Nose
Entit�
OSE is
uguale
a
HoleHostFn
Entit�
Entit�
è un'
istanza
di
Oggetto
Entit�
è un'
istanza
di
Spostamento
Entit�
OSE è una
parte
di
AutonomousAgent
objectTransferred
Entit�
and
Entit�
Entit�
è
localizzato
in
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
(=>
(
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
Processo
è un'
istanza
di
DustStorm
Processo
è un'
istanza
di
Wind
Processo
è un
sottoprocesso
di
Processo
Trasferimento
Oggetto
,
Oggetto
,
Oggetto
,
Oggetto
and
NumeroReale
Oggetto
è un'
istanza
di
SuperficieTerrestre
eventLocated
Processo
and
Oggetto
surfaceWindSpeed
Oggetto
and
NumeroReale
KnotUnitOfSpeed
(s
NumeroReale
è
pi
ù grande di 30.0
Trasferimento
è un'
istanza
di
Translocation
Trasferimento
è un
sottoprocesso
di
Processo
objectTransferred
Trasferimento
and
Oggetto
objectTransferred
Trasferimento
and
Oggetto
Oggetto
è un'
istanza
di
ParticulateMatter
Oggetto
è un'
istanza
di
Sand
Oggetto
è un'
istanza
di
SuperficieTerrestre
Trasferimento
fine
s in
Oggetto
Oggetto
non
si
sovrappone a
Oggetto
(=>
(
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 11368-11385
Entit�Concreta
è un'
istanza
di
HeartAttack
Oggetto
è un'
istanza
di
Heart
Entit�Concreta
è
localizzato
in
Oggetto
Oggetto
Oggetto
è un'
istanza
di
Muscolo
Oggetto
è una
parte
di
Oggetto
IntervalloTemporale
Oggetto
IntervalloTemporale
è un'
istanza
di
LiquidMotion
objectTransferred
IntervalloTemporale
and
Oggetto
Oggetto
è un'
istanza
di
Sangue
IntervalloTemporale
has luogo
durante
il
tempo
di esistenza di
Entit�Concreta
IntervalloTemporale
fine
s in
Oggetto
(=>
(
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 11915-11932
Entit�Concreta
è un'
istanza
di
Stroke
Oggetto
è un'
istanza
di
Brain
Entit�Concreta
è
localizzato
in
Oggetto
Oggetto
Oggetto
è un'
istanza
di
NerveCell
Oggetto
è una
parte
di
Oggetto
IntervalloTemporale
Oggetto
IntervalloTemporale
è un'
istanza
di
LiquidMotion
objectTransferred
IntervalloTemporale
and
Oggetto
Oggetto
è un'
istanza
di
Sangue
IntervalloTemporale
has luogo
durante
il
tempo
di esistenza di
Entit�Concreta
IntervalloTemporale
fine
s in
Oggetto
(=>
(
and
(
instance
?LECS
AirEngineCoolingSystem
)
(
instance
?C
Cooling
)
(
instrument
?C ?LECS))
(
exists
(?A)
(
and
(
instance
?A
Air
)
(
objectTransferred
?C ?A))))
Cars.kif 2182-2190
Oggetto
è un'
istanza
di
AirEngineCoolingSystem
Trasferimento
è un'
istanza
di
Raffreddamento
Oggetto
è uno
strumento
per
Trasferimento
Oggetto
Oggetto
è un'
istanza
di
Air
objectTransferred
Trasferimento
and
Oggetto
(=>
(
and
(
instance
?LECS
LiquidEngineCoolingSystem
)
(
instance
?C
Cooling
)
(
instrument
?C ?LECS))
(
exists
(?L)
(
and
(
attribute
?L
Liquid
)
(
objectTransferred
?C ?L))))
Cars.kif 2166-2174
Oggetto
è un'
istanza
di
LiquidEngineCoolingSystem
Trasferimento
è un'
istanza
di
Raffreddamento
Oggetto
è uno
strumento
per
Trasferimento
Oggetto
attribute
Oggetto
and
Liquid
objectTransferred
Trasferimento
and
Oggetto
(=>
(
and
(
instance
?M
MoveToEvac
)
(
objectTransferred
?M ?P))
(
hasPurpose
?M
(
exists
(?E)
(
and
(
instance
?E
Evacuation
)
(
objectTransferred
?E ?P)
(
earlier
(
WhenFn
?M)
(
WhenFn
?E))))))
Medicine.kif 6532-6543
Trasferimento
è un'
istanza
di
MoveToEvac
objectTransferred
Trasferimento
and
Oggetto
Trasferimento
ha
scopo
Entit�
Entit�
è un'
istanza
di
Evacuation
objectTransferred
Entit�
and
Oggetto
il
tempo
di esistenza di
Trasferimento
accades
prima
di il
tempo
di esistenza di
Entit�
(=>
(
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 9278-9288
Entit�
è un'
istanza
di
Prescription
Oggetto
è un'
istanza
di
Medicine
Entit�
include un
riferimento
a
Oggetto
Entit�
HARM
Trasferimento
Trasferimento
è un'
istanza
di
Vendere
objectTransferred
Trasferimento
and
Oggetto
Trasferimento
è un
agente
di
Entit�
HARM
attribute
Trasferimento
and
Pharmacist
(=>
(
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
Processo
è un'
istanza
di
Speaking
Oggetto
è un'
istanza
di
Jaw
Processo
è un
agente
di
AutonomousAgent
Oggetto
è una
parte
di
AutonomousAgent
l'affermazione
Entit�
Entit�
è un'
istanza
di
MovimentoCorporeo
objectTransferred
Entit�
and
Oggetto
il
tempo
di esistenza di
Entit�
has luogo
durante
il
tempo
di esistenza di
Processo
ha il modello di forza di
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 6595-6607
Trasferimento
è un'
istanza
di
Swallowing
Trasferimento
è un
agente
di
AutonomousAgent
Oggetto
Oggetto
,
Trasferimento
T and
Oggetto
Oggetto
è un'
istanza
di
Mouth
Oggetto
è un'
istanza
di
Esophagus
Trasferimento
T è un'
istanza
di
Stomach
objectTransferred
Trasferimento
and
Oggetto
Trasferimento
si
originas in
Oggetto
Trasferimento
fine
s in
Trasferimento
T
Oggetto
è
cammino
mentre
Trasferimento
si verifica
(=>
(
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 6567-6577
Trasferimento
è un'
istanza
di
Drooling
AutonomousAgent
esperisce
s
Trasferimento
Oggetto
Oggetto
Oggetto
è un'
istanza
di
Mouth
objectTransferred
Trasferimento
and
Oggetto
Oggetto
è un'
istanza
di
Saliva
Oggetto
è una
parte
di
AutonomousAgent
Trasferimento
si
originas in
Oggetto
(=>
(
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
Trasferimento
è un'
istanza
di
SoftwareUpgrading
Entit�
è un
paziente
di
Trasferimento
Entit�
è un'
istanza
di
Computer
Oggetto
objectTransferred
Trasferimento
and
Oggetto
Oggetto
è un'
istanza
di
ProgrammaDiComputer
vales
durante
l'
inizio
di il
tempo
di esistenza di
Trasferimento
vales
durante
la
fine
di il
tempo
di esistenza di
Trasferimento
(=>
(
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
Trasferimento
è un'
istanza
di
Thoracentesis
Oggetto
è un
paziente
di
Trasferimento
Trasferimento
Oggetto
,
Trasferimento
N,
Oggetto
,
Oggetto
and
Oggetto
Trasferimento
è un'
istanza
di
Inserting
Trasferimento
è un
sottoprocesso
di
Trasferimento
objectTransferred
Trasferimento
and
Oggetto
Trasferimento
si
originas in
Oggetto
Trasferimento
fine
s in
Trasferimento
N
Oggetto
è un'
istanza
di
Needle
attribute
Oggetto
and
Fluid
objectTransferred
Trasferimento
and
Oggetto
Oggetto
fine
s in
Oggetto
Oggetto
è un'
istanza
di
Lung
Oggetto
è un'
istanza
di
Chest
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Trasferimento
si
originas in
Trasferimento
N
Trasferimento
fine
s in
Oggetto
Trasferimento
N è
tra
Oggetto
e
Oggetto
Oggetto
è
Outside
a
Oggetto
(=>
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?O)
(
orientation
?O2 ?O
Inside
))
(
objectTransferred
?T ?O2))
Merge.kif 11352-11357
Trasferimento
è un'
istanza
di
Trasferimento
objectTransferred
Trasferimento
and
Oggetto
Oggetto
2 è
Inside
a
Oggetto
objectTransferred
Trasferimento
and
Oggetto
2
(=>
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?O)
(
orientation
?O2 ?O
On
))
(
objectTransferred
?T ?O2))
Merge.kif 11359-11364
Trasferimento
è un'
istanza
di
Trasferimento
objectTransferred
Trasferimento
and
Oggetto
Oggetto
2 è
On
a
Oggetto
objectTransferred
Trasferimento
and
Oggetto
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
Entit�Concreta
ha un
attributo
Booting
Entit�Concreta
è un'
istanza
di
Computer
Oggetto
Oggetto
and
Trasferimento
Oggetto
è un'
istanza
di
DigitalData
Oggetto
è un'
istanza
di
OperatingSystem
Trasferimento
è un'
istanza
di
DataTransfer
il
tempo
di esistenza di
Trasferimento
has luogo
durante
il
tempo
di esistenza di
Entit�Concreta
Trasferimento
fine
s in
Entit�Concreta
Oggetto
è una
parte
di
Oggetto
objectTransferred
Trasferimento
and
Oggetto
(=>
(
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 30956-30971
shortage
AgenteCognitivo
,
Oggetto
,
MisuraMonetaria
,
IntervalloTemporale
and
Quantit�
Quantit�
è un'
istanza
di
NumeroIntero
AgenteCognitivo
desidera
s
Entit�
Entit�
Entit�
è un'
istanza
di
Acquistare
il
tempo
di esistenza di
Entit�
has luogo
durante
IntervalloTemporale
objectTransferred
Entit�
and
Entit�
transactionAmount
Entit�
and
MisuraMonetaria
Entit�
è un
agente
di
AgenteCognitivo
Entit�
è un'
istanza
di
InsiemeConcreto
memberType
Entit�
and
Oggetto
memberCount
Entit�
and
Quantit�
AgenteCognitivo
possiede
es
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 30923-30938
shortage
AutonomousAgent
,
Oggetto
,
MisuraMonetaria
,
IntervalloTemporale
and
NumeroIntero
NumeroIntero
è un'
istanza
di
NumeroIntero
Trasferimento
InsiemeConcreto
Trasferimento
è un'
istanza
di
Acquistare
il
tempo
di esistenza di
Trasferimento
has luogo
durante
IntervalloTemporale
objectTransferred
Trasferimento
and
InsiemeConcreto
transactionAmount
Trasferimento
and
MisuraMonetaria
Trasferimento
è un
agente
di
AutonomousAgent
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
memberType
InsiemeConcreto
and
Oggetto
memberCount
InsiemeConcreto
and
NumeroIntero
AutonomousAgent
possiede
es
InsiemeConcreto
(=>
(
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 30973-30987
shortage
AgenteCognitivo
,
Oggetto
,
MisuraMonetaria
,
IntervalloTemporale
and
Quantit�
Quantit�
è un'
istanza
di
Quantit�Fisica
AgenteCognitivo
desidera
s
Entit�
Entit�
Entit�
è un'
istanza
di
Acquistare
il
tempo
di esistenza di
Entit�
has luogo
durante
IntervalloTemporale
objectTransferred
Entit�
and
Entit�
transactionAmount
Entit�
and
MisuraMonetaria
Entit�
è un
agente
di
AgenteCognitivo
Entit�
è un'
istanza
di
Oggetto
la
misura
Entit�
è
Quantit�
AgenteCognitivo
possiede
es
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 30940-30954
shortage
AutonomousAgent
,
Oggetto
,
MisuraMonetaria
,
IntervalloTemporale
and
Quantit�Fisica
Quantit�Fisica
è un'
istanza
di
Quantit�Fisica
Trasferimento
Oggetto
Trasferimento
è un'
istanza
di
Acquistare
il
tempo
di esistenza di
Trasferimento
has luogo
durante
IntervalloTemporale
objectTransferred
Trasferimento
and
Oggetto
transactionAmount
Trasferimento
and
MisuraMonetaria
Trasferimento
è un
agente
di
AutonomousAgent
Oggetto
è un'
istanza
di
Oggetto
la
misura
Oggetto
è
Quantit�Fisica
AutonomousAgent
possiede
es
Oggetto
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
ha
scopo
?D ?D è un'
istanza
di
DownloadingOverNetwork
IBookstore
è uno
strumento
per ?D ?T è un'
istanza
di
Testo
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