element
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
width
?O ?Q))
Mid-level-ontology.kif 31079-31084
If members of
a set
have the measure
a length measure
in terms of
a measurement attribute
and
the set
is an
instance
of
set
and
a physical
is an
element
of
the set
,
then the
width
of
the physical
is
the length measure
(=>
(
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
If renters of
a kind of hotel function room
can
pay
to use
a kind of physical
and
an entity
is an
instance
of
a kind of hotel function room
and
the entity
is an
element
of
belongings
of
an agent
and
a process
is an
instance
of
renting
and
the entity
is a
patient
of
the process
and
the process
end
s up at
a cognitive agent
and
an object
is an
instance
of
a kind of physical
and
the agent
possess
es
the object
and
the agent
is a
customer
of
the cognitive agent
and
the object
is an
instance
of
process
and
the cognitive agent
is an
agent
of
the object
or
the cognitive agent
experience
s
the object
or
the agent
possess
es
the object
and
the object
is an
instance
of
object
and
the cognitive agent
use
s
the object
,
then there exist
a real number
and
an unit of measure
such that
the object
is
price
the real number
the unit of measure
(s) for
the agent
and
the unit of measure
is an
instance
of
unit of currency
and
the real number
is
greater
than 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
If renters of
a kind of hotel unit
can
pay
to use
a kind of physical
and
a kind of physical
is a
subclass
of
object
and
a temporary residence
is an
instance
of
a kind of hotel unit
and
a human
stays
at
the temporary residence
and
the temporary residence
is an
element
of
belongings
of
an agent
and
an object
is an
instance
of
the kind of physical
and
the object
is
located
at
the temporary residence
and
a process
is an
instance
of
process
and
the human
is an
agent
of
the process
and
the process
is
located
at
the temporary residence
or
the object
is a
patient
of
the process
or
the object
is an
instrument
for
the process
or
the object
is a
resource
for
the process
,
then there exist
the process
RICE and
an unit of measure
such that
the object
is
price
the process
RICE
the unit of measure
(s) for
the human
and
the unit of measure
is an
instance
of
unit of currency
and
the process
RICE is
greater
than 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
If renters of
a kind of hotel unit
can
pay
to use
a kind of physical
and
a kind of physical
is a
subclass
of
process
and
a temporary residence
is an
instance
of
a kind of hotel unit
and
a human
stays
at
the temporary residence
and
the temporary residence
is an
element
of
belongings
of
an agent
and
the human
is a
patient
of
a process
and
the process
is an
instance
of
the kind of physical
or
another process
is an
instance
of
the kind of physical
and
the process
is a
subprocess
of
the other process
and
the process
is
located
at
the temporary residence
,
then there exist
the process
RICE and
an unit of measure
such that
the process
is
price
the process
RICE
the unit of measure
(s) for
the human
and
the unit of measure
is an
instance
of
unit of currency
and
the process
RICE is
greater
than 0
(=>
(
and
(
propositionOwner
?AGENT ?HP)
(
instance
?HP
HotelPackage
)
(
accommodationProvider
?HP ?HOTEL)
(
roomStay
?HP ?NUM ?ROOM)
(
instance
?R ?ROOM)
(
element
?R
(
PropertyFn
?HOTEL))
(
buys
?CUST ?AGENT ?HP))
(
exists
(?TI)
(
and
(
equal
?TI
(
MeasureFn
?NUM
DayDuration
))
(
holdsDuring
?TI
(
guest
?CUST ?HOTEL)))))
Hotel.kif 2744-2757
If
a cognitive agent
authored
a hotel package
and
the hotel package
is an
instance
of
hotel package
and
an organization
provides
the hotel package
and
the hotel package
specifies
an integer
days
stay
at
a kind of hotel unit
and
an entity
is an
instance
of
a kind of hotel unit
and
the entity
is an
element
of
belongings
of
the organization
and
another cognitive agent
buys
the hotel package
from
the cognitive agent
,
then there exists
a time position
such that
the time position
is
equal
to
the integer
day duration
(s) and
the other cognitive agent
is a
guest
at
the organization
holds
during
the time position
(=>
(
and
(
subset
?SUBSET ?SET)
(
element
?ELEMENT ?SUBSET))
(
element
?ELEMENT ?SET))
Merge.kif 5399-5403
If
a set
is a
subset
of
another set
and
an entity
is an
element
of
the set
,
then
the entity
is an
element
of
the other set
(=>
(
element
?OBJ
(
PropertyFn
?PERSON))
(
possesses
?PERSON ?OBJ))
Merge.kif 4280-4283
If
an object
is an
element
of
belongings
of
an agent
,
then
the agent
possess
es
the object
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