Process
(=>
(
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
Wenn
offersAtTime
AutonomousAgent
,
Catalog
and
TimeInterval
und
catalogItem
** Entity
and
** Catalog
und
** Entity
ist eine
teilkategorie
von
Object
und
Process
ist ein
fall
von
** ** Process
%n{nicht} und
** ** Process
ist eine
teilkategorie
von
Process
und
** Entity
ist ein
fall
von
** ** Entity
%n{nicht} und
** ** Entity
ist ein
patient
von
** Process
%n{nicht} und
** TimeInterval
ist ein
fall
von
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
ist eine
teilkategorie
von
TimeInterval
,
dann
capabilityDuring
** ** ** Process
,
agent
,
** AutonomousAgent
and
** ** ** TimeInterval
(=>
(
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
Wenn
offersAtTime
AutonomousAgent
,
Catalog
and
TimeInterval
und
catalogItem
** Entity
and
** Catalog
und
** Entity
ist eine
teilkategorie
von
Process
und
** TimeInterval
ist ein
fall
von
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
ist eine
teilkategorie
von
TimeInterval
,
dann
capabilityDuring
** ** Entity
,
agent
,
** AutonomousAgent
and
** ** ** TimeInterval
(=>
(
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
Wenn
paidFunctionRoomAmenity
** HotelFunctionRoom
and
** Physical
und
Entity
ist ein
fall
von
** HotelFunctionRoom
%n{nicht} und
** Entity
ist ein
element
von
eigentum
von
AutonomousAgent
%n{nicht} und
Process
ist ein
fall
von
Renting
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht} und
** Process
endet an
CognitiveAgent
%n{nicht} und
Object
ist ein
fall
von
** Physical
%n{nicht} und
** AutonomousAgent
besitzt
** Object
%n{nicht} und
customer
** CognitiveAgent
and
** AutonomousAgent
und
** Object
ist ein
fall
von
Process
%n{nicht} und
** Object
ist der
agent
von
** CognitiveAgent
%n{nicht} oder
** CognitiveAgent
erfaehrt
** Object
%n{nicht} oder
** AutonomousAgent
besitzt
** Object
%n{nicht} und
** Object
ist ein
fall
von
Object
%n{nicht} und
** CognitiveAgent
verwendet
** Object
,
dann es gibt
RealNumber
und
UnitOfMeasure
um
price
** Object
,
** RealNumber
** UnitOfMeasure
(s) and
** AutonomousAgent
und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
** RealNumber
ist
groesserAls
0 %n{nicht}
(=>
(
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
Wenn
paidPropertyAmenity
AutonomousAgent
and
** Physical
und
Process
ist ein
fall
von
** Physical
%n{nicht} und
customer
CognitiveAgent
and
** AutonomousAgent
und
** Process
ist ein
fall
von
Process
%n{nicht} und
** Process
ist der
agent
von
** CognitiveAgent
%n{nicht} oder
** CognitiveAgent
erfaehrt
** Process
%n{nicht} oder
** AutonomousAgent
besitzt
** Process
%n{nicht} und
** Process
ist ein
fall
von
Object
%n{nicht} und
** CognitiveAgent
verwendet
** Process
,
dann es gibt
RealNumber
und
UnitOfMeasure
um
price
** Process
,
** RealNumber
** UnitOfMeasure
(s) and
** AutonomousAgent
und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
** RealNumber
ist
groesserAls
0 %n{nicht}
(=>
(
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
Wenn
paidRoomAmenity
** HotelUnit
and
** Physical
und
** Physical
ist eine
teilkategorie
von
Object
und
TemporaryResidence
ist ein
fall
von
** HotelUnit
%n{nicht} und
stays
Human
and
** TemporaryResidence
und
** TemporaryResidence
ist ein
element
von
eigentum
von
AutonomousAgent
%n{nicht} und
Object
ist ein
fall
von
** ** Physical
%n{nicht} und
** Object
befindet
sich an %n{nicht} und
Process
ist ein
fall
von
Process
%n{nicht} und
** Process
ist der
agent
von
** Human
%n{nicht} und
** Process
befindet
sich an %n{nicht} oder
** Object
ist ein
patient
von
** Process
%n{nicht} oder
** Object
ist ein
instrument
fuer
** Process
%n{nicht} oder
** Object
ist ein
hilfmittel
fuer
** Process
%n{nicht},
dann es gibt
** Process
RICE und
UnitOfMeasure
um
price
** Object
,
** Process
RICE
** UnitOfMeasure
(s) and
** Human
und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
** Process
RICE ist
groesserAls
0 %n{nicht}
(=>
(
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
Wenn
paidRoomAmenity
** HotelUnit
and
** Physical
und
** Physical
ist eine
teilkategorie
von
Process
und
TemporaryResidence
ist ein
fall
von
** HotelUnit
%n{nicht} und
stays
Human
and
** TemporaryResidence
und
** TemporaryResidence
ist ein
element
von
eigentum
von
AutonomousAgent
%n{nicht} und
** Human
ist ein
patient
von
Process
%n{nicht} und
** Process
ist ein
fall
von
** ** Physical
%n{nicht} oder
** Process
ist ein
fall
von
** ** Physical
%n{nicht} und
** Process
ist ein
subProzess
von
** ** Process
und
** Process
befindet
sich an %n{nicht},
dann es gibt
** Process
RICE und
UnitOfMeasure
um
price
** Process
,
** Process
RICE
** UnitOfMeasure
(s) and
** Human
und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
** Process
RICE ist
groesserAls
0 %n{nicht}
(=>
(
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
Wenn
playsRoleInEvent
Object
,
CaseRole
and
Process
und
** Process
ist ein
fall
von
** ** Process
%n{nicht} und
** ** Process
ist eine
teilkategorie
von
Process
und
** Process
besteht
waehrend
TimePosition
%n{nicht} und
eventLocated
** Process
and
** Object
,
dann
playsRoleInEventOfType
** Object
,
** CaseRole
,
** ** ** Process
,
** TimePosition
and
** ** Object
(=>
(
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
Wenn
playsRoleInEvent
Object
,
CaseRole
and
Process
und
** Process
ist ein
fall
von
** ** Process
%n{nicht} und
** ** Process
ist eine
teilkategorie
von
Process
und
** Process
besteht
waehrend
TimePosition
%n{nicht} und
eventLocated
** Process
and
** Object
,
dann
playsRoleInEventOfType
** Object
,
** CaseRole
,
** ** ** Process
,
** TimePosition
and
** ** Object
(=>
(
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
Wenn
roomAmenity
** HotelUnit
and
** Physical
und
** Physical
ist eine
teilkategorie
von
Process
,
dann die Aussage es gibt
entity
,
** entity
,, ,
** entity
, and und
** entity
um
** entity
ist ein
fall
von
** HotelUnit
%n{nicht} und
** entity
ist ein
element
von
eigentum
von
** ** entity
%n{nicht} und
** ** entity
ist der
agent
von
** ** entity
%n{nicht} und
** ** entity
ist ein
fall
von
** ** Physical
%n{nicht} oder
** ** entity
ist ein
fall
von
** ** Physical
%n{nicht} und
** ** entity
ist ein
subProzess
von
** ** entity
und
** ** entity
befindet
sich an %n{nicht} hat die modale Kraft von
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
Wenn
** Process
ist eine
teilkategorie
von
Process
und
** Process
ist ein
fall
von
** Process
%n{nicht} und
eventLocated
** ** Process
and
Region
und
CaseRole
ist ein
fall
von
CaseRole
%n{nicht} und
Object
ist ein
fall
von
Object
%n{nicht} und
** Region
ist ein
fall
von
GeographicArea
%n{nicht} und
** CaseRole
** ** Process
and
** Object
,
dann
capableAtLocation
** ** Process
,
** CaseRole
,
** Object
and
** Region
(=>
(
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
Wenn
subjectiveAttribute
AutonomousAgent
,
Quick
and
** AutonomousAgent
und
subjectiveAttribute
** AutonomousAgent
,
Slow
and
** ** AutonomousAgent
und
Process
ist ein
fall
von
Class
%n{nicht} und
** Process
ist ein
fall
von
** Class
%n{nicht} und
** Class
ist eine
teilkategorie
von
Process
und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** ** Process
ist der
agent
von
** ** AutonomousAgent
%n{nicht},
dann
UnitOfMeasure
ist ein
fall
von
UnitOfDuration
%n{nicht} und
dauer
von die
zeit
des Bestehens von
** Process
ist
RealNumber
** UnitOfMeasure
(s) %n{nicht} und
dauer
von die
zeit
des Bestehens von
** ** Process
ist
** RealNumber
** UnitOfMeasure
(s) %n{nicht} und
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht}
(=>
(
instance
?PROC1
Process
)
(
exists
(?PROC2)
(
causes
?PROC2 ?PROC1)))
Merge.kif 3791-3794
Wenn
Process
ist ein
fall
von
Process
%n{nicht},
dann es gibt
** Process
um
** ** Process
verursacht
** Process
%n{nicht}
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