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
Physique
est une
instance
de
GasTank
physique
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
Fuel
physique
contient
entit�
entit�
est une
instance
de
Engine
entit�
est une
instance
de
transf�re
entit�
a pour
origine
physique
entit�
aboutit
�
entit�
entit�
est un
patient
de
entit�
(=>
(
instance
?GT
GasTank
)
(
hasPurpose
?GT
(
exists
(?F)
(
and
(
instance
?F
Fuel
)
(
contains
?GT ?F)))))
Cars.kif 992-998
Physique
est une
instance
de
GasTank
physique
a pour
but
entit�
entit�
est une
instance
de
Fuel
physique
contient
entit�
(=>
(
instance
?H
Holster
)
(
hasPurpose
?H
(
exists
(?P)
(
and
(
instance
?P
Pistol
)
(
contains
?H ?P)))))
Mid-level-ontology.kif 1658-1664
Physique
est une
instance
de
Holster
physique
a pour
but
entit�
entit�
est une
instance
de
Pistol
physique
contient
entit�
(=>
(
instance
?HTB
HandToolBox
)
(
hasPurpose
?HTB
(
exists
(?HT)
(
and
(
instance
?HT
HandTool
)
(
contains
?HTB ?HT)))))
Cars.kif 4826-4832
Physique
est une
instance
de
HandToolBox
physique
a pour
but
entit�
entit�
est une
instance
de
HandTool
physique
contient
entit�
(=>
(
instance
?LN
LymphNode
)
(
exists
(?WBC)
(
and
(
instance
?WBC
WhiteBloodCell
)
(
contains
?LN ?WBC))))
Mid-level-ontology.kif 12246-12251
Objet en une partie
est une
instance
de
LymphNode
objet
objet
est une
instance
de
WhiteBloodCell
objet en une partie
contient
objet
(=>
(
instance
?NS
NasalSeptum
)
(
exists
(?NC)
(
and
(
instance
?NC
NasalCavity
)
(
contains
?NC ?NS))))
Mid-level-ontology.kif 6103-6108
Objet
est une
instance
de
NasalSeptum
objet en une partie
objet en une partie
est une
instance
de
NasalCavity
objet en une partie
contient
objet
(=>
(
instance
?OP
OilPan
)
(
hasPurpose
?OP
(
exists
(?O)
(
and
(
instance
?O
Oil
)
(
contains
?OP ?O)))))
Cars.kif 3323-3329
Physique
est une
instance
de
OilPan
physique
a pour
but
entit�
entit�
est une
instance
de
Oil
physique
contient
entit�
(=>
(
instance
?P
Pericardium
)
(
hasPurpose
?P
(
exists
(?H)
(
and
(
instance
?H
Heart
)
(
contains
?P ?H)))))
Mid-level-ontology.kif 11402-11408
Physique
est une
instance
de
Pericardium
physique
a pour
but
entit�
entit�
est une
instance
de
Heart
physique
contient
entit�
(=>
(
instance
?SL
SalineLock
)
(
exists
(?S)
(
and
(
instance
?S
SalineSolution
)
(
contains
?SL ?S))))
Medicine.kif 1106-1111
Objet en une partie
est une
instance
de
SalineLock
objet
objet
est une
instance
de
SalineSolution
objet en une partie
contient
objet
(=>
(
instance
?T
Tomb
)
(
hasPurpose
?T
(
exists
(?P)
(
and
(
attribute
?P
Dead
)
(
contains
?T ?P)))))
Mid-level-ontology.kif 6846-6852
Physique
est une
instance
de
Tomb
physique
a pour
but
entit�
Dead
est un
attribut
de
entit�
physique
contient
entit�
(=>
(
instance
?TUB
BathTub
)
(
hasPurpose
?TUB
(
exists
(?WATER)
(
and
(
instance
?WATER
Water
)
(
contains
?TUB ?WATER)))))
Mid-level-ontology.kif 2054-2060
Physique
est une
instance
de
BathTub
physique
a pour
but
entit�
entit�
est une
instance
de
eau
physique
contient
entit�
(=>
(
instance
?W
WasherForBolt
)
(
hasPurpose
?W
(
exists
(?B)
(
and
(
instance
?B
Bolt
)
(
contains
?W ?B)))))
Mid-level-ontology.kif 4299-4305
Physique
est une
instance
de
WasherForBolt
physique
a pour
but
entit�
entit�
est une
instance
de
Bolt
physique
contient
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
Physique
est une
instance
de
WasherForBolt
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
objet corpusculaire
entit�
est une
instance
de
AttachingDevice
entit�
rencontre
physique
physique
contient
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 3632-3656
Physique
est une
instance
de
AutoAirbag
physique
a pour
but
entit�
entit�
,
entit�
,
entit�
,
entit�
and
entit�
entit�
est une
instance
de
Automobile
physique
est une
partie
de
entit�
entit�
est une
instance
de
humain
entit�
contient
entit�
entit�
est une
instance
de
impacte
entit�
est un
patient
de
entit�
entit�
est une
instance
de
Inflating
physique
est un
patient
de
entit�
entit�
cause
entit�
hinders
entit�
and la
classe
d�crite par
entit�
(=>
(
instance
?X
BoxOfChocolates
)
(
exists
(?B ?C)
(
and
(
instance
?B
Box
)
(
instance
?C
ChocolateCandy
)
(
contains
?B ?C)
(
member
?C ?X))))
Food.kif 2515-2522
Collection
est une
instance
de
BoxOfChocolates
objet en une partie
objet
objet en une partie
est une
instance
de
Box
objet
est une
instance
de
ChocolateCandy
objet en une partie
contient
objet
objet
est un
membre
de
collection
(=>
(
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 3675-3704
Physique
est une
instance
de
SeatBelt
physique
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
Vehicle
physique
est une
partie
de
entit�
entit�
est une
instance
de
humain
entit�
contient
entit�
entit�
est une
instance
de
processus
entit�
previent
l'occurrence de la
classe
d�crite par
entit�
(=>
(
onboard
?O ?V)
(
contains
?V ?O))
Mid-level-ontology.kif 17406-17408
onboard
objet en une partie
and
Vehicle
Vehicle
contient
objet en une partie
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