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
Oggetto
è un'
istanza
di
Passport
AutonomousAgent
possiede
es
Oggetto
confersNorm
Oggetto
,
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Translocation
Entit�
è un
agente
di
AutonomousAgent
Entit�
si
originas in
Entit�
Entit�
fine
s in
Entit�
Entit�
è un'
istanza
di
Nazione
Entit�
è un'
istanza
di
Nazione
Entit�
is
uguale
a
Entit�
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
Oggetto
è un'
istanza
di
ShipRegistration
AutonomousAgent
è un'
istanza
di
Ship
AutonomousAgent
possiede
es
Oggetto
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
flagState
AutonomousAgent
and
AreaGeopolitica
ShipRegisterFn
AreaGeopolitica
sussume
il contenuto di
Oggetto
(=>
(
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
è un'
istanza
di
Restaurant
Oggetto
è un'
istanza
di
DiningRoom
attribute
Oggetto
and
PrivateAttribute
AutonomousAgent
possiede
es
Oggetto
customer
AgenteCognitivo
and
AutonomousAgent
Processo
è un'
istanza
di
Mangiare
Processo
è un
agente
di
AgenteCognitivo
AgenteCognitivo
è un'
istanza
di
GroupOfPeople
l'affermazione
Entit�
Entit�
customer
Entit�
and
AutonomousAgent
AgenteCognitivo
is
uguale
a
Entit�
Entit�
è un'
istanza
di
Mangiare
Entit�
è un
agente
di
Entit�
eventLocated
Entit�
and
Oggetto
vales
durante
il
tempo
di esistenza di
Processo
ha il modello di forza di
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
è un'
istanza
di
Ticket
AutonomousAgent
possiede
es
Oggetto
issuedBy
AutonomousAgent
and
AgenteCognitivo
attribute
AgenteCognitivo
and
AmusementGamblingAndRecreationIndustries
AgenteCognitivo
è
localizzato
in
Oggetto
confersNorm
AgenteCognitivo
,
Entit�
Entit�
è un'
istanza
di
PassatempoOEsercizio
Oggetto
esperisce
s
Entit�
eventLocated
Entit�
and
Oggetto
and
Permission
(=>
(
and
(
instance
?TIME
TimePosition
)
(
holdsDuring
?TIME
(
possesses
?AGENT1 ?OBJ))
(
holdsDuring
?TIME
(
possesses
?AGENT2 ?OBJ)))
(
equal
?AGENT1 ?AGENT2))
Merge.kif 4265-4270
PosizioneTemporale
è un'
istanza
di
PosizioneTemporale
Entit�
possiede
es
Entit�
vales
durante
PosizioneTemporale
Entit�
possiede
es
Entit�
vales
durante
PosizioneTemporale
Entit�
is
uguale
a
Entit�
(=>
(
and
(
instance
?UNIT
SingleFamilyResidence
)
(
home
?PERSON ?UNIT)
(
possesses
?PERSON ?UNIT)
(
not
(
instance
?UNIT
Building
)))
(
instance
?UNIT
CondominiumUnit
))
Mid-level-ontology.kif 6921-6927
PermanentResidence
è un'
istanza
di
SingleFamilyResidence
home
Umano
and
PermanentResidence
Umano
possiede
es
PermanentResidence
PermanentResidence
è un'
istanza
di
Costruzione
PermanentResidence
è un'
istanza
di
CondominiumUnit
(=>
(
and
(
instance
?WEAPON
BiochemicalWeapon
)
(
possesses
?AGENT ?WEAPON))
(
capability
BiochemicalAttack
agent
?AGENT))
WMD.kif 51-55
Oggetto
è un'
istanza
di
BiochemicalWeapon
AutonomousAgent
possiede
es
Oggetto
AutonomousAgent
è
capace
di fare
BiochemicalAttack
nel ruolo
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
Certificato
and
AgenteCognitivo
Certificato
è un'
istanza
di
Ticket
AutonomousAgent
possiede
es
Certificato
confersNorm
AgenteCognitivo
,
Entit�
Entit�
Entit�
è un'
istanza
di
Processo
Entit�
è un
agente
di
AgenteCognitivo
AutonomousAgent
esperisce
s
Entit�
vales
durante
Entit�
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
Entit�Concreta
Entit�
è un'
istanza
di
HotelFunctionRoom
%è un
elemento
di %2
Processo
è un'
istanza
di
Renting
Entit�
è un
paziente
di
Processo
Processo
fine
s in
AgenteCognitivo
Oggetto
è un'
istanza
di
Entit�Concreta
AutonomousAgent
possiede
es
Oggetto
customer
AgenteCognitivo
and
AutonomousAgent
Oggetto
è un'
istanza
di
Processo
Oggetto
è un
agente
di
AgenteCognitivo
AgenteCognitivo
esperisce
s
Oggetto
AutonomousAgent
possiede
es
Oggetto
Oggetto
è un'
istanza
di
Oggetto
AgenteCognitivo
usa
Oggetto
NumeroReale
Unit�DiMisura
price
Oggetto
,
NumeroReale
Unit�DiMisura
(s and
AutonomousAgent
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
NumeroReale
è
pi
ù grande di 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
Entit�Concreta
Processo
è un'
istanza
di
Entit�Concreta
customer
AgenteCognitivo
and
AutonomousAgent
Processo
è un'
istanza
di
Processo
Processo
è un
agente
di
AgenteCognitivo
AgenteCognitivo
esperisce
s
Processo
AutonomousAgent
possiede
es
Processo
Processo
è un'
istanza
di
Oggetto
AgenteCognitivo
usa
Processo
NumeroReale
Unit�DiMisura
price
Processo
,
NumeroReale
Unit�DiMisura
(s and
AutonomousAgent
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
NumeroReale
è
pi
ù grande di 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
possiede
es
Oggetto
la
misura
Oggetto
è
NumeroReale
ShareUnit
(s
splitFor
StockSplit
,
NumeroIntero
and
NumeroIntero
Entit�
is
uguale
a
NumeroReale
+
NumeroIntero
Entit�
is
uguale
a
Entit�
+
NumeroIntero
la
misura
Oggetto
è
Entit�
ShareUnit
(s vales
durante
immediatamente
dopo
il
tempo
di esistenza di
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
AgenteCognitivo
possiede
es
Oggetto
AgenteCognitivo
è un'
istanza
di
CommercialAgent
Oggetto
è un'
istanza
di
ParkingLot
Oggetto
è un'
istanza
di
Costruzione
AgenteCognitivo
è
localizzato
in
Oggetto
customer
AgenteCognitivo
and
AutonomousAgent
AutonomousAgent
è
localizzato
in
Oggetto
vales
durante
PosizioneTemporale
Processo
è un'
istanza
di
Driving
Entit�
è un
paziente
di
Processo
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
Oggetto
AgenteCognitivo
permette
a
AutonomousAgent
di compiere il compito di tipo
Entit�
è un'
istanza
di
Trattenere
Entit�
fine
s in
Oggetto
Entit�
è un
paziente
di
Entit�
vales
durante
PosizioneTemporale
(=>
(
and
(
riskTolerance
?Agent ?Level)
(
instance
?Investment
Investment
)
(
possesses
?Agent ?Investment))
(
riskLevel
?Investment ?Level))
FinancialOntology.kif 3490-3495
riskTolerance
AutonomousAgent
and
RiskAttribute
Oggetto
è un'
istanza
di
Investment
AutonomousAgent
possiede
es
Oggetto
riskLevel
Oggetto
and
RiskAttribute
(=>
(
possesses
?PERSON ?OBJ)
(
element
?OBJ
(
PropertyFn
?PERSON)))
Merge.kif 4285-4288
AutonomousAgent
possiede
es
Oggetto
%è un
elemento
di %2
(=>
(
possesses
?PERSON ?OBJ)
(
modalAttribute
(
uses
?OBJ ?PERSON)
Permission
))
Merge.kif 4253-4255
AutonomousAgent
possiede
es
Oggetto
l'affermazione
AutonomousAgent
usa
Oggetto
ha il modello di forza di
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