hasPurpose
(=>
(
and
(
instance
?Service
CommercialService
)
(
agent
?Service ?Agent)
(
employs
?Org ?Agent)
(
destination
?Service ?Customer))
(
hasPurpose
?Service
(
exists
(?Transaction)
(
and
(
instance
?Transaction
FinancialTransaction
)
(
destination
?Transaction ?Org)
(
origin
?Transaction ?Customer)))))
FinancialOntology.kif 3590-3601
Processo
e' uma
instancia
de
CommercialService
Processo
e' um
agente
de
Agente Cognitivo
AutonomousAgent
emprega
Agente Cognitivo
Processo
termina
em
Entidade
Processo
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Transacao Financeira
Entidade
termina
em
AutonomousAgent
Entidade
tem como
origem
Entidade
(=>
(
and
(
instance
?T
Tailpipe
)
(
instance
?TR
Transfer
)
(
instance
?E
Exhaust
)
(
instance
?A
Automobile
)
(
instance
?AES
AutomobileExhaustSystem
)
(
part
?T ?A)
(
path
?TR ?T)
(
patient
?TR ?E))
(
hasPurpose
?T
(
not
(
exists
(?O)
(
and
(
part
?O ?A)
(
beforeOnPath
?T ?O ?AES ?TR))))))
Cars.kif 4054-4069
Objeto
e' uma
instancia
de
Tailpipe
Objeto
R e' uma
instancia
de
Transferencia
Entidade
e' uma
instancia
de
Exhaust
Objeto
e' uma
instancia
de
Automobile
Objeto
ES e' uma
instancia
de
AutomobileExhaustSystem
Objeto
e' uma &parte de
Objeto
Objeto
e' o
caminho
ao longo do qual
Objeto
R ocorre
Entidade
e' um
patient
de
Objeto
R
Objeto
tem por
fim
Entidade
Entidade
e' uma &parte de
Objeto
beforeOnPath
Objeto
,
Entidade
,
Objeto
ES and
Objeto
R
(=>
(
and
(
instance
?T
Transportation
)
(
instance
?W
Wheel
)
(
instance
?A
Automobile
)
(
part
?W ?A)
(
instrument
?T ?A)
(
instance
?AB
AntilockBrake
)
(
instance
?D
Decelerating
)
(
instrument
?D ?AB)
(
part
?AB ?W))
(
hasPurpose
?AB
(
exists
(?R)
(
and
(
instance
?R
Rotating
)
(
during
?R ?D)))))
Cars.kif 1292-1307
Processo
e' uma
instancia
de
Transporte
Objeto
e' uma
instancia
de
Wheel
Objeto
e' uma
instancia
de
Automobile
Objeto
e' uma &parte de
Objeto
Objeto
e' um
instrumento
para
Processo
Objeto
B e' uma
instancia
de
AntilockBrake
Processo
e' uma
instancia
de
Decelerating
Objeto
B e' um
instrumento
para
Processo
Objeto
B e' uma &parte de
Objeto
Objeto
B tem por
fim
Entidade
Entidade
e' uma
instancia
de
Rotating
Entidade
acontece
durante
Processo
(=>
(
and
(
instance
?VCS
VentedChestSeal
)
(
instance
?A
Attaching
)
(
objectTransferred
?A ?VCS)
(
destination
?A ?H))
(
hasPurpose
?VCS
(
exists
(?A ?L ?C ?H)
(
and
(
instance
?A
Air
)
(
instance
?L
Lung
)
(
instance
?C
Chest
)
(
part
?L ?H)
(
part
?C ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?A))
(
between
?L ?A ?C))
(
hasPurpose
?VCS
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?A))
(
orientation
?A ?H
Outside
)))))))
Medicine.kif 853-875
Objeto
e' uma
instancia
de
VentedChestSeal
Transferencia
e' uma
instancia
de
Colar
objectTransferred
Transferencia
and
Objeto
Transferencia
termina
em
Entidade
Objeto
tem por
fim
Transferencia
Entidade
,
Entidade
and
Entidade
Transferencia
e' uma
instancia
de
Air
Entidade
e' uma
instancia
de
Lung
Entidade
e' uma
instancia
de
Chest
Entidade
e' uma &parte de
Entidade
Entidade
e' uma &parte de
Entidade
Transferencia
esta'
entre
Entidade
e
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Transferencia
Objeto
tem por
fim
Transferencia
e'
Outside
em relacao a
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Transferencia
(=>
(
and
(
instance
?WEAPON
HighPrecisionWeapon
)
(
instrument
?DESTR ?WEAPON)
(
patient
?DESTR ?PATIENT))
(
hasPurpose
?WEAPON
(
not
(
exists
(?DAMAGING ?DAMAGED)
(
and
(
instance
?DAMAGING
Damaging
)
(
subProcess
?DAMAGING ?DESTR)
(
patient
?DAMAGING ?DAMAGED)
(
not
(
equal
?PATIENT ?DAMAGED)))))))
MilitaryProcesses.kif 641-654
Objeto
e' uma
instancia
de
HighPrecisionWeapon
Objeto
e' um
instrumento
para
Processo
Entidade
e' um
patient
de
Processo
Objeto
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Causar Dano
Entidade
e' um
sub
-processo de
Processo
Entidade
e' um
patient
de
Entidade
Entidade
e'
igual
a
Entidade
(=>
(
and
(
instance
?X
CarAlarm
)
(
instance
?CAR
SelfPoweredRoadVehicle
)
(
part
?X ?CAR))
(
exists
(?HARM ?THIEF ?T ?L)
(
hasPurpose
?X
(=>
(
and
(
or
(
instance
?HARM
Stealing
)
(
instance
?HARM
Damaging
))
(
instance
?THIEF
Human
)
(
agent
?HARM ?THIEF)
(
patient
?HARM ?CAR)
(
equal
(
WhenFn
?HARM) ?T)
(
eventPartlyLocated
?HARM ?L))
(
exists
(?ALARM)
(
and
(
instance
?ALARM
RadiatingSound
)
(
agent
?ALARM ?X)
(
causes
?HARM ?ALARM)
(
hasPurpose
?ALARM
(
increasesLikelihood
(
exists
(?WITNESS)
(
and
(
instance
?WITNESS
Human
)
(
holdsDuring
?T
(
orientation
?WITNESS ?L
Near
))))
(
or
(
knows
?WITNESS
(
exists
(?H)
(
and
(
or
(
instance
?H
Stealing
)
(
instance
?H
Damaging
))
(
eventPartlyLocated
?H ?L)
(
holdsDuring
?T
(
patient
?H ?CAR)))))
(
finishes
(
WhenFn
?ALARM)
(
WhenFn
?HARM)))))))))))
Cars.kif 3718-3759
Objeto
e' uma
instancia
de
CarAlarm
Objeto
e' uma
instancia
de
SelfPoweredRoadVehicle
Objeto
e' uma &parte de
Objeto
Entidade
Entidade
,
Entidade
and
Entidade
Objeto
tem por
fim
Entidade
e' uma
instancia
de
Stealing
Entidade
e' uma
instancia
de
Causar Dano
Entidade
e' uma
instancia
de
Humano
Entidade
e' um
agente
de
Entidade
Objeto
e' um
patient
de
Entidade
tempo
de existencia de
Entidade
e'
igual
a
Entidade
eventPartlyLocated
Entidade
and
Entidade
Entidade
Entidade
e' uma
instancia
de
Som Irradiante
Entidade
e' um
agente
de
Objeto
Entidade
causa
Entidade
Entidade
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Humano
Entidade
e'
Near
em relacao a
Entidade
vale
durante
Entidade
aumenta
a probabilidade de
Entidade
sabe
Entidade
Entidade
e' uma
instancia
de
Stealing
Entidade
e' uma
instancia
de
Causar Dano
eventPartlyLocated
Entidade
and
Entidade
Objeto
e' um
patient
de
Entidade
vale
durante
Entidade
tempo
de existencia de
Entidade
termina
em
tempo
de existencia de
Entidade
(=>
(
and
(
instance
?X
FireAlarm
)
(
attribute
?X
DeviceOn
)
(
located
?X ?LOC))
(
exists
(?RS)
(
and
(
instance
?RS
RadiatingSound
)
(
instrument
?RS ?X)
(
hasPurpose
?RS
(
exists
(?GRP)
(
and
(
instance
?GRP
GroupOfPeople
)
(
located
?GRP ?LOC)
(
knows
?GRP
(
exists
(?FIRE)
(
and
(
instance
?FIRE
Fire
)
(
eventLocated
?FIRE ?LOC))))))))))
Mid-level-ontology.kif 26445-26463
Objeto
e' uma
instancia
de
FireAlarm
DeviceOn
e' um
atributo
de
Objeto
Objeto
e'
situado
em
Objeto
Processo
Processo
e' uma
instancia
de
Som Irradiante
Objeto
e' um
instrumento
para
Processo
Processo
tem por
fim
Entidade
Entidade
e' uma
instancia
de
GroupOfPeople
Entidade
e'
situado
em
Objeto
Entidade
sabe
Entidade
Entidade
e' uma
instancia
de
Fire
eventLocated
Entidade
and
Objeto
(=>
(
and
(
instance
?X
HotelFunctionRoom
)
(
element
?X
(
PropertyFn
?HOTEL)))
(
hasPurpose
?X
(
exists
(?RENT)
(
and
(
instance
?RENT
Renting
)
(
patient
?RENT ?X)))))
Hotel.kif 1696-1704
Fisico
e' uma
instancia
de
HotelFunctionRoom
Fisico
e' um
elemento
de
propriedade
de
AutonomousAgent
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Renting
Fisico
e' um
patient
de
Entidade
(=>
(
and
(
instance
?X
Nursery
)
(
element
?X
(
PropertyFn
?HOTEL))
(
attribute
?HOTEL
TravelerAccommodation
))
(
exists
(?NANNY ?CARE)
(
and
(
attribute
?X
CommunalAttribute
)
(
employs
?HOTEL ?NANNY)
(
hasPurpose
?NANNY
(
and
(
instance
?CARE
ChildCareService
)
(
serviceProvider
?CARE ?NANNY))))))
Hotel.kif 1902-1914
Objeto
e' uma
instancia
de
Nursery
Objeto
e' um
elemento
de
propriedade
de
AutonomousAgent
TravelerAccommodation
e' um
atributo
de
AutonomousAgent
Agente Cognitivo
Entidade
CommunalAttribute
e' um
atributo
de
Objeto
AutonomousAgent
emprega
Agente Cognitivo
Agente Cognitivo
tem por
fim
Entidade
e' uma
instancia
de
ChildCareService
serviceProvider
Entidade
and
Agente Cognitivo
(=>
(
and
(
instance
?X
Respirator
)
(
instance
?PERSON
Animal
)
(
wears
?PERSON ?X))
(
hasPurpose
?X
(
exists
(?INHAL ?INJ ?PROTECT ?I)
(
and
(
instance
?PROTECT
Process
)
(
instrument
?PROTECT ?X)
(
prevents
?PROTECT ?INJ)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
patient
?I ?H)
(
instance
?INHAL
Inhaling
)
(
agent
?INHAL ?H)
(
causes
?I ?INHAL))))))))))
Cars.kif 3539-3560
WearableItem
e' uma
instancia
de
Respirator
Animal
e' uma
instancia
de
Animal
Animal
usa
WearableItem
WearableItem
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Processo
WearableItem
e' um
instrumento
para
Entidade
Entidade
proibe
a ocurrencia de
Entidade
Entidade
e' uma
sub
-classe de a
classe
descrita por
Entidade
(=>
(
and
(
instance
?X
SurveillanceSystem
)
(
member
?X ?VIDEO)
(
member
?X ?DISPLAY)
(
located
?VIDEO ?LOC1)
(
instance
?VIDEO
Camera
)
(
located
?DISPLAY ?LOC2)
(
not
(
equal
?LOC1 ?LOC2))
(
instance
?DISPLAY
VideoDisplay
))
(
hasPurpose
?X
(
exists
(?PROC ?VID ?RL ?CAPTURE)
(
and
(
instance
?PROC
Process
)
(
eventLocated
?PROC ?LOC1)
(
represents
?VID ?PROC)
(
instrument
?CAPTURE
Camera
)
(
result
?CAPTURE ?VID)
(
instance
?RL
RadiatingLight
)
(
instrument
?RL ?DISPLAY)
(
patient
?RL ?VID)
(
before
(
BeginFn
?PROC)
(
BeginFn
?CAPTURE))
(
before
(
BeginFn
?CAPTURE)
(
BeginFn
?RL))))))
Mid-level-ontology.kif 26961-26987
Fisico
e' uma
instancia
de
SurveillanceSystem
Fisico
e'
membro
de
Colecao
Fisico
e'
membro
de
Colecao
Colecao
e'
situado
em
Objeto
Colecao
e' uma
instancia
de
Camera
Colecao
e'
situado
em
Objeto
Objeto
e'
igual
a
Objeto
Colecao
e' uma
instancia
de
VideoDisplay
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Processo
eventLocated
Entidade
and
Objeto
Entidade
define
Entidade
Camera
e' um
instrumento
para
Entidade
Entidade
e' o
resultado
de
Entidade
Entidade
e' uma
instancia
de
Luz Irradiante
Colecao
e' um
instrumento
para
Entidade
Entidade
e' um
patient
de
Entidade
o
comeco
de
Entidade
comeca
antes
de o
comeco
de
Entidade
o
comeco
de
Entidade
comeca
antes
de o
comeco
de
Entidade
(=>
(
and
(
offers
?HOTEL ?MP)
(
instance
?MP
MealPlan
)
(
includedMeal
?MP ?ATTR)
(
attribute
?HOTEL
TravelerAccommodation
)
(
guest
?GUEST ?HOTEL)
(
buys
?GUEST ?HOTEL ?MP))
(
holdsDuring
(
WhenFn
(
guest
?GUEST ?HOTEL))
(
exists
(?TI)
(
holdsDuring
?TI
(
exists
(?MEAL)
(
and
(
attribute
?MEAL ?ATTR)
(
hasPurpose
?MEAL
(
exists
(?E)
(
and
(
instance
?E
Eating
)
(
agent
?E ?GUEST)
(
patient
?E ?MEAL))))))))))
Hotel.kif 1558-1578
offers
AutonomousAgent
and
MealPlan
MealPlan
e' uma
instancia
de
MealPlan
includedMeal
MealPlan
and
Atributo Relacional
TravelerAccommodation
e' um
atributo
de
AutonomousAgent
guest
Agente Cognitivo
and
AutonomousAgent
buys
Agente Cognitivo
,
AutonomousAgent
and
MealPlan
Entidade
Entidade
Atributo Relacional
e' um
atributo
de
Entidade
Entidade
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Comer
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
e' um
patient
de
Entidade
vale
durante
Entidade
vale
durante
tempo
de existencia de
guest
Agente Cognitivo
and
AutonomousAgent
(=>
(
and
(
suppliesBlood
?AC ?BPC)
(
instance
?A ?AC)
(
instance
?BP ?BPC))
(
hasPurpose
?A
(
exists
(?BF ?B)
(
and
(
instance
?BF
LiquidMotion
)
(
objectTransferred
?BF ?B)
(
instance
?B
Blood
)
(
destination
?BF ?BP)))))
Anatomy.kif 1947-1958
suppliesBlood
Artery
and
Parte do Corpo
Fisico
e' uma
instancia
de
Artery
Entidade
e' uma
instancia
de
Parte do Corpo
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
LiquidMotion
objectTransferred
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Sangue
Entidade
termina
em
Entidade
(=>
(
and
(
vaccine
?VAC ?VIR)
(
instance
?V
Vaccination
)
(
experiencer
?V ?H)
(
instance
?VACI ?VAC)
(
objectTransferred
?V ?VACI))
(
hasPurpose
?VACI
(
not
(
exists
(?I ?VIRI)
(
and
(
instance
?I
Infecting
)
(
experiencer
?I ?H)
(
instance
?VIRI ?VIR)
(
objectTransferred
?I ?VIRI))))))
WMD.kif 1089-1103
vaccine
Vaccine
and
Virus
Transferencia
e' uma
instancia
de
Vaccination
AutonomousAgent
experimenta
Transferencia
Vaccine
I e' uma
instancia
de
Vaccine
objectTransferred
Transferencia
and
Vaccine
I
Vaccine
I tem por
fim
Entidade
Virus
I
Entidade
e' uma
instancia
de
Infecting
AutonomousAgent
experimenta
Entidade
Virus
I e' uma
instancia
de
Virus
objectTransferred
Entidade
and
Virus
I
(=>
(
attribute
?A
SecurityOfficer
)
(
hasPurpose
?A
(
exists
(?LE)
(
and
(
instance
?LE
LawEnforcement
)
(
agent
?LE ?A)))))
MilitaryPersons.kif 754-760
SecurityOfficer
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
e' uma
instancia
de
LawEnforcement
Entidade
e' um
agente
de
Objeto
(=>
(
attribute
?FEED
Fodder
)
(
hasPurpose
?FEED
(
exists
(?ANIMAL ?EAT)
(
and
(
instance
?ANIMAL
DomesticAnimal
)
(
instance
?EAT
Eating
)
(
agent
?EAT ?ANIMAL)
(
patient
?EAT ?FEED)))))
Mid-level-ontology.kif 20051-20059
Fodder
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
DomesticAnimal
Entidade
e' uma
instancia
de
Comer
Entidade
e' um
agente
de
Entidade
Objeto
e' um
patient
de
Entidade
(=>
(
attribute
?H
ArtCritic
)
(
hasPurpose
?H
(
exists
(?AW ?T ?CLASS)
(
and
(
instance
?AW
ArtWork
)
(
overlapsTemporally
(
WhenFn
?AW)
(
WhenFn
?H))
(
instance
?T ?CLASS)
(
subclass
?CLASS
Article
)
(
authors
?H ?CLASS)
(
refers
?T ?AW)))))
Mid-level-ontology.kif 21088-21100
ArtCritic
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Objeto de Arte
tempo
de existencia de
Objeto
engloba
tempo
de existencia de
Entidade
Entidade
e' uma
instancia
de
Entidade
Entidade
e' uma
sub
-classe de
Artigo
Objeto
e' o
autor
de
Entidade
Entidade
inclui uma
referencia
a
Entidade
(=>
(
attribute
?H
IntelligenceOfficer
)
(
hasPurpose
?H
(
exists
(?I)
(
and
(
instance
?I
IntelligenceActivities
)
(
agent
?I ?H)))))
MilitaryPersons.kif 771-777
IntelligenceOfficer
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
e' uma
instancia
de
IntelligenceActivities
Entidade
e' um
agente
de
Objeto
(=>
(
attribute
?H
NewsReporter
)
(
hasPurpose
?H
(
exists
(?EV ?T ?NEWS)
(
and
(
instance
?EV
Process
)
(
overlapsTemporally
(
WhenFn
?EV)
(
WhenFn
?H))
(
instance
?T ?NEWS)
(
or
(
subclass
?NEWS
Newspaper
)
(
subclass
?NEWS
NewsProgram
))
(
authors
?H ?NEWS)
(
refers
?T ?EV)))))
Mid-level-ontology.kif 21065-21079
NewsReporter
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Processo
tempo
de existencia de
Objeto
engloba
tempo
de existencia de
Entidade
Entidade
e' uma
instancia
de
Entidade
Entidade
e' uma
sub
-classe de
Newspaper
Entidade
e' uma
sub
-classe de
NewsProgram
Objeto
e' o
autor
de
Entidade
Entidade
inclui uma
referencia
a
Entidade
(=>
(
attribute
?H
Valet
)
(
hasPurpose
?H
(
and
(
instance
?VEHICLE
Vehicle
)
(
instance
?PUT
Putting
)
(
destination
?PUT ?PARK)
(
instance
?PARK
ParkingRegion
)
(
patient
?PUT ?VEHICLE)
(
agent
?PUT ?H))))
TransportDetail.kif 132-141
Valet
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
e' uma
instancia
de
Vehicle
Entidade
e' uma
instancia
de
Colocar
Entidade
termina
em
Entidade
Entidade
e' uma
instancia
de
ParkingRegion
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Objeto
(=>
(
attribute
?M
CoinOperated
)
(
hasPurpose
?M
(
exists
(?C ?FT ?A ?ACT)
(
and
(
instance
?C
CurrencyCoin
)
(
instance
?FT
FinancialTransaction
)
(
destination
?FT ?M)
(
patient
?FT ?C)
(
origin
?FT ?A)
(
causes
?FT ?ACT)
(
wants
?A ?ACT)))))
Mid-level-ontology.kif 29462-29473
CoinOperated
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
CT
Entidade
e' uma
instancia
de
CurrencyCoin
Entidade
e' uma
instancia
de
Transacao Financeira
Entidade
termina
em
Objeto
Entidade
e' um
patient
de
Entidade
Entidade
tem como
origem
Entidade
Entidade
causa
Entidade
CT
Entidade
quer
Entidade
CT
(=>
(
attribute
?P
SEAL
)
(
hasPurpose
?P
(
exists
(?S)
(
and
(
instance
?S
SpecialOperation
)
(
agent
?S ?P)))))
MilitaryPersons.kif 796-802
SEAL
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
e' uma
instancia
de
SpecialOperation
Entidade
e' um
agente
de
Objeto
(=>
(
attribute
?ROOM
OpenLayout
)
(
and
(
instance
?ROOM
Room
)
(
exists
(?R1 ?R2 ?H)
(
and
(
instance
?R1
Region
)
(
instance
?R2
Region
)
(
located
?R1 ?ROOM)
(
located
?R2 ?ROOM)
(
not
(
equal
?R1 ?R2))
(
orientation
?R1 ?R2
Adjacent
)
(
exists
(?P1 ?P2)
(
and
(
instance
?P1
Process
)
(
instance
?P2
Process
)
(
hasPurpose
?R1 ?P1)
(
hasPurpose
?R2 ?P2)))
(=>
(
and
(
instance
?H
AutonomousAgent
)
(
located
?H ?R2))
(
and
(
capability
Seeing
agent
?H)
(
capability
Seeing
patient
?R1)))))))
Dining.kif 956-980
OpenLayout
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Comodo
Objeto
Objeto
and
Objeto
Objeto
e' uma
instancia
de
Regiao
Objeto
e' uma
instancia
de
Regiao
Objeto
e'
situado
em
Objeto
Objeto
e'
situado
em
Objeto
Objeto
e'
igual
a
Objeto
Objeto
e'
Adjacent
em relacao a
Objeto
Formula
Formula
Formula
e' uma
instancia
de
Processo
Formula
e' uma
instancia
de
Processo
Objeto
tem por
fim
Formula
Objeto
tem por
fim
Formula
Objeto
e' uma
instancia
de
AutonomousAgent
Objeto
e'
situado
em
Objeto
Objeto
e'
capaz
de fazer
Visao
no role
agent
Objeto
e'
capaz
de fazer
Visao
no role
patient
(=>
(
attribute
?U
ExpeditionaryForce
)
(
hasPurpose
?U
(
exists
(?B ?C ?FC)
(
and
(
subOrganization
?U
(
GovernmentFn
?C))
(
instance
?B
Battle
)
(
agent
?B ?U)
(
instance
?FC
Nation
)
(
located
?B ?FC)
(
not
(
equal
?C ?FC))))))
MilitaryPersons.kif 712-724
ExpeditionaryForce
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
and
Entidade
Objeto
e' uma parte da organizacao o
governo
de
Entidade
Entidade
e' uma
instancia
de
Batalha
Entidade
e' um
agente
de
Objeto
Entidade
e' uma
instancia
de
Nacao
Entidade
e'
situado
em
Entidade
Entidade
e'
igual
a
Entidade
(=>
(
attribute
?X
ArtsAndRecreationTicketingServices
)
(
hasPurpose
?X
(
exists
(?SELL ?TICKET ?CUST)
(
and
(
instance
?SELL
Selling
)
(
patient
?SELL ?TICKET)
(
agent
?SELL ?X)
(
instance
?TICKET
Ticket
)
(
destination
?SELL ?CUST)
(
hasPurpose
?TICKET
(
confersRight
(
exists
(?WATCH ?PERF)
(
and
(
instance
?WATCH
Seeing
)
(
agent
?WATCH ?CUST)
(
patient
?WATCH ?PERF)
(
or
(
instance
?PERF
Performance
)
(
instance
?PERF
Sport
)))) ?X ?CUST))))))
Hotel.kif 2353-2372
ArtsAndRecreationTicketingServices
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Vender
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Objeto
Entidade
e' uma
instancia
de
Ticket
Entidade
termina
em
Entidade
Entidade
tem por
fim
Objeto
autoriza
Entidade
a executar tarefas de tipo
Entidade
Entidade
Entidade
e' uma
instancia
de
Visao
Entidade
e' um
agente
de
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
Performance
Entidade
e' uma
instancia
de
Esporte
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