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
Fisico
e' uma
instancia
de
GasTank
Fisico
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Fuel
Fisico
contem
Entidade
Entidade
e' uma
instancia
de
Engine
Entidade
e' uma
instancia
de
Transferencia
Entidade
tem como
origem
Fisico
Entidade
termina
em
Entidade
Entidade
e' um
patient
de
Entidade
(=>
(
instance
?GT
GasTank
)
(
hasPurpose
?GT
(
exists
(?F)
(
and
(
instance
?F
Fuel
)
(
contains
?GT ?F)))))
Cars.kif 992-998
Fisico
e' uma
instancia
de
GasTank
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Fuel
Fisico
contem
Entidade
(=>
(
instance
?H
Holster
)
(
hasPurpose
?H
(
exists
(?P)
(
and
(
instance
?P
Pistol
)
(
contains
?H ?P)))))
Mid-level-ontology.kif 1658-1664
Fisico
e' uma
instancia
de
Holster
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Pistol
Fisico
contem
Entidade
(=>
(
instance
?HTB
HandToolBox
)
(
hasPurpose
?HTB
(
exists
(?HT)
(
and
(
instance
?HT
HandTool
)
(
contains
?HTB ?HT)))))
Cars.kif 4826-4832
Fisico
e' uma
instancia
de
HandToolBox
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
HandTool
Fisico
contem
Entidade
(=>
(
instance
?LN
LymphNode
)
(
exists
(?WBC)
(
and
(
instance
?WBC
WhiteBloodCell
)
(
contains
?LN ?WBC))))
Mid-level-ontology.kif 12246-12251
Objeto auto-conectado
e' uma
instancia
de
LymphNode
Objeto
Objeto
e' uma
instancia
de
WhiteBloodCell
Objeto auto-conectado
contem
Objeto
(=>
(
instance
?NS
NasalSeptum
)
(
exists
(?NC)
(
and
(
instance
?NC
NasalCavity
)
(
contains
?NC ?NS))))
Mid-level-ontology.kif 6103-6108
Objeto
e' uma
instancia
de
NasalSeptum
Objeto auto-conectado
Objeto auto-conectado
e' uma
instancia
de
NasalCavity
Objeto auto-conectado
contem
Objeto
(=>
(
instance
?OP
OilPan
)
(
hasPurpose
?OP
(
exists
(?O)
(
and
(
instance
?O
Oil
)
(
contains
?OP ?O)))))
Cars.kif 3323-3329
Fisico
e' uma
instancia
de
OilPan
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Oil
Fisico
contem
Entidade
(=>
(
instance
?P
Pericardium
)
(
hasPurpose
?P
(
exists
(?H)
(
and
(
instance
?H
Heart
)
(
contains
?P ?H)))))
Mid-level-ontology.kif 11402-11408
Fisico
e' uma
instancia
de
Pericardium
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Heart
Fisico
contem
Entidade
(=>
(
instance
?SL
SalineLock
)
(
exists
(?S)
(
and
(
instance
?S
SalineSolution
)
(
contains
?SL ?S))))
Medicine.kif 1106-1111
Objeto auto-conectado
e' uma
instancia
de
SalineLock
Objeto
Objeto
e' uma
instancia
de
SalineSolution
Objeto auto-conectado
contem
Objeto
(=>
(
instance
?T
Tomb
)
(
hasPurpose
?T
(
exists
(?P)
(
and
(
attribute
?P
Dead
)
(
contains
?T ?P)))))
Mid-level-ontology.kif 6846-6852
Fisico
e' uma
instancia
de
Tomb
Fisico
tem por
fim
Entidade
Dead
e' um
atributo
de
Entidade
Fisico
contem
Entidade
(=>
(
instance
?TUB
BathTub
)
(
hasPurpose
?TUB
(
exists
(?WATER)
(
and
(
instance
?WATER
Water
)
(
contains
?TUB ?WATER)))))
Mid-level-ontology.kif 2054-2060
Fisico
e' uma
instancia
de
BathTub
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Agua
Fisico
contem
Entidade
(=>
(
instance
?W
WasherForBolt
)
(
hasPurpose
?W
(
exists
(?B)
(
and
(
instance
?B
Bolt
)
(
contains
?W ?B)))))
Mid-level-ontology.kif 4299-4305
Fisico
e' uma
instancia
de
WasherForBolt
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Bolt
Fisico
contem
Entidade
(=>
(
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
Fisico
e' uma
instancia
de
WasherForBolt
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Objeto Corpuscular
Entidade
e' uma
instancia
de
AttachingDevice
Entidade
encontra
Fisico
Fisico
contem
Entidade
(=>
(
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
Fisico
e' uma
instancia
de
AutoAirbag
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
,
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Automobile
Fisico
e' uma &parte de
Entidade
Entidade
e' uma
instancia
de
Humano
Entidade
contem
Entidade
Entidade
e' uma
instancia
de
Impactar
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
Inflating
Fisico
e' um
patient
de
Entidade
Entidade
causa
Entidade
hinders
Entidade
and a
classe
descrita por
Entidade
(=>
(
instance
?X
BoxOfChocolates
)
(
exists
(?B ?C)
(
and
(
instance
?B
Box
)
(
instance
?C
ChocolateCandy
)
(
contains
?B ?C)
(
member
?C ?X))))
Food.kif 2515-2522
Colecao
e' uma
instancia
de
BoxOfChocolates
Objeto auto-conectado
Objeto
Objeto auto-conectado
e' uma
instancia
de
Box
Objeto
e' uma
instancia
de
ChocolateCandy
Objeto auto-conectado
contem
Objeto
Objeto
e'
membro
de
Colecao
(=>
(
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
Fisico
e' uma
instancia
de
SeatBelt
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Vehicle
Fisico
e' uma &parte de
Entidade
Entidade
e' uma
instancia
de
Humano
Entidade
contem
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
proibe
a ocurrencia de a
classe
descrita por
Entidade
(=>
(
onboard
?O ?V)
(
contains
?V ?O))
Mid-level-ontology.kif 17406-17408
onboard
Objeto auto-conectado
and
Vehicle
Vehicle
contem
Objeto auto-conectado
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