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 11335-11337
(
domain
objectTransferred
1
Transfer
)
Merge.kif 11332-11332
O argumento numero 1 de
objectTransferred
e' uma
instancia
de
Transferencia
(
domain
objectTransferred
2
Object
)
Merge.kif 11333-11333
O argumento numero 2 de
objectTransferred
e' uma
instancia
de
Objeto
(
instance
objectTransferred
CaseRole
)
Merge.kif 11330-11330
objectTransferred
e' uma
instancia
de
Role em Caso
(
subrelation
objectTransferred
patient
)
Merge.kif 11331-11331
objectTransferred
e' uma
sub
-relacao de
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
e' uma
sub
-relacao de
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
Transferencia
e' uma
instancia
de
Bequeathing
Transferencia
e' um
agente
de
AutonomousAgent
Transferencia
termina
em
Entidade
objectTransferred
Transferencia
and
AutonomousAgent
ROP
Processo
Processo
e' uma
instancia
de
Morte
AutonomousAgent
experimenta
Processo
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Transferencia
AutonomousAgent
possui
AutonomousAgent
ROP
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
confersNorm
AutonomousAgent
,
Entidade
possui
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
Transferencia
e' uma
instancia
de
BreakthroughInfection
objectTransferred
Transferencia
and
Objeto
Objeto
e' uma
instancia
de
Objeto
C
AutonomousAgent
experimenta
Transferencia
Objeto
AX
Objeto
AX e' uma
instancia
de
Vaccination
AutonomousAgent
experimenta
Objeto
AX
vaccine
Objeto
ACCINECLASS and
Objeto
C
Objeto
ACCINE e' uma
instancia
de
Objeto
ACCINECLASS
objectTransferred
Objeto
AX and
Objeto
ACCINE
tempo
de existencia de
Objeto
AX acontence
antes
de
tempo
de existencia de
Transferencia
(=>
(
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
Objeto Corpuscular
e' uma
instancia
de
Exhaust
Fuel
e'
feito
de
Objeto Corpuscular
Transferencia
e' uma
instancia
de
Transferencia
Objeto Corpuscular
NG e' uma
instancia
de
Engine
Transferencia
tem como
origem
Objeto Corpuscular
NG
Fisico
e' uma
instancia
de
CatalyticConverter
Transferencia
termina
em
Fisico
objectTransferred
Transferencia
and
Objeto Corpuscular
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Combustao
Fisico
e' um
instrumento
para
Entidade
Objeto Corpuscular
e' um
patient
de
Entidade
eventLocated
Entidade
and
Fisico
(=>
(
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
Objeto
e' uma
instancia
de
Electromagnet
Transferencia
e' uma
instancia
de
Transferencia
Objeto
e' uma
instancia
de
Electricity
objectTransferred
Transferencia
and
Objeto
Objeto
e' o
caminho
ao longo do qual
Transferencia
ocorre
Processo
Processo
e' uma
instancia
de
Magnetism
Objeto
e' um
instrumento
para
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
Entidade
e' uma
instancia
de
Electromagnet
Entidade
Entidade
Entidade
e' uma
instancia
de
Transferencia
Entidade
e' uma
instancia
de
Electricity
objectTransferred
Entidade
and
Entidade
Entidade
e' o
caminho
ao longo do qual
Entidade
ocorre
vale
durante
Entidade
1
Entidade
Entidade
e' uma
instancia
de
Magnetism
Entidade
e' um
instrumento
para
Entidade
vale
durante
Entidade
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
Transferencia
e' uma
instancia
de
Ingerir
AutonomousAgent
experimenta
Transferencia
objectTransferred
Transferencia
and
Objeto
Objeto
e' uma
instancia
de
Objeto
C
pathologicSideEffect
Objeto
C and
Objeto
IS
o argumento
Entidade
Entidade
e' uma
instancia
de
Objeto
IS
Entidade
experimenta
AutonomousAgent
tem a
forca
modal
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
Transferencia
e' uma
instancia
de
Ingerir
AutonomousAgent
experimenta
Transferencia
objectTransferred
Transferencia
and
Objeto
Objeto
e' uma
instancia
de
Objeto
C
sideEffect
Objeto
C and
Objeto
IS
o argumento
Objeto
IS e' um
atributo
de
AutonomousAgent
tem a
forca
modal
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 9774-9795
Transferencia
e' uma
instancia
de
Ingerir
AutonomousAgent
experimenta
Transferencia
objectTransferred
Transferencia
and
Objeto
Objeto
e' uma
instancia
de
MoodStabilizer
Processo
e' uma
instancia
de
Processo
C
involvedInEvent
Processo
and
AutonomousAgent
Processo
S e' um
atributo
de
AutonomousAgent
vale
durante
tempo
de existencia de
Processo
Processo
S e' uma
instancia
de
Estado Emocional
Processo
2 e' uma
instancia
de
Processo
C
involvedInEvent
Processo
2 and
AutonomousAgent
tempo
de existencia de
Processo
2 acontence
antes
de
tempo
de existencia de
Transferencia
o argumento
Processo
S e' um
atributo
de
AutonomousAgent
vale
durante
Processo
2 tem a
forca
modal
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
Transferencia
e' uma
instancia
de
Ingerir
objectTransferred
Transferencia
and
Objeto
Objeto
e' uma
instancia
de
Hallucinogen
Transferencia
termina
em
Entidade
o argumento
Objeto
AL
Objeto
AL e' uma
instancia
de
Hallucination
Entidade
experimenta
Objeto
AL tem a
forca
modal
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
Transferencia
e' uma
instancia
de
Injecting
Objeto
e' uma
instancia
de
Adalimumab
objectTransferred
Transferencia
and
Objeto
Transferencia
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
Parte do Corpo
Transferencia
termina
em
Entidade
o argumento
Entidade
PainFn
Objeto
e' um
atributo
de
Entidade
vale
durante
Entidade
Entidade
acontece
durante
apos
tempo
de existencia de
Transferencia
tem a
forca
modal
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
Transferencia
e' uma
instancia
de
Intubation
Objeto
e' uma
instancia
de
Tube
objectTransferred
Transferencia
and
Objeto
AutonomousAgent
experimenta
Transferencia
Objeto
H
Objeto
H e' uma
instancia
de
Trachea
Objeto
H e' uma &parte de
AutonomousAgent
Transferencia
termina
em
Objeto
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
Transferencia
e' uma
instancia
de
Intubation
Objeto
e' uma
instancia
de
Tube
objectTransferred
Transferencia
and
Objeto
AutonomousAgent
experimenta
Transferencia
Transferencia
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Respirar
Objeto
e' um
instrumento
para
Entidade
(=>
(
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
Transferencia
e' uma
instancia
de
MoveToEvac
objectTransferred
Transferencia
and
Objeto
Transferencia
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Evacuation
objectTransferred
Entidade
and
Objeto
tempo
de existencia de
Transferencia
acontence
antes
de
tempo
de existencia de
Entidade
(=>
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?O)
(
orientation
?O2 ?O
Inside
))
(
objectTransferred
?T ?O2))
Merge.kif 11352-11357
Transferencia
e' uma
instancia
de
Transferencia
objectTransferred
Transferencia
and
Objeto
Objeto
2 e'
Inside
em relacao a
Objeto
objectTransferred
Transferencia
and
Objeto
2
(=>
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?O)
(
orientation
?O2 ?O
On
))
(
objectTransferred
?T ?O2))
Merge.kif 11359-11364
Transferencia
e' uma
instancia
de
Transferencia
objectTransferred
Transferencia
and
Objeto
Objeto
2 e'
On
em relacao a
Objeto
objectTransferred
Transferencia
and
Objeto
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
Transferencia
e' uma
instancia
de
Vending
objectTransferred
Transferencia
and
Objeto
Objeto
e' uma
instancia
de
Currency
o argumento
Objeto
e' uma
instancia
de
FoodForFn
Humano
Objeto
e' uma
instancia
de
Bebida
tem a
forca
modal
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
Objeto
e' uma
instancia
de
VentedChestSeal
Transferencia
e' uma
instancia
de
Colar
objectTransferred
Transferencia
and
Objeto
Transferencia
termina
em
Entidade
Objeto
tem por
fim
Transferencia
Entidade
,
Entidade
and
Entidade
Transferencia
e' uma
instancia
de
Air
Entidade
e' uma
instancia
de
Lung
Entidade
e' uma
instancia
de
Chest
Entidade
e' uma &parte de
Entidade
Entidade
e' uma &parte de
Entidade
Transferencia
esta'
entre
Entidade
e
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Transferencia
Objeto
tem por
fim
Transferencia
e'
Outside
em relacao a
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Transferencia
(=>
(
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
Transferencia
e' uma
instancia
de
Vaccination
AutonomousAgent
experimenta
Transferencia
Vaccine
I e' uma
instancia
de
Vaccine
objectTransferred
Transferencia
and
Vaccine
I
Vaccine
I tem por
fim
Entidade
Virus
I
Entidade
e' uma
instancia
de
Infecting
AutonomousAgent
experimenta
Entidade
Virus
I e' uma
instancia
de
Virus
objectTransferred
Entidade
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
Transferencia
and
Objeto
Objeto
Entidade
Transferencia
tem como
origem
Objeto
Transferencia
termina
em
Entidade
Objeto
e'
situado
em
Objeto
vale
durante imediatemente
antes
de
Transferencia
Objeto
e'
situado
em
Entidade
vale
durante imediatemente
apos
Transferencia
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
e' uma
instancia
de
Animal
Atributo
e' uma
instancia
de
Doenca ou Sindrome
Atributo
e' um
atributo
de
AutonomousAgent
Transferencia
Objeto
Transferencia
e' uma
instancia
de
Processo Biologico
Transferencia
e' uma
instancia
de
Remover
Transferencia
tem como
origem
AutonomousAgent
Objeto
e' uma
instancia
de
Sewage
Transferencia
e' um
agente
de
AutonomousAgent
objectTransferred
Transferencia
and
Objeto
(=>
(
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
Objeto auto-conectado
e' uma
instancia
de
AutomobileShock
Processo
e' uma
instancia
de
Compressing
Buraco
e' uma
instancia
de
Buraco
Fluid
e' um
atributo
de
Objeto
Objeto auto-conectado
e'
igual
a o
dono
do buraco
Buraco
Objeto auto-conectado
contem
Objeto
Objeto auto-conectado
e' um
patient
de
Processo
Transferencia
Transferencia
e' uma
instancia
de
Transferencia
objectTransferred
Transferencia
and
Objeto
Buraco
e' o
caminho
ao longo do qual
Transferencia
ocorre
Processo
causa
Transferencia
(=>
(
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
Transferencia
e' uma
instancia
de
BreakthroughInfection
objectTransferred
Transferencia
and
Objeto
Objeto
e' uma
instancia
de
Objeto
C
AutonomousAgent
experimenta
Transferencia
Objeto
AX
Objeto
AX e' uma
instancia
de
Vaccination
AutonomousAgent
experimenta
Objeto
AX
vaccine
Objeto
ACCINECLASS and
Objeto
C
Objeto
ACCINE e' uma
instancia
de
Objeto
ACCINECLASS
objectTransferred
Objeto
AX and
Objeto
ACCINE
tempo
de existencia de
Objeto
AX acontence
antes
de
tempo
de existencia de
Transferencia
(=>
(
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
e' uma
instancia
de
Coughing
AutonomousAgent
experimenta
Processo
Processo
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Lung
Entidade
e' uma
instancia
de
Throat
Entidade
e' uma
instancia
de
Objeto
Entidade
e' uma
instancia
de
Remover
Entidade
e' uma &parte de
AutonomousAgent
Entidade
e' uma &parte de
AutonomousAgent
objectTransferred
Entidade
and
Entidade
Entidade
e'
situado
em
Entidade
Entidade
e'
situado
em
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
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
Transferencia
e' uma
instancia
de
Crying
AutonomousAgent
experimenta
Transferencia
Objeto
Objeto
Objeto
e' uma
instancia
de
TearSubstance
Transferencia
tem como
origem
Objeto
objectTransferred
Transferencia
and
Objeto
Objeto
e' uma
instancia
de
Eye
Objeto
e' uma &parte 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 6122-6140
Processo
e' uma
instancia
de
Sneezing
AutonomousAgent
experimenta
Processo
Processo
tem por
fim
Entidade
Entidade
,
Entidade
OSE and
Entidade
Entidade
e' uma
instancia
de
NasalCavity
Entidade
OSE e' uma
instancia
de
Nose
Entidade
OSE e'
igual
a o
dono
do buraco
Entidade
Entidade
e' uma
instancia
de
Objeto
Entidade
e' uma
instancia
de
Remover
Entidade
OSE e' uma &parte de
AutonomousAgent
objectTransferred
Entidade
and
Entidade
Entidade
e'
situado
em
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
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
e' uma
instancia
de
DustStorm
Processo
e' uma
instancia
de
Wind
Processo
e' um
sub
-processo de
Processo
Transferencia
Objeto
,
Objeto
,
Objeto
,
Objeto
and
Numero Real
Objeto
e' uma
instancia
de
Area terrestre
eventLocated
Processo
and
Objeto
surfaceWindSpeed
Objeto
and
Numero Real
KnotUnitOfSpeed
(s)
Numero Real
e'
maior
que 30.0
Transferencia
e' uma
instancia
de
Translocation
Transferencia
e' um
sub
-processo de
Processo
objectTransferred
Transferencia
and
Objeto
objectTransferred
Transferencia
and
Objeto
Objeto
e' uma
instancia
de
ParticulateMatter
Objeto
e' uma
instancia
de
Sand
Objeto
e' uma
instancia
de
Area terrestre
Transferencia
termina
em
Objeto
Objeto
nao
engloba
%n
Objeto
(=>
(
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
Fisico
e' uma
instancia
de
HeartAttack
Objeto
e' uma
instancia
de
Heart
Fisico
e'
situado
em
Objeto
Objeto
Objeto
e' uma
instancia
de
Musculo
Objeto
e' uma &parte de
Objeto
Intervalo Temporal
Objeto
Intervalo Temporal
e' uma
instancia
de
LiquidMotion
objectTransferred
Intervalo Temporal
and
Objeto
Objeto
e' uma
instancia
de
Sangue
Intervalo Temporal
acontece
durante
tempo
de existencia de
Fisico
Intervalo Temporal
termina
em
Objeto
(=>
(
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
Fisico
e' uma
instancia
de
Stroke
Objeto
e' uma
instancia
de
Brain
Fisico
e'
situado
em
Objeto
Objeto
Objeto
e' uma
instancia
de
NerveCell
Objeto
e' uma &parte de
Objeto
Intervalo Temporal
Objeto
Intervalo Temporal
e' uma
instancia
de
LiquidMotion
objectTransferred
Intervalo Temporal
and
Objeto
Objeto
e' uma
instancia
de
Sangue
Intervalo Temporal
acontece
durante
tempo
de existencia de
Fisico
Intervalo Temporal
termina
em
Objeto
(=>
(
and
(
instance
?LECS
AirEngineCoolingSystem
)
(
instance
?C
Cooling
)
(
instrument
?C ?LECS))
(
exists
(?A)
(
and
(
instance
?A
Air
)
(
objectTransferred
?C ?A))))
Cars.kif 2182-2190
Objeto
e' uma
instancia
de
AirEngineCoolingSystem
Transferencia
e' uma
instancia
de
Resfriar
Objeto
e' um
instrumento
para
Transferencia
Objeto
Objeto
e' uma
instancia
de
Air
objectTransferred
Transferencia
and
Objeto
(=>
(
and
(
instance
?LECS
LiquidEngineCoolingSystem
)
(
instance
?C
Cooling
)
(
instrument
?C ?LECS))
(
exists
(?L)
(
and
(
attribute
?L
Liquid
)
(
objectTransferred
?C ?L))))
Cars.kif 2166-2174
Objeto
e' uma
instancia
de
LiquidEngineCoolingSystem
Transferencia
e' uma
instancia
de
Resfriar
Objeto
e' um
instrumento
para
Transferencia
Objeto
Liquid
e' um
atributo
de
Objeto
objectTransferred
Transferencia
and
Objeto
(=>
(
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
Transferencia
e' uma
instancia
de
MoveToEvac
objectTransferred
Transferencia
and
Objeto
Transferencia
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Evacuation
objectTransferred
Entidade
and
Objeto
tempo
de existencia de
Transferencia
acontence
antes
de
tempo
de existencia de
Entidade
(=>
(
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
Entidade
e' uma
instancia
de
Prescription
Objeto
e' uma
instancia
de
Medicine
Entidade
inclui uma
referencia
a
Objeto
Entidade
HARM
Transferencia
Transferencia
e' uma
instancia
de
Vender
objectTransferred
Transferencia
and
Objeto
Transferencia
e' um
agente
de
Entidade
HARM
Pharmacist
e' um
atributo
de
Transferencia
(=>
(
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
e' uma
instancia
de
Speaking
Objeto
e' uma
instancia
de
Jaw
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' uma &parte de
AutonomousAgent
o argumento
Entidade
Entidade
e' uma
instancia
de
Movimento do Corpo
objectTransferred
Entidade
and
Objeto
tempo
de existencia de
Entidade
acontece
durante
tempo
de existencia de
Processo
tem a
forca
modal
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 6595-6607
Transferencia
e' uma
instancia
de
Swallowing
Transferencia
e' um
agente
de
AutonomousAgent
Objeto
Objeto
,
Transferencia
T and
Objeto
Objeto
e' uma
instancia
de
Mouth
Objeto
e' uma
instancia
de
Esophagus
Transferencia
T e' uma
instancia
de
Stomach
objectTransferred
Transferencia
and
Objeto
Transferencia
tem como
origem
Objeto
Transferencia
termina
em
Transferencia
T
Objeto
e' o
caminho
ao longo do qual
Transferencia
ocorre
(=>
(
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
Transferencia
e' uma
instancia
de
Drooling
AutonomousAgent
experimenta
Transferencia
Objeto
Objeto
Objeto
e' uma
instancia
de
Mouth
objectTransferred
Transferencia
and
Objeto
Objeto
e' uma
instancia
de
Saliva
Objeto
e' uma &parte de
AutonomousAgent
Transferencia
tem como
origem
Objeto
(=>
(
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
Transferencia
e' uma
instancia
de
SoftwareUpgrading
Entidade
e' um
patient
de
Transferencia
Entidade
e' uma
instancia
de
Computer
Objeto
objectTransferred
Transferencia
and
Objeto
Objeto
e' uma
instancia
de
Programa de Computador
vale
durante o
comeco
de
tempo
de existencia de
Transferencia
vale
durante o
fim
de
tempo
de existencia de
Transferencia
(=>
(
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
Transferencia
e' uma
instancia
de
Thoracentesis
Objeto
e' um
patient
de
Transferencia
Transferencia
Objeto
,
Transferencia
N,
Objeto
,
Objeto
and
Objeto
Transferencia
e' uma
instancia
de
Inserting
Transferencia
e' um
sub
-processo de
Transferencia
objectTransferred
Transferencia
and
Objeto
Transferencia
tem como
origem
Objeto
Transferencia
termina
em
Transferencia
N
Objeto
e' uma
instancia
de
Needle
Fluid
e' um
atributo
de
Objeto
objectTransferred
Transferencia
and
Objeto
Objeto
termina
em
Objeto
Objeto
e' uma
instancia
de
Lung
Objeto
e' uma
instancia
de
Chest
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Transferencia
tem como
origem
Transferencia
N
Transferencia
termina
em
Objeto
Transferencia
N esta'
entre
Objeto
e
Objeto
Objeto
e'
Outside
em relacao a
Objeto
(=>
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?O)
(
orientation
?O2 ?O
Inside
))
(
objectTransferred
?T ?O2))
Merge.kif 11352-11357
Transferencia
e' uma
instancia
de
Transferencia
objectTransferred
Transferencia
and
Objeto
Objeto
2 e'
Inside
em relacao a
Objeto
objectTransferred
Transferencia
and
Objeto
2
(=>
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?O)
(
orientation
?O2 ?O
On
))
(
objectTransferred
?T ?O2))
Merge.kif 11359-11364
Transferencia
e' uma
instancia
de
Transferencia
objectTransferred
Transferencia
and
Objeto
Objeto
2 e'
On
em relacao a
Objeto
objectTransferred
Transferencia
and
Objeto
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
Fisico
tem um
atributo
de
Booting
Fisico
e' uma
instancia
de
Computer
Objeto
Objeto
and
Transferencia
Objeto
e' uma
instancia
de
DigitalData
Objeto
e' uma
instancia
de
OperatingSystem
Transferencia
e' uma
instancia
de
DataTransfer
tempo
de existencia de
Transferencia
acontece
durante
tempo
de existencia de
Fisico
Transferencia
termina
em
Fisico
Objeto
e' uma &parte de
Objeto
objectTransferred
Transferencia
and
Objeto
(=>
(
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
Agente Cognitivo
,
Objeto
,
Medida de Divisa
,
Intervalo Temporal
and
Quantidade
Quantidade
e' uma
instancia
de
Numero Inteiro
Agente Cognitivo
deseja
Entidade
Entidade
Entidade
e' uma
instancia
de
Comprar
tempo
de existencia de
Entidade
acontece
durante
Intervalo Temporal
objectTransferred
Entidade
and
Entidade
transactionAmount
Entidade
and
Medida de Divisa
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
e' uma
instancia
de
Colecao
memberType
Entidade
and
Objeto
memberCount
Entidade
and
Quantidade
Agente Cognitivo
possui
Entidade
(=>
(
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
,
Objeto
,
Medida de Divisa
,
Intervalo Temporal
and
Numero Inteiro
Numero Inteiro
e' uma
instancia
de
Numero Inteiro
Transferencia
Colecao
Transferencia
e' uma
instancia
de
Comprar
tempo
de existencia de
Transferencia
acontece
durante
Intervalo Temporal
objectTransferred
Transferencia
and
Colecao
transactionAmount
Transferencia
and
Medida de Divisa
Transferencia
e' um
agente
de
AutonomousAgent
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
Objeto
memberCount
Colecao
and
Numero Inteiro
AutonomousAgent
possui
Colecao
(=>
(
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
Agente Cognitivo
,
Objeto
,
Medida de Divisa
,
Intervalo Temporal
and
Quantidade
Quantidade
e' uma
instancia
de
Quantidade Fisica
Agente Cognitivo
deseja
Entidade
Entidade
Entidade
e' uma
instancia
de
Comprar
tempo
de existencia de
Entidade
acontece
durante
Intervalo Temporal
objectTransferred
Entidade
and
Entidade
transactionAmount
Entidade
and
Medida de Divisa
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
e' uma
instancia
de
Objeto
a
medida
de
Entidade
e'
Quantidade
Agente Cognitivo
possui
Entidade
(=>
(
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
,
Objeto
,
Medida de Divisa
,
Intervalo Temporal
and
Quantidade Fisica
Quantidade Fisica
e' uma
instancia
de
Quantidade Fisica
Transferencia
Objeto
Transferencia
e' uma
instancia
de
Comprar
tempo
de existencia de
Transferencia
acontece
durante
Intervalo Temporal
objectTransferred
Transferencia
and
Objeto
transactionAmount
Transferencia
and
Medida de Divisa
Transferencia
e' um
agente
de
AutonomousAgent
Objeto
e' uma
instancia
de
Objeto
a
medida
de
Objeto
e'
Quantidade Fisica
AutonomousAgent
possui
Objeto
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
tem por
fim
?D ?D e' uma
instancia
de
DownloadingOverNetwork
IBookstore
e' um
instrumento
para ?D ?T e' uma
instancia
de
Texto
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