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
è un'
istanza
di
DefensiveInformationOperation
Processo
è un
agente
di
AgenteCognitivo
enemy
AgenteCognitivo
and
AgenteCognitivo
AgenteCognitivo
desidera
s
AgenteCognitivo
conosce
s
Entit�
AgenteCognitivo
desidera
s
AgenteCognitivo
non
conosce
Entit�
Processo
ha
scopo
AgenteCognitivo
non
conosce
Entit�
(=>
(
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
è un'
istanza
di
Electrocardiography
Entit�
è un
paziente
di
Processo
Processo
è un
agente
di
AutonomousAgent
attribute
AutonomousAgent
and
MedicalDoctor
Processo
ha
scopo
AutonomousAgent
conosce
s
Entit�
truth
attribute
Entit�
and
ImpairedBodyPartFn
Heart
and
Entit�
(=>
(
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
Oggetto
è un'
istanza
di
EngineCylinder
apertura
è un'
istanza
di
Crankcase
Entit�Concreta
è un'
istanza
di
Piston
Processo
è un'
istanza
di
TwoStrokeTransfer
Entit�Concreta
è
localizzato
in
Oggetto
vales
durante
Processo
Oggetto
is
uguale
a
HoleHostFn
apertura
eventLocated
Processo
and
Oggetto
Entit�Concreta
ha
scopo
Entit�Concreta
riempie
parzialmentes
apertura
vales
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
Oggetto
è un'
istanza
di
EngineCylinder
apertura
è un'
istanza
di
InternalCombustionChamber
Entit�Concreta
è un'
istanza
di
Piston
Processo
è un'
istanza
di
TwoStrokeIntake
Entit�Concreta
è
localizzato
in
Oggetto
vales
durante
Processo
Oggetto
is
uguale
a
HoleHostFn
apertura
eventLocated
Processo
and
Oggetto
Entit�Concreta
ha
scopo
Entit�Concreta
riempie
parzialmentes
apertura
vales
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
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
?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
Oggetto
è un'
istanza
di
InternalCombustionEngine
Oggetto
è un'
istanza
di
CombustionChamber
Oggetto
è una
parte
di
Oggetto
Entit�
è un'
istanza
di
Fuel
Entit�
è un'
istanza
di
UnitOfVolume
contains
Oggetto
and
Entit�
la
misura
Entit�
è
Entit�
Entit�
(s
attribute
Oggetto
and
EngineFlooded
vales
durante
PosizioneTemporale
Oggetto
ha
scopo
Entit�
2
Entit�
Entit�
2 è un'
istanza
di
Fuel
contains
Oggetto
and
Entit�
2 la
misura
Entit�
2 è
Entit�
Entit�
(s
Entit�
è
pi
ù grande di o uguale a
Entit�
(=>
(
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
Oggetto
è un'
istanza
di
EngineCoolingSystem
Oggetto
è un'
istanza
di
Engine
Oggetto
è un'
istanza
di
Automobile
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
ha
scopo
Entit�
Entit�
è un'
istanza
di
Raffreddamento
Oggetto
è uno
strumento
per
Entit�
Oggetto
è un
paziente
di
Entit�
(=>
(
and
(
instance
?EDUCATION
EducationalProcess
)
(
patient
?EDUCATION ?PERSON))
(
hasPurpose
?EDUCATION
(
exists
(?LEARN)
(
and
(
instance
?LEARN
Learning
)
(
patient
?LEARN ?PERSON)))))
Merge.kif 11631-11639
Processo
è un'
istanza
di
ProcessoEducazionale
Entit�
è un
paziente
di
Processo
Processo
ha
scopo
Entit�
Entit�
è un'
istanza
di
Apprendere
Entit�
è un
paziente
di
Entit�
(=>
(
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
è un'
istanza
di
Exfiltration
Processo
è un
agente
di
AutonomousAgent
Processo
Entit�
Processo
è un'
istanza
di
Fingere
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
Processo
ha
scopo
Entit�
crede
s
Processo
0
Processo
0 is
uguale
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
Meccanismo
è un'
istanza
di
EngineGovernor
Meccanismo
è un'
istanza
di
Engine
Meccanismo
è
connesso
a
Meccanismo
governorSpeed
Meccanismo
and
NumeroReale
MilesPerHour
(s
Meccanismo
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Dispositivo
Entit�
è una
parte
di
Meccanismo
Entit�
è un'
istanza
di
Rotating
la
misura
Entit�
è
Entit�
MilesPerHour
(s
Entit�
è
pi
ù grande di
NumeroReale
vales
durante
il
tempo
di esistenza di
Entit�
(=>
(
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
Meccanismo
è un'
istanza
di
EngineGovernor
Meccanismo
è un'
istanza
di
Vehicle
Meccanismo
è
connesso
a
Meccanismo
governorSpeed
SpeedGovernor
and
NumeroReale
MilesPerHour
(s
Meccanismo
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Translocation
la
misura
Meccanismo
è
Entit�
MilesPerHour
(s
Entit�
è
pi
ù grande di
NumeroReale
vales
durante
il
tempo
di esistenza di
Entit�
(=>
(
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
è un'
istanza
di
Scholarship
Processo
fine
s in
Entit�
Processo
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
EducationalProgram
Entit�
esprime
il contenuto di
Entit�
Entit�
esperisce
s
Entit�
(=>
(
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
Oggetto
è un'
istanza
di
FanBelt
Oggetto
è un'
istanza
di
EngineFan
Oggetto
è un'
istanza
di
Automobile
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Processo
è un'
istanza
di
Movimento
Oggetto
è un
paziente
di
Processo
Oggetto
ha
scopo
Processo
2
Processo
2 è un'
istanza
di
Rotating
Processo
causa
s
Processo
2
Oggetto
è un
paziente
di
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
è un'
istanza
di
ForeignInternalDefense
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
esperisce
s
Processo
Processo
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Apprendere
Entit�
esperisce
s
Entit�
Entit�
è un
agente
di
AutonomousAgent
militaryOfArea
Entit�
and
AutonomousAgent
Entit�
è un'
istanza
di
MilitaryForce
Entit�
è
localizzato
in
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
Oggetto
è un'
istanza
di
FuelPump
Oggetto
è un'
istanza
di
Automobile
Oggetto
è una
parte
di
Oggetto
Movimento
è un'
istanza
di
Trasporto
Processo
è un'
istanza
di
Fuel
Processo
è un
paziente
di
Movimento
Oggetto
è uno
strumento
per
Processo
Oggetto
è un'
istanza
di
GasTank
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
EngineCylinder
Oggetto
è una
parte
di
Oggetto
Movimento
si
originas in
Oggetto
Movimento
fine
s in
Oggetto
Oggetto
è
cammino
mentre
Movimento
si verifica
Movimento
ha
scopo
Processo
F
Processo
F è un'
istanza
di
FuelFilter
betweenOnPath
Oggetto
,
Processo
F,
Oggetto
and
Oggetto
(=>
(
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
Oggetto
è un'
istanza
di
FuelPump
Oggetto
è un'
istanza
di
Automobile
Oggetto
è una
parte
di
Oggetto
Processo
è un'
istanza
di
Trasporto
Processo
è un'
istanza
di
Fuel
Processo
è un
paziente
di
Processo
Oggetto
è uno
strumento
per
Processo
Oggetto
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
GasTank
Entit�
è una
parte
di
Oggetto
Entit�
è un'
istanza
di
EngineCylinder
Entit�
è una
parte
di
Oggetto
Processo
si
originas in
Entit�
Processo
fine
s in
Entit�
(=>
(
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
è un'
istanza
di
Garden
plantInArea
Pianta
and
CultivatedLandArea
CultivatedLandArea
ha
scopo
Entit�
Entit�
è un'
istanza
di
PassatempoOEsercizio
eventLocated
Entit�
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
è un'
istanza
di
GramStaining
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
Processo
ha
scopo
AutonomousAgent
conosce
s
Entit�
Entit�
è un'
istanza
di
GramStainAttribute
attribute
Entit�
and
Entit�
(=>
(
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
Meccanismo
è un'
istanza
di
SpeedGovernor
governorSpeed
Meccanismo
and
NumeroReale
MilesPerHour
(s
Meccanismo
è
connesso
a
Meccanismo
Meccanismo
ha
scopo
NumeroReale
P2 la
misura
Meccanismo
è
NumeroReale
P2
MilesPerHour
(s
NumeroReale
P2 è
pi
ù grande di
NumeroReale
(=>
(
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
è un'
istanza
di
Hotline
telephoneNumber
TelecomNumber
and
AutonomousAgent
AutonomousAgent
è un'
istanza
di
Organizzazione
TelecomNumber
ha
scopo
Entit�
Entit�
è un'
istanza
di
Telephoning
Entit�
fine
s in
AutonomousAgent
l'affermazione
Entit�
Entit�
è un'
istanza
di
Comunicazione
TelecomNumber
è uno
strumento
per
Entit�
l'
inizio
di il
tempo
di esistenza di
Entit�
is
uguale
a l'
inizio
di immediatamente
dopo
il
tempo
di esistenza di
Entit�
ha il modello di forza di
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
è un'
istanza
di
Hunting
Entit�
è un
paziente
di
Processo
Processo
ha
scopo
Entit�
ROC
Entit�
è un
paziente
di
Entit�
ROC
Entit�
ROC è un'
istanza
di
Imprigionare
Entit�
ROC è un'
istanza
di
Uccidere
(=>
(
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
è un'
istanza
di
Man
attribute
AutonomousAgent
and
Mausaharati
Processo
è un'
istanza
di
Drumming
Processo
è un
agente
di
AutonomousAgent
Processo
AY è un'
istanza
di
Giorno
IntervalloTemporale
è un'
istanza
di
Sunrise
IntervalloTemporale
has luogo
durante
Processo
AY il
tempo
di esistenza di
Processo
accades
prima
di
IntervalloTemporale
Processo
ha
scopo
Entit�
IntervalloTemporale
UHUR and
Entit�
Entit�
è un'
istanza
di
WakingUp
Entit�
esperisce
s
Entit�
IntervalloTemporale
UHUR è un'
istanza
di
Suhur
IntervalloTemporale
UHUR è un
agente
di
Entit�
il
tempo
di esistenza di
Entit�
accades
prima
di il
tempo
di esistenza di
IntervalloTemporale
UHUR il
tempo
di esistenza di
Entit�
has luogo
durante
Processo
AY il
tempo
di esistenza di
IntervalloTemporale
UHUR has luogo
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
è un'
istanza
di
HearingProtection
Animale
è un'
istanza
di
Umano
wears
Animale
and
WearableItem
WearableItem
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Processo
Entit�
è una
sottoclasse
di la
classe
descritta da
Entit�
Entit�
impedisce
l'occorrenza di
Entit�
WearableItem
è uno
strumento
per
Entit�
(=>
(
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
è un'
istanza
di
Immigrating
Processo
è un
agente
di
AutonomousAgent
AreaGeopolitica
AreaGeopolitica
AreaGeopolitica
è un'
istanza
di
Nazione
AreaGeopolitica
è un'
istanza
di
Nazione
Processo
si
originas in
AreaGeopolitica
Processo
fine
s in
AreaGeopolitica
AreaGeopolitica
is
uguale
a
AreaGeopolitica
AutonomousAgent
è un
membro
di
CitizenryFn
AreaGeopolitica
AutonomousAgent
è un
membro
di
CitizenryFn
AreaGeopolitica
Processo
ha
scopo
AutonomousAgent
abita
s in
AreaGeopolitica
(=>
(
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�
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