possesses
(=>
(
and
(
instance
?P
Passport
)
(
possesses
?A ?P))
(
confersNorm
?P
(
exists
(?T ?N1 ?N2)
(
and
(
instance
?T
Translocation
)
(
agent
?T ?A)
(
origin
?T ?N1)
(
destination
?T ?N2)
(
instance
?N1
Nation
)
(
instance
?N2
Nation
)
(
not
(
equal
?N1 ?N2))))
Permission
))
Mid-level-ontology.kif 16561-16575
Objeto
e' uma
instancia
de
Passport
AutonomousAgent
possui
Objeto
confersNorm
Objeto
,
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Translocation
Entidade
e' um
agente
de
AutonomousAgent
Entidade
tem como
origem
Entidade
Entidade
termina
em
Entidade
Entidade
e' uma
instancia
de
Nacao
Entidade
e' uma
instancia
de
Nacao
Entidade
e'
igual
a
Entidade
and
Permission
(=>
(
and
(
instance
?REGISTRATION
ShipRegistration
)
(
instance
?SHIP
Ship
)
(
possesses
?SHIP ?REGISTRATION)
(
instance
?AREA
GeopoliticalArea
)
(
flagState
?SHIP ?AREA))
(
subsumesContentInstance
(
ShipRegisterFn
?AREA) ?REGISTRATION))
Transportation.kif 1097-1104
Objeto
e' uma
instancia
de
ShipRegistration
AutonomousAgent
e' uma
instancia
de
Ship
AutonomousAgent
possui
Objeto
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
flagState
AutonomousAgent
and
Area Geopolitica
ShipRegisterFn
Area Geopolitica
subsume
o conteudo de
Objeto
(=>
(
and
(
instance
?REST
Restaurant
)
(
instance
?DR
DiningRoom
)
(
attribute
?DR
PrivateAttribute
)
(
possesses
?REST ?DR)
(
customer
?GRP1 ?REST)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
))
(
modalAttribute
(
not
(
exists
(?GRP2 ?E2)
(
and
(
customer
?GRP2 ?REST)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
holdsDuring
(
WhenFn
?E1)
(
eventLocated
?E2 ?DR)))))
Likely
))
Dining.kif 1227-1246
AutonomousAgent
e' uma
instancia
de
Restaurant
Objeto
e' uma
instancia
de
DiningRoom
PrivateAttribute
e' um
atributo
de
Objeto
AutonomousAgent
possui
Objeto
customer
Agente Cognitivo
and
AutonomousAgent
Processo
e' uma
instancia
de
Comer
Processo
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
e' uma
instancia
de
GroupOfPeople
o argumento
Entidade
Entidade
customer
Entidade
and
AutonomousAgent
Agente Cognitivo
e'
igual
a
Entidade
Entidade
e' uma
instancia
de
Comer
Entidade
e' um
agente
de
Entidade
eventLocated
Entidade
and
Objeto
vale
durante
tempo
de existencia de
Processo
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?T
Ticket
)
(
possesses
?T ?CUST)
(
issuedBy
?T ?ORG)
(
attribute
?ORG
AmusementGamblingAndRecreationIndustries
)
(
located
?ORG ?LOC))
(
confersNorm
?ORG
(
exists
(?REC)
(
and
(
instance
?REC
RecreationOrExercise
)
(
experiencer
?REC ?CUST)
(
eventLocated
?REC ?LOC)))
Permission
))
naics.kif 11456-11468
AutonomousAgent
e' uma
instancia
de
Ticket
AutonomousAgent
possui
Objeto
issuedBy
AutonomousAgent
and
Agente Cognitivo
AmusementGamblingAndRecreationIndustries
e' um
atributo
de
Agente Cognitivo
Agente Cognitivo
e'
situado
em
Objeto
confersNorm
Agente Cognitivo
,
Entidade
Entidade
e' uma
instancia
de
Recreacao ou Exercicio
Objeto
experimenta
Entidade
eventLocated
Entidade
and
Objeto
and
Permission
(=>
(
and
(
instance
?TIME
TimePosition
)
(
holdsDuring
?TIME
(
possesses
?AGENT1 ?OBJ))
(
holdsDuring
?TIME
(
possesses
?AGENT2 ?OBJ)))
(
equal
?AGENT1 ?AGENT2))
Merge.kif 4265-4270
Posicao Temporal
e' uma
instancia
de
Posicao Temporal
Entidade
possui
Entidade
vale
durante
Posicao Temporal
Entidade
possui
Entidade
vale
durante
Posicao Temporal
Entidade
e'
igual
a
Entidade
(=>
(
and
(
instance
?UNIT
SingleFamilyResidence
)
(
home
?PERSON ?UNIT)
(
possesses
?PERSON ?UNIT)
(
not
(
instance
?UNIT
Building
)))
(
instance
?UNIT
CondominiumUnit
))
Mid-level-ontology.kif 6921-6927
PermanentResidence
e' uma
instancia
de
SingleFamilyResidence
a
casa
de
Humano
e'
PermanentResidence
Humano
possui
PermanentResidence
PermanentResidence
e' uma
instancia
de
Predio
PermanentResidence
e' uma
instancia
de
CondominiumUnit
(=>
(
and
(
instance
?WEAPON
BiochemicalWeapon
)
(
possesses
?AGENT ?WEAPON))
(
capability
BiochemicalAttack
agent
?AGENT))
WMD.kif 51-55
Objeto
e' uma
instancia
de
BiochemicalWeapon
AutonomousAgent
possui
Objeto
AutonomousAgent
e'
capaz
de fazer
BiochemicalAttack
no role
agent
(=>
(
and
(
issuedBy
?TICKET ?AGENT)
(
instance
?TICKET
Ticket
)
(
possesses
?CUST ?TICKET))
(
confersNorm
?AGENT
(
exists
(?T)
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
Process
)
(
agent
?P ?AGENT)
(
experiencer
?P ?CUST)))))
Permission
))
Mid-level-ontology.kif 16542-16554
issuedBy
Certificado
and
Agente Cognitivo
Certificado
e' uma
instancia
de
Ticket
AutonomousAgent
possui
Certificado
confersNorm
Agente Cognitivo
,
Entidade
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
e' um
agente
de
Agente Cognitivo
AutonomousAgent
experimenta
Entidade
vale
durante
Entidade
and
Permission
(=>
(
and
(
paidFunctionRoomAmenity
?FR ?PHYS)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?AGENT))
(
instance
?R
Renting
)
(
patient
?R ?RM)
(
destination
?R ?CUST)
(
instance
?X ?PHYS)
(
possesses
?AGENT ?X)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
exists
(?PRICE ?U)
(
and
(
price
?X
(
MeasureFn
?PRICE ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 871-897
paidFunctionRoomAmenity
HotelFunctionRoom
and
Fisico
Entidade
e' uma
instancia
de
HotelFunctionRoom
Entidade
e' um
elemento
de
propriedade
de
AutonomousAgent
Processo
e' uma
instancia
de
Renting
Entidade
e' um
patient
de
Processo
Processo
termina
em
Agente Cognitivo
Objeto
e' uma
instancia
de
Fisico
AutonomousAgent
possui
Objeto
customer
Agente Cognitivo
and
AutonomousAgent
Objeto
e' uma
instancia
de
Processo
Objeto
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
experimenta
Objeto
AutonomousAgent
possui
Objeto
Objeto
e' uma
instancia
de
Objeto
Agente Cognitivo
usa
Objeto
Numero Real
Unidade de Medida
price
Objeto
,
Numero Real
Unidade de Medida
(s) and
AutonomousAgent
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
Numero Real
e'
maior
que 0
(=>
(
and
(
paidPropertyAmenity
?AGENT ?PHYS)
(
instance
?X ?PHYS)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
exists
(?PRICE ?U)
(
and
(
price
?X
(
MeasureFn
?PRICE ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 569-589
paidPropertyAmenity
AutonomousAgent
and
Fisico
Processo
e' uma
instancia
de
Fisico
customer
Agente Cognitivo
and
AutonomousAgent
Processo
e' uma
instancia
de
Processo
Processo
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
experimenta
Processo
AutonomousAgent
possui
Processo
Processo
e' uma
instancia
de
Objeto
Agente Cognitivo
usa
Processo
Numero Real
Unidade de Medida
price
Processo
,
Numero Real
Unidade de Medida
(s) and
AutonomousAgent
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
Numero Real
e'
maior
que 0
(=>
(
and
(
possesses
?Agent ?Stocks)
(
measure
?Stocks
(
MeasureFn
?Number
ShareUnit
))
(
splitFor
?Event ?N1 ?N2))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Event))
(
and
(
equal
?N3
(
MultiplicationFn
?Number ?N2))
(
equal
?NewNumber
(
DivisionFn
?N3 ?N1))
(
measure
?Stocks
(
MeasureFn
?NewNumber
ShareUnit
)))))
FinancialOntology.kif 2229-2239
AutonomousAgent
possui
Objeto
a
medida
de
Objeto
e'
Numero Real
ShareUnit
(s)
splitFor
StockSplit
,
Numero Inteiro
and
Numero Inteiro
Entidade
e'
igual
a
Numero Real
+
Numero Inteiro
Entidade
e'
igual
a
Entidade
+
Numero Inteiro
a
medida
de
Objeto
e'
Entidade
ShareUnit
(s)
vale
durante imediatemente
apos
tempo
de existencia de
StockSplit
(=>
(
and
(
possesses
?BUS ?PARK)
(
instance
?BUS
CommercialAgent
)
(
instance
?PARK
ParkingLot
)
(
instance
?BLDG
Building
)
(
located
?BUS ?BLDG)
(
customer
?BUS ?CUST)
(
holdsDuring
?T
(
located
?CUST ?BLDG))
(
instance
?DRIVE
Driving
)
(
patient
?DRIVE ?VEHICLE)
(
agent
?DRIVE ?CUST)
(
destination
?DRIVE ?BLDG))
(
holdsDuring
?T
(
confersRight
(
and
(
instance
?PUT
Keeping
)
(
destination
?PUT ?PARK)
(
patient
?PUT ?VEHICLE)) ?BUS ?CUST)))
TransportDetail.kif 102-121
Agente Cognitivo
possui
Objeto
Agente Cognitivo
e' uma
instancia
de
CommercialAgent
Objeto
e' uma
instancia
de
ParkingLot
Objeto
e' uma
instancia
de
Predio
Agente Cognitivo
e'
situado
em
Objeto
customer
Agente Cognitivo
and
AutonomousAgent
AutonomousAgent
e'
situado
em
Objeto
vale
durante
Posicao Temporal
Processo
e' uma
instancia
de
Dirigir
Entidade
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
Objeto
Agente Cognitivo
autoriza
AutonomousAgent
a executar tarefas de tipo
Entidade
e' uma
instancia
de
Manter
Entidade
termina
em
Objeto
Entidade
e' um
patient
de
Entidade
vale
durante
Posicao Temporal
(=>
(
and
(
riskTolerance
?Agent ?Level)
(
instance
?Investment
Investment
)
(
possesses
?Agent ?Investment))
(
riskLevel
?Investment ?Level))
FinancialOntology.kif 3490-3495
riskTolerance
AutonomousAgent
and
RiskAttribute
Objeto
e' uma
instancia
de
Investment
AutonomousAgent
possui
Objeto
riskLevel
Objeto
and
RiskAttribute
(=>
(
possesses
?PERSON ?OBJ)
(
element
?OBJ
(
PropertyFn
?PERSON)))
Merge.kif 4285-4288
AutonomousAgent
possui
Objeto
Objeto
e' um
elemento
de
propriedade
de
AutonomousAgent
(=>
(
possesses
?PERSON ?OBJ)
(
modalAttribute
(
uses
?OBJ ?PERSON)
Permission
))
Merge.kif 4253-4255
AutonomousAgent
possui
Objeto
o argumento
AutonomousAgent
usa
Objeto
tem a
forca
modal
de
Permission
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