Process
(Processo)
(=>
(
and
(
offersAtTime
?AGENT ?CATALOG ?TIMEINT)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Object
)
(
instance
?PROCESSINSTANCE ?PROCESS)
(
subclass
?PROCESS
Process
)
(
instance
?OBJ ?CLASS)
(
patient
?PROCESSINSTANCE ?OBJ)
(
instance
?TIMEINT ?TIME)
(
subclass
?TIME
TimeInterval
))
(
capabilityDuring
?PROCESS
agent
?AGENT ?TIME))
Catalog.kif 139-150
offersAtTime
AutonomousAgent
,
Catalog
and
IntervalloTemporale
catalogItem
Entit�
and
Catalog
Entit�
è una
sottoclasse
di
Oggetto
Processo
è un'
istanza
di
Processo
Processo
è una
sottoclasse
di
Processo
Entit�
è un'
istanza
di
Entit�
Entit�
è un
paziente
di
Processo
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
è una
sottoclasse
di
IntervalloTemporale
capabilityDuring
Processo
,
agent
,
AutonomousAgent
and
IntervalloTemporale
(=>
(
and
(
offersAtTime
?AGENT ?CATALOG ?TIMEINT)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Process
)
(
instance
?TIMEINT ?TIME)
(
subclass
?TIME
TimeInterval
))
(
capabilityDuring
?CLASS
agent
?AGENT ?TIME))
Catalog.kif 130-137
offersAtTime
AutonomousAgent
,
Catalog
and
IntervalloTemporale
catalogItem
Entit�
and
Catalog
Entit�
è una
sottoclasse
di
Processo
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
è una
sottoclasse
di
IntervalloTemporale
capabilityDuring
Entit�
,
agent
,
AutonomousAgent
and
IntervalloTemporale
(=>
(
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
(
paidRoomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?O ?OBJ)
(
located
?O ?R)
(
instance
?P
Process
)
(
agent
?P ?GUEST)
(
or
(
located
?P ?R)
(
patient
?P ?O)
(
instrument
?P ?O)
(
resource
?P ?O)))
(
exists
(?PRICE ?U)
(
and
(
price
?O
(
MeasureFn
?PRICE ?U) ?GUEST)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 396-417
paidRoomAmenity
HotelUnit
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Oggetto
TemporaryResidence
è un'
istanza
di
HotelUnit
stays
Umano
and
TemporaryResidence
%è un
elemento
di %2
Oggetto
è un'
istanza
di
Entit�Concreta
Oggetto
è
localizzato
in
TemporaryResidence
Processo
è un'
istanza
di
Processo
Processo
è un
agente
di
Umano
Processo
è
localizzato
in
TemporaryResidence
Oggetto
è un
paziente
di
Processo
Oggetto
è uno
strumento
per
Processo
Oggetto
è una
risorsa
per
Processo
Processo
RICE
Unit�DiMisura
price
Oggetto
,
Processo
RICE
Unit�DiMisura
(s and
Umano
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
Processo
RICE è
pi
ù grande di 0
(=>
(
and
(
paidRoomAmenity
?ROOM ?PROC)
(
subclass
?PROC
Process
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
patient
?P ?GUEST)
(
or
(
instance
?P ?PROC)
(
and
(
instance
?S ?PROC)
(
subProcess
?P ?S)))
(
located
?P ?R))
(
exists
(?PRICE ?U)
(
and
(
price
?P
(
MeasureFn
?PRICE ?U) ?GUEST)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 419-438
paidRoomAmenity
HotelUnit
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Processo
TemporaryResidence
è un'
istanza
di
HotelUnit
stays
Umano
and
TemporaryResidence
%è un
elemento
di %2
Umano
è un
paziente
di
Processo
Processo
è un'
istanza
di
Entit�Concreta
Processo
è un'
istanza
di
Entit�Concreta
Processo
è un
sottoprocesso
di
Processo
Processo
è
localizzato
in
TemporaryResidence
Processo
RICE
Unit�DiMisura
price
Processo
,
Processo
RICE
Unit�DiMisura
(s and
Umano
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
Processo
RICE è
pi
ù grande di 0
(=>
(
and
(
playsRoleInEvent
?OBJ ?ROLE ?EVENT)
(
instance
?EVENT ?CLASS)
(
subclass
?CLASS
Process
)
(
time
?EVENT ?TIME)
(
eventLocated
?EVENT ?PLACE))
(
playsRoleInEventOfType
?OBJ ?ROLE ?CLASS ?TIME ?PLACE))
Mid-level-ontology.kif 23260-23267
playsRoleInEvent
Oggetto
,
RuoloSemantico
and
Processo
Processo
è un'
istanza
di
Processo
Processo
è una
sottoclasse
di
Processo
Processo
esistes
durante
PosizioneTemporale
eventLocated
Processo
and
Oggetto
playsRoleInEventOfType
Oggetto
,
RuoloSemantico
,
Processo
,
PosizioneTemporale
and
Oggetto
(=>
(
and
(
playsRoleInEvent
?OBJ ?ROLE ?EVENT)
(
instance
?EVENT ?TYPE)
(
subclass
?TYPE
Process
)
(
time
?EVENT ?TIME)
(
eventLocated
?EVENT ?PLACE))
(
playsRoleInEventOfType
?OBJ ?ROLE ?TYPE ?TIME ?PLACE))
Mid-level-ontology.kif 23289-23296
playsRoleInEvent
Oggetto
,
RuoloSemantico
and
Processo
Processo
è un'
istanza
di
Processo
Processo
è una
sottoclasse
di
Processo
Processo
esistes
durante
PosizioneTemporale
eventLocated
Processo
and
Oggetto
playsRoleInEventOfType
Oggetto
,
RuoloSemantico
,
Processo
,
PosizioneTemporale
and
Oggetto
(=>
(
and
(
roomAmenity
?ROOM ?SVC)
(
subclass
?SVC
Process
))
(
modalAttribute
(
exists
(?X ?S ?HOTEL ?PROC)
(
and
(
instance
?X ?ROOM)
(
element
?X
(
PropertyFn
?HOTEL))
(
agent
?S ?HOTEL)
(
or
(
instance
?S ?SVC)
(
and
(
instance
?PROC ?SVC)
(
subProcess
?S ?PROC)))
(
located
?S ?X)))
Possibility
))
Hotel.kif 317-332
roomAmenity
HotelUnit
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Processo
l'affermazione
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
HotelUnit
%è un
elemento
di
Possibility
Entit�
è un
agente
di
Entit�
Entit�
è un'
istanza
di
Entit�Concreta
Entit�
è un'
istanza
di
Entit�Concreta
Entit�
è un
sottoprocesso
di
Entit�
Entit�
è
localizzato
in
Entit�
ha il modello di forza di
Possibility
(=>
(
and
(
subclass
?TYPE
Process
)
(
instance
?EVENT ?TYPE)
(
eventLocated
?EVENT ?REGION)
(
instance
?ROLE
CaseRole
)
(
instance
?OBJECT
Object
)
(
instance
?REGION
GeographicArea
)
(?ROLE ?EVENT ?OBJECT))
(
capableAtLocation
?TYPE ?ROLE ?OBJECT ?REGION))
Transportation.kif 2692-2701
Processo
è una
sottoclasse
di
Processo
Processo
è un'
istanza
di
Processo
eventLocated
Processo
and
Regione
RuoloSemantico
è un'
istanza
di
RuoloSemantico
Oggetto
è un'
istanza
di
Oggetto
Regione
è un'
istanza
di
AreaGeografica
RuoloSemantico
Processo
and
Oggetto
capableAtLocation
Processo
,
RuoloSemantico
,
Oggetto
and
Regione
(=>
(
and
(
subjectiveAttribute
?AGENT1
Quick
?PERSON)
(
subjectiveAttribute
?AGENT2
Slow
?PERSON)
(
instance
?PROCESS1 ?CLASS)
(
instance
?PROCESS2 ?CLASS)
(
subclass
?CLASS
Process
)
(
agent
?PROCESS1 ?AGENT1)
(
agent
?PROCESS2 ?AGENT2))
(
and
(
instance
?U
UnitOfDuration
)
(
duration
(
WhenFn
?PROCESS1)
(
MeasureFn
?TIME1 ?U))
(
duration
(
WhenFn
?PROCESS2)
(
MeasureFn
?TIME2 ?U))
(
greaterThan
?TIME2 ?TIME1)))
Dining.kif 1044-1059
subjectiveAttribute
AutonomousAgent
,
Quick
and
AutonomousAgent
subjectiveAttribute
AutonomousAgent
,
Slow
and
AutonomousAgent
Processo
è un'
istanza
di
Classe
Processo
è un'
istanza
di
Classe
Classe
è una
sottoclasse
di
Processo
Processo
è un
agente
di
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
Unit�DiMisura
è un'
istanza
di
UnitOfDuration
durata
di il
tempo
di esistenza di
Processo
è
NumeroReale
Unit�DiMisura
(s
durata
di il
tempo
di esistenza di
Processo
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
instance
?PROC1
Process
)
(
exists
(?PROC2)
(
causes
?PROC2 ?PROC1)))
Merge.kif 3791-3794
Processo
è un'
istanza
di
Processo
Processo
Processo
causa
s
Processo
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