hasPurpose
(=>
(
instance
?AP
AirPump
)
(
hasPurpose
?AP
(
exists
(?T ?A)
(
and
(
instance
?T
Transportation
)
(
instance
?A
Air
)
(
instrument
?T ?AP)
(
patient
?T ?A)))))
Mid-level-ontology.kif 25500-25508
Fisico
e' uma
instancia
de
AirPump
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Transporte
Entidade
e' uma
instancia
de
Air
Fisico
e' um
instrumento
para
Entidade
Entidade
e' um
patient
de
Entidade
(=>
(
instance
?AP
Antidepressant
)
(
hasPurpose
?AP
(
exists
(?I ?H)
(
and
(
instance
?I
Ingesting
)
(
objectTransferred
?I ?AP)
(
agent
?AP ?H)
(
holdsDuring
(
FutureFn
(
WhenFn
?I))
(
not
(
attribute
?H
Depression
)))))))
Mid-level-ontology.kif 9696-9708
Fisico
e' uma
instancia
de
Antidepressant
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Ingerir
objectTransferred
Entidade
and
Fisico
Fisico
e' um
agente
de
Entidade
Depression
e' um
atributo
de
Entidade
vale
durante
apos
tempo
de existencia de
Entidade
(=>
(
instance
?AP
Antipsychotic
)
(
hasPurpose
?AP
(
exists
(?I ?H)
(
and
(
instance
?I
Ingesting
)
(
objectTransferred
?I ?AP)
(
agent
?AP ?H)
(
holdsDuring
(
FutureFn
(
WhenFn
?I))
(
not
(
attribute
?H
Psychosis
)))))))
Mid-level-ontology.kif 9716-9728
Fisico
e' uma
instancia
de
Antipsychotic
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Ingerir
objectTransferred
Entidade
and
Fisico
Fisico
e' um
agente
de
Entidade
Psychosis
e' um
atributo
de
Entidade
vale
durante
apos
tempo
de existencia de
Entidade
(=>
(
instance
?APP
Application
)
(
hasPurpose
?APP
(
exists
(?JOIN ?GIVE)
(
or
(
instance
?JOIN
JoiningAnOrganization
)
(
instance
?GIVE
UnilateralGiving
)))))
Mid-level-ontology.kif 14510-14516
Fisico
e' uma
instancia
de
Application
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Juntar-se a uma Organizacao
Entidade
e' uma
instancia
de
Doacao Unilateral
(=>
(
instance
?ARU
AmphibiousReconnaissanceUnit
)
(
hasPurpose
?ARU
(
exists
(?AR)
(
and
(
instance
?AR
AmphibiousReconnaissance
)
(
agent
?AR ?ARU)))))
MilitaryProcesses.kif 800-806
Fisico
e' uma
instancia
de
AmphibiousReconnaissanceUnit
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
AmphibiousReconnaissance
Entidade
e' um
agente
de
Fisico
(=>
(
instance
?AT
AutomobileTransmission
)
(
hasPurpose
?AT
(
exists
(?C ?D ?A ?R1 ?N1 ?R2 ?R3 ?R4 ?N2 ?N3)
(
and
(
instance
?C
Crankshaft
)
(
instance
?D
Driveshaft
)
(
instance
?A
Automobile
)
(
part
?D ?A)
(
part
?AT ?A)
(
part
?C ?A)
(
connectedEngineeringComponents
?C ?AT)
(
connectedEngineeringComponents
?D ?AT)
(
instance
?R1
Rotating
)
(
instance
?R2
Rotating
)
(
instance
?R3
Rotating
)
(
instance
?R4
Rotating
)
(
patient
?R1 ?C)
(
patient
?R2 ?C)
(
patient
?R3 ?D)
(
patient
?R4 ?D)
(
causes
?R1 ?R3)
(
causes
?R2 ?R4)
(
not
(
equal
?R1 ?R2))
(
holdsDuring
?R1
(
measure
?C
(
RotationFn
?N1
MinuteDuration
)))
(
holdsDuring
?R2
(
measure
?C
(
RotationFn
?N1
MinuteDuration
)))
(
holdsDuring
?R3
(
measure
?D
(
RotationFn
?N2
MinuteDuration
)))
(
holdsDuring
?R4
(
measure
?D
(
RotationFn
?N3
MinuteDuration
)))
(
not
(
equal
?N2 ?N3))))))
Cars.kif 2352-2386
Fisico
e' uma
instancia
de
AutomobileTransmission
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
,
Entidade
,
Entidade
,
Entidade
,
Entidade
,
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Crankshaft
Entidade
e' uma
instancia
de
Driveshaft
Entidade
e' uma
instancia
de
Automobile
Entidade
e' uma &parte de
Entidade
Fisico
e' uma &parte de
Entidade
Entidade
e' uma &parte de
Entidade
Entidade
e'
conectado
a
Fisico
Entidade
e'
conectado
a
Fisico
Entidade
e' uma
instancia
de
Rotating
Entidade
e' uma
instancia
de
Rotating
Entidade
e' uma
instancia
de
Rotating
Entidade
e' uma
instancia
de
Rotating
Entidade
e' um
patient
de
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
causa
Entidade
Entidade
causa
Entidade
Entidade
e'
igual
a
Entidade
a
medida
de
Entidade
e'
RotationFn
Entidade
and
MinuteDuration
vale
durante
Entidade
a
medida
de
Entidade
e'
RotationFn
Entidade
and
MinuteDuration
vale
durante
Entidade
a
medida
de
Entidade
e'
RotationFn
Entidade
and
MinuteDuration
vale
durante
Entidade
a
medida
de
Entidade
e'
RotationFn
Entidade
and
MinuteDuration
vale
durante
Entidade
Entidade
e'
igual
a
Entidade
(=>
(
instance
?ATTACK
BiochemicalAttack
)
(
hasPurpose
?ATTACK
(
exists
(?DAMAGE ?ORGANISM)
(
and
(
instance
?DAMAGE
Damaging
)
(
patient
?DAMAGE ?ORGANISM)
(
causes
?ATTACK ?DAMAGE)
(
instance
?ORGANISM
Organism
)))))
WMD.kif 70-78
Fisico
e' uma
instancia
de
BiochemicalAttack
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Causar Dano
Entidade
e' um
patient
de
Entidade
Fisico
causa
Entidade
Entidade
e' uma
instancia
de
Organismo
(=>
(
instance
?ATV
AllTerrainVehicle
)
(
hasPurpose
?ATV
(
exists
(?D ?L)
(
and
(
instance
?D
Transportation
)
(
instrument
?D ?ATV)
(
holdsDuring
(
WhenFn
?D)
(
orientation
?ATV ?L
On
))
(
not
(
instance
?L
Roadway
))))))
Cars.kif 4776-4786
Fisico
e' uma
instancia
de
AllTerrainVehicle
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Transporte
Fisico
e' um
instrumento
para
Entidade
Fisico
e'
On
em relacao a
Entidade
vale
durante
tempo
de existencia de
Entidade
Entidade
e' uma
instancia
de
Roadway
(=>
(
instance
?AUDITORIUM
Auditorium
)
(
hasPurpose
?AUDITORIUM
(
exists
(?DEMO)
(
and
(
instance
?DEMO
Demonstrating
)
(
eventLocated
?DEMO ?AUDITORIUM)))))
Mid-level-ontology.kif 7324-7330
Fisico
e' uma
instancia
de
Auditorium
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Demonstrating
eventLocated
Entidade
and
Fisico
(=>
(
instance
?AW
ArtWork
)
(
hasPurpose
?AW
(
exists
(?H ?P)
(
and
(
instance
?H
Human
)
(
instance
?P
Perception
)
(
experiencer
?P ?H)
(
patient
?P ?AW)))))
Merge.kif 15866-15874
Fisico
e' uma
instancia
de
Objeto de Arte
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Humano
Entidade
e' uma
instancia
de
Percepcao
Entidade
experimenta
Entidade
Fisico
e' um
patient
de
Entidade
(=>
(
instance
?AW
ArtWork
)
(
hasPurpose
?AW
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
desires
?H
(
exists
(?P)
(
and
(
instance
?P
Perception
)
(
experiencer
?P ?H)
(
patient
?P ?AW))))))))
Merge.kif 15876-15887
Fisico
e' uma
instancia
de
Objeto de Arte
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Humano
Entidade
deseja
Entidade
Entidade
e' uma
instancia
de
Percepcao
Entidade
experimenta
Entidade
Fisico
e' um
patient
de
Entidade
(=>
(
instance
?B
Balloon
)
(
hasPurpose
?B
(
exists
(?G)
(
and
(
attribute
?G
Gas
)
(
contains
?B ?G)))))
Cars.kif 3601-3607
Fisico
e' uma
instancia
de
Balloon
Fisico
tem por
fim
Entidade
Gas
e' um
atributo
de
Entidade
Fisico
contem
Entidade
(=>
(
instance
?B
Ballot
)
(
hasPurpose
?B
(
exists
(?V)
(
and
(
instance
?V
Voting
)
(
instrument
?V ?B)))))
Mid-level-ontology.kif 14498-14504
Fisico
e' uma
instancia
de
Ballot
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Voting
Fisico
e' um
instrumento
para
Entidade
(=>
(
instance
?B
Bandage
)
(
hasPurpose
?B
(
exists
(?TP ?C)
(
and
(
instance
?TP
TherapeuticProcess
)
(
instance
?C
Covering
)
(
subProcess
?C ?TP)
(
instrument
?C ?B)))))
Mid-level-ontology.kif 5689-5697
Fisico
e' uma
instancia
de
Bandage
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Processo Terapeutico
Entidade
e' uma
instancia
de
Cobrir
Entidade
e' um
sub
-processo de
Entidade
Fisico
e' um
instrumento
para
Entidade
(=>
(
instance
?B
BaseballBase
)
(
hasPurpose
?B
(
exists
(?G)
(
and
(
instance
?G
Baseball
)
(
patient
?G ?B)))))
Sports.kif 613-619
Fisico
e' uma
instancia
de
BaseballBase
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Baseball
Fisico
e' um
patient
de
Entidade
(=>
(
instance
?B
BaseballBat
)
(
hasPurpose
?B
(
exists
(?H)
(
and
(
instance
?H
BaseballHit
)
(
instrument
?H ?B)))))
Sports.kif 640-646
Fisico
e' uma
instancia
de
BaseballBat
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
BaseballHit
Fisico
e' um
instrumento
para
Entidade
(=>
(
instance
?B
Baton
)
(
hasPurpose
?B
(
exists
(?M ?G)
(
and
(
instance
?M
MusicalPerformance
)
(
instance
?G
Guiding
)
(
subProcess
?G ?M)
(
instrument
?G ?B)))))
Mid-level-ontology.kif 2853-2861
Fisico
e' uma
instancia
de
Baton
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
MusicalPerformance
Entidade
e' uma
instancia
de
Guiar
Entidade
e' um
sub
-processo de
Entidade
Fisico
e' um
instrumento
para
Entidade
(=>
(
instance
?B
Bolt
)
(
hasPurpose
?B
(
exists
(?A ?N)
(
and
(
instance
?A
Attaching
)
(
instance
?N
MechanicalNut
)
(
instrument
?A ?B)
(
instrument
?A ?N)))))
Cars.kif 4180-4188
Fisico
e' uma
instancia
de
Bolt
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Colar
Entidade
e' uma
instancia
de
MechanicalNut
Fisico
e' um
instrumento
para
Entidade
Entidade
e' um
instrumento
para
Entidade
(=>
(
instance
?B
Bomber
)
(
hasPurpose
?B
(
exists
(?T ?D)
(
and
(
instance
?T
Transportation
)
(
instrument
?T ?B)
(
patient
?T ?D)
(
instance
?D
ExplosiveDevice
)))))
Military.kif 177-185
Fisico
e' uma
instancia
de
Bomber
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Transporte
Fisico
e' um
instrumento
para
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
ExplosiveDevice
(=>
(
instance
?B
BowlingBall
)
(
exists
(?HOLES)
(
and
(
instance
?HOLES
Collection
)
(
memberType
?HOLES
HoleRegion
)
(
memberCount
?HOLES 3)
(
located
?HOLES ?B)
(
hasPurpose
?HOLES
(
exists
(?FINGER ?HOLE)
(
and
(
member
?HOLE ?HOLES)
(
instance
?FINGER
Finger
)
(
partiallyFills
?FINGER ?HOLE)))))))
Sports.kif 1126-1139
Objeto
e' uma
instancia
de
BowlingBall
Colecao
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
Buraco
memberCount
Colecao
and 3
Colecao
e'
situado
em
Objeto
Colecao
tem por
fim
Entidade
Entidade
Entidade
e'
membro
de
Colecao
Entidade
e' uma
instancia
de
Finger
Entidade
completa
partialmente
Entidade
(=>
(
instance
?B
Brake
)
(
hasPurpose
?B
(
exists
(?D)
(
and
(
instance
?D
Decelerating
)
(
instrument
?D ?B)))))
Cars.kif 544-550
Fisico
e' uma
instancia
de
Brake
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Decelerating
Fisico
e' um
instrumento
para
Entidade
(=>
(
instance
?B
BrakePad
)
(
hasPurpose
?B
(
exists
(?F ?BR)
(
and
(
instance
?F
Friction
)
(
resource
?F ?B)
(
instance
?BR
BrakeRotor
)
(
patient
?F ?BR)))))
Cars.kif 607-615
Fisico
e' uma
instancia
de
BrakePad
Fisico
tem por
fim
Entidade
Fisico
R
Entidade
e' uma
instancia
de
Friction
Fisico
e' um
recurso
para
Entidade
Fisico
R e' uma
instancia
de
BrakeRotor
Fisico
R e' um
patient
de
Entidade
(=>
(
instance
?B
BrakeShoe
)
(
hasPurpose
?B
(
exists
(?F ?BD)
(
and
(
instance
?F
Friction
)
(
resource
?F ?B)
(
instance
?BD
BrakeDrum
)
(
patient
?F ?BD)))))
Cars.kif 629-637
Fisico
e' uma
instancia
de
BrakeShoe
Fisico
tem por
fim
Entidade
Fisico
D
Entidade
e' uma
instancia
de
Friction
Fisico
e' um
recurso
para
Entidade
Fisico
D e' uma
instancia
de
BrakeDrum
Fisico
D e' um
patient
de
Entidade
(=>
(
instance
?B
Brick
)
(
hasPurpose
?B
(
exists
(?C)
(
and
(
instance
?C
Constructing
)
(
resource
?C ?B)))))
Mid-level-ontology.kif 4757-4763
Fisico
e' uma
instancia
de
Brick
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Construcao
Fisico
e' um
recurso
para
Entidade
(=>
(
instance
?B
Broom
)
(
hasPurpose
?B
(
exists
(?S)
(
and
(
instance
?S
Sweeping
)
(
instrument
?S ?B)))))
Mid-level-ontology.kif 1912-1918
Fisico
e' uma
instancia
de
Broom
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Sweeping
Fisico
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