Process
(processus)
(=>
(
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
interval temporel
catalogItem
entit�
and
Catalog
entit�
est une
sous
-classe de
objet
processus
est une
instance
de
processus
processus
est une
sous
-classe de
processus
entit�
est une
instance
de
entit�
entit�
est un
patient
de
processus
interval temporel
est une
instance
de
interval temporel
interval temporel
est une
sous
-classe de
interval temporel
capabilityDuring
processus
,
agent
,
AutonomousAgent
and
interval temporel
(=>
(
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
interval temporel
catalogItem
entit�
and
Catalog
entit�
est une
sous
-classe de
processus
interval temporel
est une
instance
de
interval temporel
interval temporel
est une
sous
-classe de
interval temporel
capabilityDuring
entit�
,
agent
,
AutonomousAgent
and
interval temporel
(=>
(
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
physique
entit�
est une
instance
de
HotelFunctionRoom
entit�
est un
appartenir
�
AutonomousAgent
processus
est une
instance
de
Renting
entit�
est un
patient
de
processus
processus
aboutit
�
agent cognitif
objet
est une
instance
de
physique
AutonomousAgent
poss
�de
objet
customer
agent cognitif
and
AutonomousAgent
objet
est une
instance
de
processus
objet
est un
agent
de
agent cognitif
agent cognitif
exp
�rimente
objet
AutonomousAgent
poss
�de
objet
objet
est une
instance
de
objet
agent cognitif
utilise
objet
nombre r�el
unit� de mesure
price
objet
,
nombre r�el
unit� de mesure
(s) and
AutonomousAgent
unit� de mesure
est une
instance
de
UnitOfCurrency
nombre r�el
est
plus
grand
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
physique
processus
est une
instance
de
physique
customer
agent cognitif
and
AutonomousAgent
processus
est une
instance
de
processus
processus
est un
agent
de
agent cognitif
agent cognitif
exp
�rimente
processus
AutonomousAgent
poss
�de
processus
processus
est une
instance
de
objet
agent cognitif
utilise
processus
nombre r�el
unit� de mesure
price
processus
,
nombre r�el
unit� de mesure
(s) and
AutonomousAgent
unit� de mesure
est une
instance
de
UnitOfCurrency
nombre r�el
est
plus
grand
que 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
physique
physique
est une
sous
-classe de
objet
TemporaryResidence
est une
instance
de
HotelUnit
stays
humain
and
TemporaryResidence
TemporaryResidence
est un
appartenir
�
AutonomousAgent
objet
est une
instance
de
physique
objet
est
situ
� �
TemporaryResidence
processus
est une
instance
de
processus
processus
est un
agent
de
humain
processus
est
situ
� �
TemporaryResidence
objet
est un
patient
de
processus
objet
est un
instrument
pour
processus
objet
est une
resource
pour
processus
processus
RICE
unit� de mesure
price
objet
,
processus
RICE
unit� de mesure
(s) and
humain
unit� de mesure
est une
instance
de
UnitOfCurrency
processus
RICE est
plus
grand
que 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
physique
physique
est une
sous
-classe de
processus
TemporaryResidence
est une
instance
de
HotelUnit
stays
humain
and
TemporaryResidence
TemporaryResidence
est un
appartenir
�
AutonomousAgent
humain
est un
patient
de
processus
processus
est une
instance
de
physique
processus
est une
instance
de
physique
processus
est un
sous
-processus de
processus
processus
est
situ
� �
TemporaryResidence
processus
RICE
unit� de mesure
price
processus
,
processus
RICE
unit� de mesure
(s) and
humain
unit� de mesure
est une
instance
de
UnitOfCurrency
processus
RICE est
plus
grand
que 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
objet
,
r�le d�pendant du cas
and
processus
processus
est une
instance
de
processus
processus
est une
sous
-classe de
processus
processus
existe
pendant
position temporel
eventLocated
processus
and
objet
playsRoleInEventOfType
objet
,
r�le d�pendant du cas
,
processus
,
position temporel
and
objet
(=>
(
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
objet
,
r�le d�pendant du cas
and
processus
processus
est une
instance
de
processus
processus
est une
sous
-classe de
processus
processus
existe
pendant
position temporel
eventLocated
processus
and
objet
playsRoleInEventOfType
objet
,
r�le d�pendant du cas
,
processus
,
position temporel
and
objet
(=>
(
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
physique
physique
est une
sous
-classe de
processus
l'argument
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
HotelUnit
entit�
est un
appartenir
�
entit�
entit�
est un
agent
de
entit�
entit�
est une
instance
de
physique
entit�
est une
instance
de
physique
entit�
est un
sous
-processus de
entit�
entit�
est
situ
� �
entit�
a la
force
modale
de
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
Processus
est une
sous
-classe de
processus
processus
est une
instance
de
processus
eventLocated
processus
and
r�gion
r�le d�pendant du cas
est une
instance
de
r�le d�pendant du cas
objet
est une
instance
de
objet
r�gion
est une
instance
de
secteur g�ographique
r�le d�pendant du cas
processus
and
objet
capableAtLocation
processus
,
r�le d�pendant du cas
,
objet
and
r�gion
(=>
(
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
processus
est une
instance
de
classe
processus
est une
instance
de
classe
classe
est une
sous
-classe de
processus
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
unit� de mesure
est une
instance
de
UnitOfDuration
la
dur
�� de
temps
d'existence de
processus
est
nombre r�el
unit� de mesure
(s) la
dur
�� de
temps
d'existence de
processus
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
instance
?PROC1
Process
)
(
exists
(?PROC2)
(
causes
?PROC2 ?PROC1)))
Merge.kif 3791-3794
Processus
est une
instance
de
processus
processus
processus
cause
processus
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