hasPurpose
(=>
(
and
(
instance
?DIO
DefensiveInformationOperation
)
(
agent
?DIO ?AGENT)
(
enemy
?AGENT ?ENEMY)
(
desires
?ENEMY
(
knows
?ENEMY ?FORMULA))
(
desires
?AGENT
(
not
(
knows
?ENEMY ?FORMULA))))
(
hasPurpose
?DIO
(
not
(
knows
?ENEMY ?FORMULA))))
MilitaryProcesses.kif 1876-1888
Processo
e' uma
instancia
de
DefensiveInformationOperation
Processo
e' um
agente
de
Agente Cognitivo
enemy
Agente Cognitivo
and
Agente Cognitivo
Agente Cognitivo
deseja
Agente Cognitivo
sabe
Entidade
Agente Cognitivo
deseja
Agente Cognitivo
nao
sabe
%n
Entidade
Processo
tem por
fim
Agente Cognitivo
nao
sabe
%n
Entidade
(=>
(
and
(
instance
?E
Electrocardiography
)
(
patient
?E ?H)
(
agent
?E ?D)
(
attribute
?D
MedicalDoctor
))
(
hasPurpose
?E
(
knows
?D
(
exists
(?T)
(
truth
(
attribute
?H
(
ImpairedBodyPartFn
Heart
)) ?T)))))
Medicine.kif 3449-3460
Processo
e' uma
instancia
de
Electrocardiography
Entidade
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
MedicalDoctor
e' um
atributo
de
AutonomousAgent
Processo
tem por
fim
AutonomousAgent
sabe
Entidade
truth
ImpairedBodyPartFn
Heart
e' um
atributo
de
Entidade
and
Entidade
(=>
(
and
(
instance
?E
EngineCylinder
)
(
instance
?C
Crankcase
)
(
instance
?P
Piston
)
(
instance
?T
TwoStrokeTransfer
)
(
holdsDuring
?T
(
located
?P ?E))
(
equal
?E
(
HoleHostFn
?C))
(
eventLocated
?T ?E))
(
hasPurpose
?P
(
holdsDuring
?T
(
partiallyFills
?P ?C))))
Cars.kif 509-521
Objeto
e' uma
instancia
de
EngineCylinder
Buraco
e' uma
instancia
de
Crankcase
Fisico
e' uma
instancia
de
Piston
Processo
e' uma
instancia
de
TwoStrokeTransfer
Fisico
e'
situado
em
Objeto
vale
durante
Processo
Objeto
e'
igual
a o
dono
do buraco
Buraco
eventLocated
Processo
and
Objeto
Fisico
tem por
fim
Fisico
completa
partialmente
Buraco
vale
durante
Processo
(=>
(
and
(
instance
?E
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
instance
?P
Piston
)
(
instance
?T
TwoStrokeIntake
)
(
holdsDuring
?T
(
located
?P ?E))
(
equal
?E
(
HoleHostFn
?I))
(
eventLocated
?T ?E))
(
hasPurpose
?P
(
holdsDuring
?T
(
partiallyFills
?P ?I))))
Cars.kif 463-475
Objeto
e' uma
instancia
de
EngineCylinder
Buraco
e' uma
instancia
de
InternalCombustionChamber
Fisico
e' uma
instancia
de
Piston
Processo
e' uma
instancia
de
TwoStrokeIntake
Fisico
e'
situado
em
Objeto
vale
durante
Processo
Objeto
e'
igual
a o
dono
do buraco
Buraco
eventLocated
Processo
and
Objeto
Fisico
tem por
fim
Fisico
completa
partialmente
Buraco
vale
durante
Processo
(=>
(
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
?E
InternalCombustionEngine
)
(
instance
?CC
CombustionChamber
)
(
part
?CC ?E)
(
instance
?F
Fuel
)
(
instance
?M
UnitOfVolume
)
(
holdsDuring
?T
(
and
(
contains
?CC ?F)
(
measure
?F
(
MeasureFn
?N1 ?M))
(
attribute
?E
EngineFlooded
))))
(
hasPurpose
?CC
(
not
(
exists
(?F2 ?N2)
(
and
(
instance
?F2
Fuel
)
(
contains
?CC ?F2)
(
measure
?F2
(
MeasureFn
?N2 ?M))
(
greaterThanOrEqualTo
?N2 ?N1))))))
Cars.kif 2811-2830
Objeto
e' uma
instancia
de
InternalCombustionEngine
Objeto
e' uma
instancia
de
CombustionChamber
Objeto
e' uma &parte de
Objeto
Entidade
e' uma
instancia
de
Fuel
Entidade
e' uma
instancia
de
UnitOfVolume
Objeto
contem
Entidade
a
medida
de
Entidade
e'
Entidade
Entidade
(s)
EngineFlooded
e' um
atributo
de
Objeto
vale
durante
Posicao Temporal
Objeto
tem por
fim
Entidade
2
Entidade
Entidade
2 e' uma
instancia
de
Fuel
Objeto
contem
Entidade
2 a
medida
de
Entidade
2 e'
Entidade
Entidade
(s)
Entidade
e'
maior
ou igual a
Entidade
(=>
(
and
(
instance
?ECS
EngineCoolingSystem
)
(
instance
?E
Engine
)
(
instance
?A
Automobile
)
(
part
?ECS ?A)
(
part
?E ?A))
(
hasPurpose
?ECS
(
exists
(?C)
(
and
(
instance
?C
Cooling
)
(
instrument
?C ?ECS)
(
patient
?C ?E)))))
Cars.kif 2142-2154
Objeto
e' uma
instancia
de
EngineCoolingSystem
Objeto
e' uma
instancia
de
Engine
Objeto
e' uma
instancia
de
Automobile
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Resfriar
Objeto
e' um
instrumento
para
Entidade
Objeto
e' um
patient
de
Entidade
(=>
(
and
(
instance
?EDUCATION
EducationalProcess
)
(
patient
?EDUCATION ?PERSON))
(
hasPurpose
?EDUCATION
(
exists
(?LEARN)
(
and
(
instance
?LEARN
Learning
)
(
patient
?LEARN ?PERSON)))))
Merge.kif 11631-11639
Processo
e' uma
instancia
de
Processo Educacional
Entidade
e' um
patient
de
Processo
Processo
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Aprender
Entidade
e' um
patient
de
Entidade
(=>
(
and
(
instance
?EF
Exfiltration
)
(
agent
?EF ?AGENT))
(
exists
(?PRET ?ENEMY)
(
and
(
instance
?PRET
Pretending
)
(
agent
?PRET ?AGENT)
(
patient
?PRET ?ENEMY)
(
hasPurpose
?PRET
(
believes
?ENEMY
(
not
(
exists
(?EF0)
(
equal
?EF0 ?EF))))))))
MilitaryProcesses.kif 257-270
Processo
e' uma
instancia
de
Exfiltration
Processo
e' um
agente
de
AutonomousAgent
Processo
Entidade
Processo
e' uma
instancia
de
Fingir
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
Processo
tem por
fim
Entidade
acredita
que
Processo
0
Processo
0 e'
igual
a
Processo
(=>
(
and
(
instance
?EG
EngineGovernor
)
(
instance
?E
Engine
)
(
connectedEngineeringComponents
?EG ?E)
(
governorSpeed
?E
(
MeasureFn
?S
MilesPerHour
)))
(
hasPurpose
?EG
(
not
(
exists
(?R ?P ?M)
(
and
(
instance
?P
Device
)
(
part
?P ?E)
(
instance
?R
Rotating
)
(
holdsDuring
(
WhenFn
?R)
(
and
(
measure
?P
(
MeasureFn
?M
MilesPerHour
))
(
greaterThan
?M ?S))))))))
Cars.kif 2930-2948
Componente de Engenharia
e' uma
instancia
de
EngineGovernor
Componente de Engenharia
e' uma
instancia
de
Engine
Componente de Engenharia
e'
conectado
a
Componente de Engenharia
governorSpeed
Componente de Engenharia
and
Numero Real
MilesPerHour
(s)
Componente de Engenharia
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Aparelho
Entidade
e' uma &parte de
Componente de Engenharia
Entidade
e' uma
instancia
de
Rotating
a
medida
de
Entidade
e'
Entidade
MilesPerHour
(s)
Entidade
e'
maior
que
Numero Real
vale
durante
tempo
de existencia de
Entidade
(=>
(
and
(
instance
?EG
EngineGovernor
)
(
instance
?V
Vehicle
)
(
connectedEngineeringComponents
?EG ?V)
(
governorSpeed
?E
(
MeasureFn
?S
MilesPerHour
)))
(
hasPurpose
?EG
(
not
(
exists
(?T ?M)
(
and
(
instance
?T
Translocation
)
(
holdsDuring
(
WhenFn
?T)
(
and
(
measure
?V
(
MeasureFn
?M
MilesPerHour
))
(
greaterThan
?M ?S))))))))
Cars.kif 2957-2973
Componente de Engenharia
e' uma
instancia
de
EngineGovernor
Componente de Engenharia
e' uma
instancia
de
Vehicle
Componente de Engenharia
e'
conectado
a
Componente de Engenharia
governorSpeed
SpeedGovernor
and
Numero Real
MilesPerHour
(s)
Componente de Engenharia
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Translocation
a
medida
de
Componente de Engenharia
e'
Entidade
MilesPerHour
(s)
Entidade
e'
maior
que
Numero Real
vale
durante
tempo
de existencia de
Entidade
(=>
(
and
(
instance
?F
Scholarship
)
(
destination
?F ?H))
(
hasPurpose
?F
(
exists
(?EP ?P)
(
and
(
instance
?EP
EducationalProgram
)
(
realization
?P ?EP)
(
experiencer
?P ?H)))))
Mid-level-ontology.kif 7231-7240
Processo
e' uma
instancia
de
Scholarship
Processo
termina
em
Entidade
Processo
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
EducationalProgram
Entidade
exprime
o conteudo de
Entidade
Entidade
experimenta
Entidade
(=>
(
and
(
instance
?FB
FanBelt
)
(
instance
?EF
EngineFan
)
(
instance
?A
Automobile
)
(
part
?FB ?A)
(
part
?EF ?A)
(
instance
?M
Motion
)
(
patient
?M ?FB))
(
hasPurpose
?FB
(
exists
(?M2)
(
and
(
instance
?M2
Rotating
)
(
causes
?M ?M2)
(
patient
?M2 ?EF)))))
Cars.kif 2730-2744
Objeto
e' uma
instancia
de
FanBelt
Objeto
e' uma
instancia
de
EngineFan
Objeto
e' uma
instancia
de
Automobile
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Processo
e' uma
instancia
de
Movimento
Objeto
e' um
patient
de
Processo
Objeto
tem por
fim
Processo
2
Processo
2 e' uma
instancia
de
Rotating
Processo
causa
Processo
2
Objeto
e' um
patient
de
Processo
2
(=>
(
and
(
instance
?FID
ForeignInternalDefense
)
(
agent
?FID ?MIL)
(
experiencer
?FID ?HN))
(
hasPurpose
?FID
(
exists
(?ORG ?LEARNING)
(
and
(
instance
?LEARNING
Learning
)
(
experiencer
?LEARNING ?ORG)
(
agent
?LEARNING ?MIL)
(
or
(
militaryOfArea
?ORG ?HN)
(
and
(
instance
?ORG
MilitaryForce
)
(
located
?ORG ?HN)))))))
MilitaryProcesses.kif 1960-1975
Processo
e' uma
instancia
de
ForeignInternalDefense
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
experimenta
Processo
Processo
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Aprender
Entidade
experimenta
Entidade
Entidade
e' um
agente
de
AutonomousAgent
militaryOfArea
Entidade
and
AutonomousAgent
Entidade
e' uma
instancia
de
MilitaryForce
Entidade
e'
situado
em
AutonomousAgent
(=>
(
and
(
instance
?FP
FuelPump
)
(
instance
?A
Automobile
)
(
part
?FP ?A)
(
instance
?T
Transportation
)
(
instance
?F
Fuel
)
(
patient
?T ?F)
(
instrument
?F ?FP)
(
instance
?GT
GasTank
)
(
part
?GT ?A)
(
instance
?EC
EngineCylinder
)
(
part
?EC ?A)
(
origin
?T ?GT)
(
destination
?T ?EC)
(
path
?T ?P))
(
hasPurpose
?T
(
exists
(?FF)
(
and
(
instance
?FF
FuelFilter
)
(
betweenOnPath
?GT ?FF ?EC ?P)))))
Cars.kif 1070-1090
Objeto
e' uma
instancia
de
FuelPump
Objeto
e' uma
instancia
de
Automobile
Objeto
e' uma &parte de
Objeto
Movimento
e' uma
instancia
de
Transporte
Processo
e' uma
instancia
de
Fuel
Processo
e' um
patient
de
Movimento
Objeto
e' um
instrumento
para
Processo
Objeto
e' uma
instancia
de
GasTank
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
EngineCylinder
Objeto
e' uma &parte de
Objeto
Movimento
tem como
origem
Objeto
Movimento
termina
em
Objeto
Objeto
e' o
caminho
ao longo do qual
Movimento
ocorre
Movimento
tem por
fim
Processo
F
Processo
F e' uma
instancia
de
FuelFilter
betweenOnPath
Objeto
,
Processo
F,
Objeto
and
Objeto
(=>
(
and
(
instance
?FP
FuelPump
)
(
instance
?A
Automobile
)
(
part
?FP ?A)
(
instance
?T
Transportation
)
(
instance
?F
Fuel
)
(
patient
?T ?F)
(
instrument
?F ?FP))
(
hasPurpose
?FP
(
exists
(?GT ?EC)
(
and
(
instance
?GT
GasTank
)
(
part
?GT ?A)
(
instance
?EC
EngineCylinder
)
(
part
?EC ?A)
(
origin
?T ?GT)
(
destination
?T ?EC)))))
Cars.kif 1051-1068
Objeto
e' uma
instancia
de
FuelPump
Objeto
e' uma
instancia
de
Automobile
Objeto
e' uma &parte de
Objeto
Processo
e' uma
instancia
de
Transporte
Processo
e' uma
instancia
de
Fuel
Processo
e' um
patient
de
Processo
Objeto
e' um
instrumento
para
Processo
Objeto
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
GasTank
Entidade
e' uma &parte de
Objeto
Entidade
e' uma
instancia
de
EngineCylinder
Entidade
e' uma &parte de
Objeto
Processo
tem como
origem
Entidade
Processo
termina
em
Entidade
(=>
(
and
(
instance
?G
Garden
)
(
plantInArea
Plant
?G))
(
hasPurpose
?G
(
exists
(?R)
(
and
(
instance
?R
RecreationOrExercise
)
(
eventLocated
?R ?G)))))
Mid-level-ontology.kif 8154-8162
CultivatedLandArea
e' uma
instancia
de
Garden
plantInArea
Planta
and
CultivatedLandArea
CultivatedLandArea
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Recreacao ou Exercicio
eventLocated
Entidade
and
CultivatedLandArea
(=>
(
and
(
instance
?G
GramStaining
)
(
agent
?G ?H)
(
patient
?G ?B))
(
hasPurpose
?G
(
knows
?H
(
exists
(?S)
(
and
(
instance
?S
GramStainAttribute
)
(
attribute
?B ?S))))))
Medicine.kif 5369-5379
Processo
e' uma
instancia
de
GramStaining
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
Processo
tem por
fim
AutonomousAgent
sabe
Entidade
Entidade
e' uma
instancia
de
GramStainAttribute
Entidade
e' um
atributo
de
Entidade
(=>
(
and
(
instance
?G
SpeedGovernor
)
(
governorSpeed
?V
(
MeasureFn
?S
MilesPerHour
))
(
connectedEngineeringComponents
?G ?V))
(
hasPurpose
?G
(
not
(
exists
(?SP2)
(
and
(
measure
?V
(
MeasureFn
?SP2
MilesPerHour
))
(
greaterThan
?SP2 ?S))))))
Cars.kif 2909-2921
Componente de Engenharia
e' uma
instancia
de
SpeedGovernor
governorSpeed
Componente de Engenharia
and
Numero Real
MilesPerHour
(s)
Componente de Engenharia
e'
conectado
a
Componente de Engenharia
Componente de Engenharia
tem por
fim
Numero Real
P2 a
medida
de
Componente de Engenharia
e'
Numero Real
P2
MilesPerHour
(s)
Numero Real
P2 e'
maior
que
Numero Real
(=>
(
and
(
instance
?H
Hotline
)
(
telephoneNumber
?H ?O)
(
instance
?O
Organization
))
(
hasPurpose
?H
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?O)
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
Communication
)
(
instrument
?C ?H)
(
equal
(
BeginFn
(
WhenFn
?C))
(
BeginFn
(
ImmediateFutureFn
(
WhenFn
?T))))))
Likely
)))))
Mid-level-ontology.kif 25093-25114
TelecomNumber
e' uma
instancia
de
Hotline
telephoneNumber
TelecomNumber
and
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Organizacao
TelecomNumber
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Telephoning
Entidade
termina
em
AutonomousAgent
o argumento
Entidade
Entidade
e' uma
instancia
de
Communicacao
TelecomNumber
e' um
instrumento
para
Entidade
o
comeco
de
tempo
de existencia de
Entidade
e'
igual
a o
comeco
de imediatemente
apos
tempo
de existencia de
Entidade
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?H
Hunting
)
(
patient
?H ?P))
(
hasPurpose
?H
(
exists
(?PROC)
(
and
(
patient
?PROC ?P)
(
or
(
instance
?PROC
Confining
)
(
instance
?PROC
Killing
))))))
Merge.kif 12910-12920
Processo
e' uma
instancia
de
Hunting
Entidade
e' um
patient
de
Processo
Processo
tem por
fim
Entidade
ROC
Entidade
e' um
patient
de
Entidade
ROC
Entidade
ROC e' uma
instancia
de
Confinar
Entidade
ROC e' uma
instancia
de
Matar
(=>
(
and
(
instance
?H
Man
)
(
attribute
?H
Mausaharati
)
(
instance
?D
Drumming
)
(
agent
?D ?H)
(
instance
?DAY
Day
)
(
instance
?S
Sunrise
)
(
during
?S ?DAY)
(
earlier
(
WhenFn
?D) ?S))
(
hasPurpose
?D
(
exists
(?P ?SUHUR ?WU)
(
and
(
instance
?WU
WakingUp
)
(
experiencer
?WU ?P)
(
instance
?SUHUR
Suhur
)
(
agent
?SUHUR ?P)
(
earlier
(
WhenFn
?WU)
(
WhenFn
?SUHUR))
(
during
(
WhenFn
?WU) ?DAY)
(
during
(
WhenFn
?SUHUR) ?DAY)))))
ArabicCulture.kif 65-84
AutonomousAgent
e' uma
instancia
de
Man
Mausaharati
e' um
atributo
de
AutonomousAgent
Processo
e' uma
instancia
de
Drumming
Processo
e' um
agente
de
AutonomousAgent
Processo
AY e' uma
instancia
de
Dia
Intervalo Temporal
e' uma
instancia
de
Sunrise
Intervalo Temporal
acontece
durante
Processo
AY
tempo
de existencia de
Processo
acontence
antes
de
Intervalo Temporal
Processo
tem por
fim
Entidade
Intervalo Temporal
UHUR and
Entidade
Entidade
e' uma
instancia
de
WakingUp
Entidade
experimenta
Entidade
Intervalo Temporal
UHUR e' uma
instancia
de
Suhur
Intervalo Temporal
UHUR e' um
agente
de
Entidade
tempo
de existencia de
Entidade
acontence
antes
de
tempo
de existencia de
Intervalo Temporal
UHUR
tempo
de existencia de
Entidade
acontece
durante
Processo
AY
tempo
de existencia de
Intervalo Temporal
UHUR acontece
durante
Processo
AY
(=>
(
and
(
instance
?HP
HearingProtection
)
(
instance
?PERSON
Human
)
(
wears
?PERSON ?HP))
(
hasPurpose
?HP
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?SOUND ?HEAR ?HUMAN ?T)
(
and
(
instance
?SOUND
RadiatingSound
)
(
instance
?HEAR
Hearing
)
(
instance
?HUMAN
Human
)
(
patient
?HEAR ?SOUND)
(
experiencer
?HEAR ?HUMAN)
(
causes
?HEAR ?I)
(
experiencer
?I ?HUMAN)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)
(
instrument
?PROC ?HP)))))
Cars.kif 3447-3476
WearableItem
e' uma
instancia
de
HearingProtection
Animal
e' uma
instancia
de
Humano
Animal
usa
WearableItem
WearableItem
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
e' uma
sub
-classe de a
classe
descrita por
Entidade
Entidade
proibe
a ocurrencia de
Entidade
WearableItem
e' um
instrumento
para
Entidade
(=>
(
and
(
instance
?I
Immigrating
)
(
agent
?I ?A))
(
exists
(?N1 ?N2)
(
and
(
instance
?N1
Nation
)
(
instance
?N2
Nation
)
(
origin
?I ?N1)
(
destination
?I ?N2)
(
not
(
equal
?N1 ?N2))
(
member
?A
(
CitizenryFn
?N1))
(
not
(
member
?A
(
CitizenryFn
?N2)))
(
hasPurpose
?I
(
inhabits
?A ?N2)))))
Mid-level-ontology.kif 17352-17368
Processo
e' uma
instancia
de
Immigrating
Processo
e' um
agente
de
AutonomousAgent
Area Geopolitica
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Nacao
Area Geopolitica
e' uma
instancia
de
Nacao
Processo
tem como
origem
Area Geopolitica
Processo
termina
em
Area Geopolitica
Area Geopolitica
e'
igual
a
Area Geopolitica
AutonomousAgent
e'
membro
de
CitizenryFn
Area Geopolitica
AutonomousAgent
e'
membro
de
CitizenryFn
Area Geopolitica
Processo
tem por
fim
AutonomousAgent
vive
em
Area Geopolitica
(=>
(
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
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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