possesses
(=>
(
instance
?C
MedicalClinic
)
(
not
(
exists
(?B)
(
and
(
possesses
?C ?B)
(
instance
?B
TemporaryResidence
)))))
Mid-level-ontology.kif 7658-7664
AutonomousAgent
e' uma
instancia
de
MedicalClinic
Objeto
AutonomousAgent
possui
Objeto
Objeto
e' uma
instancia
de
TemporaryResidence
(=>
(
instance
?C
Partnership
)
(
exists
(?H1 ?H2)
(
and
(
instance
?H1
Human
)
(
instance
?H2
Human
)
(
not
(
equal
?H1 ?H2))
(
possesses
?H1 ?C)
(
possesses
?H2 ?C))))
Mid-level-ontology.kif 7216-7224
Objeto
e' uma
instancia
de
Partnership
AutonomousAgent
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Humano
AutonomousAgent
e' uma
instancia
de
Humano
AutonomousAgent
e'
igual
a
AutonomousAgent
AutonomousAgent
possui
Objeto
AutonomousAgent
possui
Objeto
(=>
(
instance
?C
Proprietorship
)
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
possesses
?H ?C)
(
not
(
exists
(?H2)
(
and
(
not
(
equal
?H ?H2))
(
possesses
?H2 ?C)))))))
Mid-level-ontology.kif 7308-7318
Objeto
e' uma
instancia
de
Proprietorship
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Humano
AutonomousAgent
possui
Objeto
AutonomousAgent
2
AutonomousAgent
e'
igual
a
AutonomousAgent
2
AutonomousAgent
2
possui
Objeto
(=>
(
instance
?CHARGE
FinalValueFee
)
(
exists
(?ADVERT ?SELLING ?OWNER ?ITEM ?SITE)
(
and
(
instance
?ADVERT
WebListing
)
(
instance
?SELLING
Selling
)
(
instance
?OWNER
AutonomousAgent
)
(
instance
?ITEM
Physical
)
(
instance
?ADVERT
WebListing
)
(
patient
?ADVERT ?ITEM)
(
patient
?SELLING ?ITEM)
(
causes
?SELLING ?CHARGE)
(
agent
?CHARGE ?OWNER)
(
hostedOn
?ADVERT ?SITE)
(
possesses
?OWNER ?SITE)
(
eCommerceSite
?SELLING ?OWNER))))
UXExperimentalTerms.kif 240-255
Processo
e' uma
instancia
de
FinalValueFee
WebListing
Transacao Financeira
,
AutonomousAgent
,
Entidade
and
WebSite
WebListing
e' uma
instancia
de
WebListing
Transacao Financeira
e' uma
instancia
de
Vender
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Entidade
e' uma
instancia
de
Fisico
WebListing
e' uma
instancia
de
WebListing
Entidade
e' um
patient
de
WebListing
Entidade
e' um
patient
de
Transacao Financeira
Transacao Financeira
causa
Processo
Processo
e' um
agente
de
AutonomousAgent
hostedOn
WebListing
and
WebSite
AutonomousAgent
possui
WebSite
eCommerceSite
Transacao Financeira
and
AutonomousAgent
(=>
(
instance
?CHARGE
InsertionFee
)
(
exists
(?SITE ?OWNER ?ADVERT)
(
and
(
instance
?SITE
WebSite
)
(
instance
?OWNER
AutonomousAgent
)
(
instance
?ADVERT
WebListing
)
(
hostedOn
?ADVERT ?SITE)
(
possesses
?OWNER ?SITE)
(
agent
?CHARGE ?OWNER))))
UXExperimentalTerms.kif 209-218
Processo
e' uma
instancia
de
InsertionFee
WebSite
AutonomousAgent
and
WebListing
WebSite
e' uma
instancia
de
WebSite
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
WebListing
e' uma
instancia
de
WebListing
hostedOn
WebListing
and
WebSite
AutonomousAgent
possui
WebSite
Processo
e' um
agente
de
AutonomousAgent
(=>
(
instance
?D
Dormitory
)
(
exists
(?S)
(
and
(
instance
?S
School
)
(
possesses
?S ?D))))
Mid-level-ontology.kif 6984-6989
Objeto
e' uma
instancia
de
Dormitory
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
School
AutonomousAgent
possui
Objeto
(=>
(
instance
?FD
FoodDistributionOperation
)
(
exists
(?FOOD ?CA)
(
and
(
instance
?FOOD
(
FoodForFn
Animal
))
(
instance
?CA
CognitiveAgent
)
(
patient
?FD ?FOOD)
(
destination
?FD ?CA)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?FD))
(
possesses
?CA ?FOOD)))))
Military.kif 62-71
Processo
e' uma
instancia
de
FoodDistributionOperation
Entidade
Entidade
Entidade
e' uma
instancia
de
FoodForFn
Animal
Entidade
e' uma
instancia
de
Agente Cognitivo
Entidade
e' um
patient
de
Processo
Processo
termina
em
Entidade
Entidade
possui
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
instance
?G
PublicGarden
)
(
exists
(?GOV)
(
and
(
instance
?GOV
Government
)
(
possesses
?GOV ?G))))
Mid-level-ontology.kif 8199-8204
Objeto
e' uma
instancia
de
PublicGarden
Objeto
OV
Objeto
OV e' uma
instancia
de
Governo
Objeto
OV
possui
Objeto
(=>
(
instance
?Investment
Investment
)
(
exists
(?Investing ?Agent)
(
and
(
agent
?Investing ?Agent)
(
possesses
?Agent ?Investment))))
FinancialOntology.kif 1771-1776
Objeto
e' uma
instancia
de
Investment
Processo
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
possui
Objeto
(=>
(
instance
?L
Library
)
(
exists
(?B ?T)
(
and
(
possesses
?L ?B)
(
instance
?B
LibraryBuilding
)
(
instance
?T
Text
)
(
located
?T ?B))))
Mid-level-ontology.kif 8467-8474
AutonomousAgent
e' uma
instancia
de
Library
Objeto
Fisico
AutonomousAgent
possui
Objeto
Objeto
e' uma
instancia
de
LibraryBuilding
Fisico
e' uma
instancia
de
Texto
Fisico
e'
situado
em
Objeto
(=>
(
instance
?LAR
LARUnit
)
(
exists
(?LAV)
(
and
(
instance
?LAV
LAV
)
(
possesses
?LAR ?LAV))))
MilitaryPersons.kif 532-537
AutonomousAgent
e' uma
instancia
de
LARUnit
Objeto
Objeto
e' uma
instancia
de
LAV
AutonomousAgent
possui
Objeto
(=>
(
instance
?LIST
ListOnSite
)
(
exists
(?SITE ?ADVERT ?EARLIER ?AFTER ?OWNER)
(
and
(
instance
?SITE
WebSite
)
(
instance
?ADVERT
WebListing
)
(
instance
?EARLIER
TimeInterval
)
(
instance
?AFTER
TimeInterval
)
(
patient
?LIST ?ADVERT)
(
equal
(
EndFn
?EARLIER)
(
EndFn
?LIST))
(
earlier
?LIST ?AFTER)
(
meetsTemporally
?LIST ?AFTER)
(
holdsDuring
?EARLIER
(
not
(
hostedOn
?ADVERT ?SITE)))
(
holdsDuring
?AFTER
(
hostedOn
?ADVERT ?SITE))
(
agent
?LIST ?OWNER)
(
possesses
?OWNER ?SITE))))
UXExperimentalTerms.kif 266-286
Intervalo Temporal
e' uma
instancia
de
ListOnSite
Objeto
Entidade
,
Intervalo Temporal
,
Intervalo Temporal
and
AutonomousAgent
Objeto
e' uma
instancia
de
WebSite
Entidade
e' uma
instancia
de
WebListing
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Entidade
e' um
patient
de
Intervalo Temporal
o
fim
de
Intervalo Temporal
e'
igual
a o
fim
de
Intervalo Temporal
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
Intervalo Temporal
encontra
Intervalo Temporal
hostedOn
Entidade
and
Objeto
vale
durante
Intervalo Temporal
hostedOn
Entidade
and
Objeto
vale
durante
Intervalo Temporal
Intervalo Temporal
e' um
agente
de
AutonomousAgent
AutonomousAgent
possui
Objeto
(=>
(
instance
?M
ArtMuseum
)
(
exists
(?B ?A)
(
and
(
possesses
?M ?B)
(
instance
?B
Building
)
(
instance
?A
ArtWork
)
(
located
?A ?B))))
Mid-level-ontology.kif 8499-8506
AutonomousAgent
e' uma
instancia
de
ArtMuseum
Objeto
Fisico
AutonomousAgent
possui
Objeto
Objeto
e' uma
instancia
de
Predio
Fisico
e' uma
instancia
de
Objeto de Arte
Fisico
e'
situado
em
Objeto
(=>
(
instance
?MM
(
MerchantMarineFn
?AREA))
(
exists
(?REGISTER)
(
and
(
instance
?REGISTER
ShipRegister
)
(
possesses
?AREA ?REGISTER)
(
marineInventory
?MM ?REGISTER))))
Transportation.kif 1113-1119
MerchantMarine
e' uma
instancia
de
MerchantMarineFn
Area Geopolitica
ShipRegister
ShipRegister
e' uma
instancia
de
ShipRegister
Area Geopolitica
possui
ShipRegister
marineInventory
MerchantMarine
and
ShipRegister
(=>
(
instance
?MP
AntiArmorPlatoon
)
(
exists
(?MG)
(
and
(
instance
?MG
AntiArmorWeapon
)
(
possesses
?MP ?MG))))
MilitaryPersons.kif 603-608
AutonomousAgent
e' uma
instancia
de
AntiArmorPlatoon
Objeto
Objeto
e' uma
instancia
de
AntiArmorWeapon
AutonomousAgent
possui
Objeto
(=>
(
instance
?MP
HeavyMGPlatoon
)
(
exists
(?MG)
(
and
(
instance
?MG
HeavyMachineGun
)
(
possesses
?MP ?MG))))
MilitaryPersons.kif 619-624
AutonomousAgent
e' uma
instancia
de
HeavyMGPlatoon
Objeto
Objeto
e' uma
instancia
de
HeavyMachineGun
AutonomousAgent
possui
Objeto
(=>
(
instance
?MP
HeavyMGPlatoon
)
(
exists
(?MG)
(
and
(
instance
?MG
MK19
)
(
possesses
?MP ?MG))))
MilitaryPersons.kif 628-633
AutonomousAgent
e' uma
instancia
de
HeavyMGPlatoon
Objeto
Objeto
e' uma
instancia
de
MK19
AutonomousAgent
possui
Objeto
(=>
(
instance
?MP
MortarPlatoon
)
(
exists
(?MG)
(
and
(
instance
?MG
MortarGun
)
(
possesses
?MP ?MG))))
MilitaryPersons.kif 556-561
AutonomousAgent
e' uma
instancia
de
MortarPlatoon
Objeto
Objeto
e' uma
instancia
de
MortarGun
AutonomousAgent
possui
Objeto
(=>
(
instance
?MV
MilitaryVehicle
)
(
and
(
instance
?A
MilitaryForce
)
(
possesses
?A ?MV)
(
capability
MilitaryProcess
patient
?MV)))
Military.kif 197-202
Objeto
e' uma
instancia
de
MilitaryVehicle
AutonomousAgent
e' uma
instancia
de
MilitaryForce
AutonomousAgent
possui
Objeto
Objeto
e'
capaz
de fazer
Processo Militar
no role
patient
(=>
(
instance
?N
BroadcastNetwork
)
(
exists
(?O)
(
and
(
instance
?O
Organization
)
(
forall
(?M)
(=>
(
member
?M ?N)
(
possesses
?O ?M))))))
Communications.kif 369-377
Colecao
e' uma
instancia
de
BroadcastNetwork
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Organizacao
Objeto
Objeto
e'
membro
de
Colecao
AutonomousAgent
possui
Objeto
(=>
(
instance
?P
PublicPark
)
(
exists
(?G)
(
and
(
instance
?G
Government
)
(
possesses
?G ?P))))
Mid-level-ontology.kif 8128-8133
Objeto
e' uma
instancia
de
PublicPark
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Governo
AutonomousAgent
possui
Objeto
(=>
(
instance
?R
Restaurant
)
(
exists
(?D)
(
and
(
possesses
?R ?D)
(
instance
?D
DiningArea
))))
Mid-level-ontology.kif 7297-7302
AutonomousAgent
e' uma
instancia
de
Restaurant
Objeto
AutonomousAgent
possui
Objeto
Objeto
e' uma
instancia
de
DiningArea
(=>
(
instance
?STORE
WebStore
)
(
exists
(?OWNER)
(
and
(
instance
?OWNER
Human
)
(
possesses
?OWNER ?STORE))))
UXExperimentalTerms.kif 2148-2153
Objeto
e' uma
instancia
de
WebStore
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Humano
AutonomousAgent
possui
Objeto
(=>
(
instance
?SVC
SafetyDepositService
)
(
exists
(?SAFE ?KEEP ?OBJ ?AGENT)
(
and
(
serviceProvider
?SVC ?AGENT)
(
instance
?SAFE
SafeContainer
)
(
instance
?KEEP
Keeping
)
(
located
?KEEP ?SAFE)
(
possesses
?AGENT ?SAFE)
(
patient
?KEEP ?OBJ)
(
subProcess
?KEEP ?SVC)
(
not
(
possesses
?AGENT ?OBJ)))))
Hotel.kif 2262-2273
ServiceProcess
e' uma
instancia
de
SafetyDepositService
Objeto
Processo
,
Objeto
and
Agente Cognitivo
serviceProvider
ServiceProcess
and
Agente Cognitivo
Objeto
e' uma
instancia
de
SafeContainer
Processo
e' uma
instancia
de
Manter
Processo
e'
situado
em
Objeto
Agente Cognitivo
possui
Objeto
Objeto
e' um
patient
de
Processo
Processo
e' um
sub
-processo de
ServiceProcess
Agente Cognitivo
nao
possui
%n
Objeto
(=>
(
instance
?SVC
ShuttleService
)
(
exists
(?LIST ?VEHICLE ?AGENT)
(
and
(
agent
?SVC ?AGENT)
(
possesses
?AGENT ?VEHICLE)
(
instance
?VEHICLE
Automobile
)
(
instance
?LIST
List
)
(
forall
(?X)
(=>
(
inList
?X ?LIST)
(
and
(
instance
?X
PostalPlace
)
(
exists
(?TRANSPORT)
(
and
(
instance
?TRANSPORT
Transportation
)
(
agent
?TRANSPORT ?AGENT)
(
instrument
?TRANSPORT ?VEHICLE)
(
destination
?TRANSPORT ?X)))))))))
Hotel.kif 2035-2053
Processo
e' uma
instancia
de
ShuttleService
Lista
Objeto
and
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
possui
Objeto
Objeto
e' uma
instancia
de
Automobile
Lista
e' uma
instancia
de
Lista
Entidade
Entidade
e' um
membro
de
Lista
Entidade
e' uma
instancia
de
PostalPlace
Processo
Processo
e' uma
instancia
de
Transporte
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
instrumento
para
Processo
Processo
termina
em
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