contains
(=>
(
instance
?GT
GasTank
)
(
hasPurpose
?GT
(
exists
(?F ?T ?E)
(
and
(
instance
?F
Fuel
)
(
contains
?GT ?F)
(
instance
?E
Engine
)
(
instance
?T
Transfer
)
(
origin
?T ?GT)
(
destination
?T ?E)
(
patient
?T ?F)))))
Cars.kif 1000-1011
Entit�Concreta
è un'
istanza
di
GasTank
Entit�Concreta
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Fuel
contains
Entit�Concreta
and
Entit�
Entit�
è un'
istanza
di
Engine
Entit�
è un'
istanza
di
Trasferimento
Entit�
si
originas in
Entit�Concreta
Entit�
fine
s in
Entit�
Entit�
è un
paziente
di
Entit�
(=>
(
instance
?GT
GasTank
)
(
hasPurpose
?GT
(
exists
(?F)
(
and
(
instance
?F
Fuel
)
(
contains
?GT ?F)))))
Cars.kif 992-998
Entit�Concreta
è un'
istanza
di
GasTank
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
Fuel
contains
Entit�Concreta
and
Entit�
(=>
(
instance
?H
Holster
)
(
hasPurpose
?H
(
exists
(?P)
(
and
(
instance
?P
Pistol
)
(
contains
?H ?P)))))
Mid-level-ontology.kif 1658-1664
Entit�Concreta
è un'
istanza
di
Holster
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
Pistol
contains
Entit�Concreta
and
Entit�
(=>
(
instance
?HTB
HandToolBox
)
(
hasPurpose
?HTB
(
exists
(?HT)
(
and
(
instance
?HT
HandTool
)
(
contains
?HTB ?HT)))))
Cars.kif 4834-4840
Entit�Concreta
è un'
istanza
di
HandToolBox
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
HandTool
contains
Entit�Concreta
and
Entit�
(=>
(
instance
?LN
LymphNode
)
(
exists
(?WBC)
(
and
(
instance
?WBC
WhiteBloodCell
)
(
contains
?LN ?WBC))))
Mid-level-ontology.kif 12245-12250
OggettoIntegro
è un'
istanza
di
LymphNode
Oggetto
Oggetto
è un'
istanza
di
WhiteBloodCell
contains
OggettoIntegro
and
Oggetto
(=>
(
instance
?NS
NasalSeptum
)
(
exists
(?NC)
(
and
(
instance
?NC
NasalCavity
)
(
contains
?NC ?NS))))
Mid-level-ontology.kif 6102-6107
Oggetto
è un'
istanza
di
NasalSeptum
OggettoIntegro
OggettoIntegro
è un'
istanza
di
NasalCavity
contains
OggettoIntegro
and
Oggetto
(=>
(
instance
?OP
OilPan
)
(
hasPurpose
?OP
(
exists
(?O)
(
and
(
instance
?O
Oil
)
(
contains
?OP ?O)))))
Cars.kif 3331-3337
Entit�Concreta
è un'
istanza
di
OilPan
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
Oil
contains
Entit�Concreta
and
Entit�
(=>
(
instance
?P
Pericardium
)
(
hasPurpose
?P
(
exists
(?H)
(
and
(
instance
?H
Heart
)
(
contains
?P ?H)))))
Mid-level-ontology.kif 11401-11407
Entit�Concreta
è un'
istanza
di
Pericardium
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
Heart
contains
Entit�Concreta
and
Entit�
(=>
(
instance
?SL
SalineLock
)
(
exists
(?S)
(
and
(
instance
?S
SalineSolution
)
(
contains
?SL ?S))))
Medicine.kif 1106-1111
OggettoIntegro
è un'
istanza
di
SalineLock
Oggetto
Oggetto
è un'
istanza
di
SalineSolution
contains
OggettoIntegro
and
Oggetto
(=>
(
instance
?T
Tomb
)
(
hasPurpose
?T
(
exists
(?P)
(
and
(
attribute
?P
Dead
)
(
contains
?T ?P)))))
Mid-level-ontology.kif 6845-6851
Entit�Concreta
è un'
istanza
di
Tomb
Entit�Concreta
ha
scopo
Entit�
attribute
Entit�
and
Dead
contains
Entit�Concreta
and
Entit�
(=>
(
instance
?TUB
BathTub
)
(
hasPurpose
?TUB
(
exists
(?WATER)
(
and
(
instance
?WATER
Water
)
(
contains
?TUB ?WATER)))))
Mid-level-ontology.kif 2054-2060
Entit�Concreta
è un'
istanza
di
BathTub
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
Acqua
contains
Entit�Concreta
and
Entit�
(=>
(
instance
?W
WasherForBolt
)
(
hasPurpose
?W
(
exists
(?B)
(
and
(
instance
?B
Bolt
)
(
contains
?W ?B)))))
Mid-level-ontology.kif 4299-4305
Entit�Concreta
è un'
istanza
di
WasherForBolt
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
Bolt
contains
Entit�Concreta
and
Entit�
(=>
(
instance
?W
WasherForBolt
)
(
hasPurpose
?W
(
exists
(?O1 ?O2)
(
and
(
instance
?O1
CorpuscularObject
)
(
instance
?O2
AttachingDevice
)
(
meetsSpatially
?O1 ?W)
(
contains
?W ?O2)))))
Mid-level-ontology.kif 4285-4293
Entit�Concreta
è un'
istanza
di
WasherForBolt
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
OggettoCorpuscolare
Entit�
è un'
istanza
di
AttachingDevice
Entit�
incontra
s
Entit�Concreta
contains
Entit�Concreta
and
Entit�
(=>
(
instance
?X
AutoAirbag
)
(
hasPurpose
?X
(
exists
(?CAR ?PERSON ?IMP ?INF ?INJ ?HIT)
(
and
(
instance
?CAR
Automobile
)
(
part
?X ?CAR)
(
instance
?PERSON
Human
)
(
contains
?CAR ?PERSON)
(
instance
?IMP
Impacting
)
(
patient
?IMP ?CAR)
(
instance
?INF
Inflating
)
(
patient
?INF ?X)
(
causes
?IMP ?INF)
(
hinders
?INF
(
KappaFn
?INJ
(
and
(
instance
?INJ
Injuring
)
(
experiencer
?INJ ?PERSON)
(
exists
(?HIT)
(
and
(
instance
?HIT
Impacting
)
(
destination
?HIT ?CAR)
(
experiencer
?HIT ?PERSON)
(
causes
?HIT ?INJ))))))))))
Cars.kif 3640-3664
Entit�Concreta
è un'
istanza
di
AutoAirbag
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
,
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Automobile
Entit�Concreta
è una
parte
di
Entit�
Entit�
è un'
istanza
di
Umano
contains
Entit�
and
Entit�
Entit�
è un'
istanza
di
Impatto
Entit�
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
Inflating
Entit�Concreta
è un
paziente
di
Entit�
Entit�
causa
s
Entit�
hinders
Entit�
and la
classe
descritta da
Entit�
(=>
(
instance
?X
BoxOfChocolates
)
(
exists
(?B ?C)
(
and
(
instance
?B
Box
)
(
instance
?C
ChocolateCandy
)
(
contains
?B ?C)
(
member
?C ?X))))
Food.kif 2515-2522
InsiemeConcreto
è un'
istanza
di
BoxOfChocolates
OggettoIntegro
Oggetto
OggettoIntegro
è un'
istanza
di
Box
Oggetto
è un'
istanza
di
ChocolateCandy
contains
OggettoIntegro
and
Oggetto
Oggetto
è un
membro
di
InsiemeConcreto
(=>
(
instance
?X
SeatBelt
)
(
hasPurpose
?X
(
exists
(?PERSON ?STOP ?VEHICLE ?M)
(
and
(
instance
?VEHICLE
Vehicle
)
(
part
?X ?VEHICLE)
(
instance
?PERSON
Human
)
(
contains
?VEHICLE ?PERSON)
(
instance
?STOP
Process
)
(
prevents
?STOP
(
KappaFn
?M
(
and
(
instance
?M
Translocation
)
(
patient
?M ?PERSON)
(
exists
(?COLLISION)
(
and
(
or
(
instance
?COLLISION
Decelerating
)
(
instance
?COLLISION
Impacting
))
(
experiencer
?COLLISION ?VEHICLE)
(
causes
?COLLISION ?M)))
(
modalAttribute
(
exists
(?INJ ?IMP)
(
and
(
instance
?INJ
Injuring
)
(
instance
?IMP
Impacting
)
(
causes
?M ?INJ)
(
patient
?INJ ?PERSON)
(
subProcess
?IMP ?INJ)))
Possibility
))))))))
Cars.kif 3683-3712
Entit�Concreta
è un'
istanza
di
SeatBelt
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Vehicle
Entit�Concreta
è una
parte
di
Entit�
Entit�
è un'
istanza
di
Umano
contains
Entit�
and
Entit�
Entit�
è un'
istanza
di
Processo
Entit�
impedisce
l'occorrenza di la
classe
descritta da
Entit�
(=>
(
onboard
?O ?V)
(
contains
?V ?O))
Mid-level-ontology.kif 17405-17407
onboard
OggettoIntegro
and
Vehicle
contains
Vehicle
and
OggettoIntegro
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