Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
ChinesehLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
element
Sigma KEE - element
element
appearance as argument number 1
(
documentation
element
ChineseLanguage
"(element ?ENTITY ?SET)是真的，以防
Set
?SET 已包含 了这个 ?ENTITY。一个
Entity
可以是另外一个
Entity
的
element
当且仅当后者是一个
Set
。")
chinese_format.kif 2289-2290
(
documentation
element
EnglishLanguage
"(element ?ENTITY ?SET) is true just in case ?ENTITY is contained in the
Set
?SET. An
Entity
can be an
element
of another
Entity
only if the latter is a
Set
.")
Merge.kif 5135-5137
(
domain
element
1
Entity
)
Merge.kif 5132-5132
The number 1 argument of
element
is an
instance
of
entity
(
domain
element
2
Set
)
Merge.kif 5133-5133
The number 2 argument of
element
is an
instance
of
set
(
instance
element
AsymmetricRelation
)
Merge.kif 5130-5130
element
is an
instance
of
asymmetric relation
(
instance
element
BinaryPredicate
)
Merge.kif 5129-5129
element
is an
instance
of
binary predicate
(
subrelation
element
instance
)
Merge.kif 5131-5131
element
is a
subrelation
of
instance
appearance as argument number 2
(
format
ChineseLanguage
element
"%1 %n 是 %2 的
element
")
chinese_format.kif 488-488
(
format
EnglishLanguage
element
"%1 is %n an
element
of %2")
english_format.kif 496-496
(
relatedInternalConcept
member
element
)
Merge.kif 1179-1179
member
is
internally
related to
element
(
termFormat
ChineseLanguage
element
"元件")
domainEnglishFormat.kif 21730-21730
(
termFormat
ChineseLanguage
element
"元素")
chinese_format.kif 489-489
(
termFormat
ChineseTraditionalLanguage
element
"元件")
domainEnglishFormat.kif 21729-21729
(
termFormat
EnglishLanguage
element
"element")
domainEnglishFormat.kif 21728-21728
antecedent
(=>
(<=>
(
element
?ELEMENT ?SET1)
(
element
?ELEMENT ?SET2))
(
equal
?SET1 ?SET2))
Merge.kif 5139-5143
If
an entity
is an
element
of
a set
if and only if
the entity
is an
element
of
another set
,
then
the set
is
equal
to
the other set
(=>
(
and
(
attribute
?X
TravelerAccommodation
)
(
element
?CASINO
(
PropertyFn
?X))
(
instance
?CASINO
Casino
))
(
attribute
?X
CasinoHotels
))
Hotel.kif 1403-1408
If
traveler accommodation
is an
attribute
of
an agent
and
an entity
is an
element
of
belongings
of
the agent
and
the entity
is an
instance
of
Casino
,
then
casino hotels
is an
attribute
of
the agent
(=>
(
and
(
element
?ROOM
(
PropertyFn
?HOTEL))
(
attribute
?ROOM
AnnexRoom
)
(
instance
?ROOM
HotelRoom
))
(
exists
(?BLDG1 ?BLDG2 ?FRNT)
(
and
(
subOrganization
?FRNT ?HOTEL)
(
instance
?FRNT
HotelFrontDesk
)
(
located
?FRNT ?BLDG1)
(
element
?BLDG1
(
PropertyFn
?HOTEL))
(
element
?BLDG2
(
PropertyFn
?HOTEL))
(
part
?ROOM ?BLDG2)
(
not
(
equal
?BLDG1 ?BLDG2)))))
Hotel.kif 1084-1097
If
an object
is an
element
of
belongings
of
an organization
and
annex room
is an
attribute
of
the object
and
the object
is an
instance
of
hotel room
,
then there exist
another object
,
a third object
and
another organization
such that
the other organization
は組織
the organization
の一部では %n and
the other organization
is an
instance
of
front desk
and
the other organization
is
located
at
the other object
and
the other object
is an
element
of
belongings
of
the organization
and
the third object
is an
element
of
belongings
of
the organization
and
the object
is a
part
of
the third object
and
the other object
is not
equal
to
the third object
(=>
(
and
(
element
?X
(
PropertyFn
?HOTEL))
(
instance
?X
RoomInventory
))
(
forall
(?Y)
(=>
(
member
?Y ?X)
(
element
?Y
(
PropertyFn
?HOTEL)))))
Hotel.kif 142-149
If
a collection
is an
element
of
belongings
of
an agent
and
the collection
is an
instance
of
room inventory
,
then for all
an object
if
the object
is a
member
of
the collection
,
then
the object
is an
element
of
belongings
of
the agent
(=>
(
and
(
freeFunctionRoomAmenity
?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
?CUST ?X))))
(
price
?X
(
MeasureFn
0
UnitedStatesDollar
) ?AGENT))
Hotel.kif 814-835
If
a set or class
is
free
for customers renting
a kind of hotel function room
and
an entity
is an
instance
of
a kind of hotel function room
and
the entity
is an
element
of
belongings
of
a cognitive 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
another cognitive agent
and
an agent
is an
instance
of
the set or class
and
the cognitive agent
possess
es
the agent
and
the cognitive agent
is a
customer
of
the other cognitive agent
and
the agent
is an
instance
of
process
and
the other cognitive agent
is an
agent
of
the agent
or
the other cognitive agent
experience
s
the agent
or
the cognitive agent
possess
es
the agent
and
the agent
is an
instance
of
object
and
the agent
use
s
the other cognitive agent
,
then
the agent
is
price
0
united states dollar
(s) for
the cognitive agent
(=>
(
and
(
freeRoomAmenity
?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
(
patient
?P ?O)
(
instrument
?P ?O)
(
resource
?P ?O)))
(
price
?P
(
MeasureFn
0
UnitedStatesDollar
) ?HOTEL))
Hotel.kif 334-349
If use of
a set or class
is free for
a kind of hotel unit
and
the set or class
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 set or class
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 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
the process
is
price
0
united states dollar
(s) for
the agent
(=>
(
and
(
freeRoomAmenity
?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))
(
price
?P
(
MeasureFn
0
UnitedStatesDollar
) ?HOTEL))
Hotel.kif 351-365
If use of
a set or class
is free for
a kind of hotel unit
and
the set or class
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 set or class
or
another process
is an
instance
of
the set or class
and
the process
is a
subprocess
of
the other process
and
the process
is
located
at
the temporary residence
,
then
the process
is
price
0
united states dollar
(s) for
the agent
(=>
(
and
(
functionRoomAmenity
?FR ?PHY)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?HOTEL))
(
instance
?RENT
Renting
)
(
patient
?RENT ?RM)
(
agent
?RENT ?HOTEL)
(
destination
?RENT ?CUST)
(
subclass
?PHY
Object
))
(
modalAttribute
(
exists
(?O ?P)
(
and
(
instance
?O ?PHY)
(
instance
?P
Process
)
(
or
(
resource
?P ?O)
(
instrument
?P ?O)
(
patient
?P ?O))
(
or
(
agent
?P ?CUST)
(
experiencer
?P ?CUST))))
Possibility
))
Hotel.kif 784-805
If use of
a kind of physical
is free for
a kind of hotel function room
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 agent
is an
agent
of
the process
and
the process
end
s up at
another entity
and
a kind of physical
is a
subclass
of
object
,
then the statement there exist
a third entity
and
a fourth entity
such that
the third entity
is an
instance
of
the kind of physical
and
the fourth entity
is an
instance
of
process
and
the third entity
is a
resource
for
the fourth entity
or
the third entity
is an
instrument
for
the fourth entity
or
the third entity
is a
patient
of
the fourth entity
and
the other entity
is an
agent
of
the fourth entity
or
the other entity
experience
s
the fourth entity
has the
modal
force
of
possibility
(=>
(
and
(
guest
?CUST ?HOTEL)
(
stays
?CUST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?R ?ROOM)
(
roomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
))
(
exists
(?O)
(
and
(
instance
?O ?OBJ)
(
located
?O ?R)
(
confersRight
(
exists
(?PROC)
(
and
(
agent
?PROC ?CUST)
(
or
(
instrument
?PROC ?O)
(
patient
?PROC ?O)
(
resource
?PROC ?O)))) ?HOTEL ?CUST))))
Hotel.kif 289-308
If
a human
is a
guest
at
a cognitive agent
and
the human
stays
at
a temporary residence
and
the temporary residence
is an
element
of
belongings
of
the cognitive agent
and
the temporary residence
is an
instance
of
the temporary residence
OOM and
a kind of physical
is an
amenity
in
the temporary residence
OOM and
a kind of physical
is a
subclass
of
object
,
then there exists
another physical
such that
the other physical
is an
instance
of
the kind of physical
and
the other physical
is
located
at
the temporary residence
and
the cognitive agent
allow
s
the human
to perform task of the type there exists
an entity
such that
the human
is an
agent
of
the entity
and
the other physical
is an
instrument
for
the entity
or
the other physical
is a
patient
of
the entity
or
the other physical
is a
resource
for
the entity
(=>
(
and
(
instance
?X
HotelFunctionRoom
)
(
element
?X
(
PropertyFn
?HOTEL)))
(
hasPurpose
?X
(
exists
(?RENT)
(
and
(
instance
?RENT
Renting
)
(
patient
?RENT ?X)))))
Hotel.kif 1644-1652
If
a physical
is an
instance
of
hotel function room
and
the physical
is an
element
of
belongings
of
an agent
,
then
the physical
purpose there exists
an entity
such that
the entity
is an
instance
of
renting
and
the physical
is a
patient
of
the entity
(=>
(
and
(
instance
?X
Nursery
)
(
element
?X
(
PropertyFn
?HOTEL))
(
attribute
?HOTEL
TravelerAccommodation
))
(
and
(
attribute
?X
CommunalAttribute
)
(
employs
?HOTEL ?NANNY)
(
hasPurpose
?NANNY
(
exists
(?CARE)
(
and
(
instance
?CARE
ChildCareService
)
(
serviceProvider
?CARE ?NANNY))))))
Hotel.kif 1850-1862
If
an object
is an
instance
of
nursery
and
the object
is an
element
of
belongings
of
an agent
and
traveler accommodation
is an
attribute
of
the agent
,
then
communal
is an
attribute
of
the object
and
the agent
employ
s
a cognitive agent
and
the cognitive agent
purpose there exists
an entity
such that
the entity
is an
instance
of
child-care service
and
the cognitive agent
provides a service during
the entity
(=>
(
and
(
maxRoomCapacity
?ROOM ?NUM)
(
instance
?X ?ROOM)
(
element
?X
(
PropertyFn
?AGENT)))
(
modalAttribute
(
exists
(?GRP)
(
and
(
instance
?GRP
GroupOfPeople
)
(
memberCount
?GRP ?PPL)
(
lessThanOrEqualTo
?PPL ?NUM)
(
stays
?GRP ?X)))
Possibility
))
Hotel.kif 455-466
If
a kind of stationary artifact
can
accommodate
at most
an integer
people and
an entity
is an
instance
of
a kind of stationary artifact
and
the entity
is an
element
of
belongings
of
an agent
,
then the statement there exists
another entity
such that
the other entity
is an
instance
of
group of people
and
a third entity
is a
member
count of
the other entity
and
the third entity
is
less
than or equal to
the integer
and
the other entity
stays
at
the entity
has the
modal
force
of
possibility
(=>
(
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
?CUST ?X))))
(
and
(
price
?X ?PRICE ?AGENT)
(
greaterThan
?PRICE
(
MeasureFn
0
UnitedStatesDollar
))))
Hotel.kif 844-867
If renters of
a kind of hotel function room
can
pay
to use
a set or class
and
an entity
is an
instance
of
a kind of hotel function room
and
the entity
is an
element
of
belongings
of
a cognitive 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
another cognitive agent
and
an agent
is an
instance
of
the set or class
and
the cognitive agent
possess
es
the agent
and
the cognitive agent
is a
customer
of
the other cognitive agent
and
the agent
is an
instance
of
process
and
the other cognitive agent
is an
agent
of
the agent
or
the other cognitive agent
experience
s
the agent
or
the cognitive agent
possess
es
the agent
and
the agent
is an
instance
of
object
and
the agent
use
s
the other cognitive agent
,
then
the agent
is
price
a currency measure
for
the cognitive agent
and
the currency measure
is
greater
than 0
united states dollar
(s)
consequent
(<=>
(
subset
?SUBSET ?SET)
(
forall
(?ELEMENT)
(=>
(
element
?ELEMENT ?SUBSET)
(
element
?ELEMENT ?SET))))
Merge.kif 5122-5127
A set
is a
subset
of
another set
if and only if for all
an entity
if
the entity
is an
element
of
the set
,
then
the entity
is an
element
of
the other set
(=>
(
activityCapability
?AGENT ?ACT)
(
exists
(?LOC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
capability
?ACT
located
?LOC))))
Hotel.kif 572-577
If
an agent
can
hold
kinds of
a kind of process
,
then there exists
an object
such that
the object
is an
element
of
belongings
of
the agent
and
the object
is
capable
of doing
a kind of process
as a
located
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Process
))
(
modalAttribute
(
exists
(?S ?LOC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
agent
?S ?AGENT)
(
patient
?S ?CUST)
(
or
(
instance
?S ?PHYS)
(
and
(
instance
?PROC ?PHY)
(
subProcess
?S ?PROC)))
(
located
?S ?LOC)))
Possibility
))
Hotel.kif 498-514
If
a cognitive agent
is a
customer
of
another cognitive agent
and
the cognitive agent
has
a kind of physical
and
a kind of physical
is a
subclass
of
process
,
then the statement there exist
an entity
and
another entity
such that
the other entity
is an
element
of
belongings
of
the cognitive agent
and
the cognitive agent
is an
agent
of
the entity
and
the other cognitive agent
is a
patient
of
the entity
and
the entity
is an
instance
of
the kind of physical
or
a third entity
is an
instance
of
a fourth entity
and
the entity
is a
subprocess
of
the third entity
and
the entity
is
located
at
the other entity
has the
modal
force
of
possibility
(=>
(
and
(
element
?ROOM
(
PropertyFn
?HOTEL))
(
attribute
?ROOM
AnnexRoom
)
(
instance
?ROOM
HotelRoom
))
(
exists
(?BLDG1 ?BLDG2 ?FRNT)
(
and
(
subOrganization
?FRNT ?HOTEL)
(
instance
?FRNT
HotelFrontDesk
)
(
located
?FRNT ?BLDG1)
(
element
?BLDG1
(
PropertyFn
?HOTEL))
(
element
?BLDG2
(
PropertyFn
?HOTEL))
(
part
?ROOM ?BLDG2)
(
not
(
equal
?BLDG1 ?BLDG2)))))
Hotel.kif 1084-1097
If
an object
is an
element
of
belongings
of
an organization
and
annex room
is an
attribute
of
the object
and
the object
is an
instance
of
hotel room
,
then there exist
another object
,
a third object
and
another organization
such that
the other organization
は組織
the organization
の一部では %n and
the other organization
is an
instance
of
front desk
and
the other organization
is
located
at
the other object
and
the other object
is an
element
of
belongings
of
the organization
and
the third object
is an
element
of
belongings
of
the organization
and
the object
is a
part
of
the third object
and
the other object
is not
equal
to
the third object
(=>
(
and
(
element
?X
(
PropertyFn
?HOTEL))
(
instance
?X
RoomInventory
))
(
forall
(?Y)
(=>
(
member
?Y ?X)
(
element
?Y
(
PropertyFn
?HOTEL)))))
Hotel.kif 142-149
If
a collection
is an
element
of
belongings
of
an agent
and
the collection
is an
instance
of
room inventory
,
then for all
an object
if
the object
is a
member
of
the collection
,
then
the object
is an
element
of
belongings
of
the agent
(=>
(
and
(
paidRoomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
))
(=>
(
and
(
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 ?O)
(
patient
?P ?O)
(
instrument
?P ?O)
(
resource
?P ?O)))
(
and
(
price
?P ?PRICE ?HOTEL)
(
greaterThan
?PRICE
(
MeasureFn
0
UnitedStatesDollar
)))))
Hotel.kif 374-394
If renters of
a kind of hotel unit
can
pay
to use
a set or class
and
the set or class
is a
subclass
of
object
,
then
if
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 set or class
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 object
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
the process
is
price
the process
RICE for
the agent
and
the process
RICE is
greater
than 0
united states dollar
(s)
(=>
(
and
(
paidRoomAmenity
?ROOM ?PROC)
(
subclass
?PROC
Process
))
(=>
(
and
(
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))
(
and
(
price
?P ?PRICE ?HOTEL)
(
greaterThan
?PRICE
(
MeasureFn
0
UnitedStatesDollar
)))))
Hotel.kif 396-414
If renters of
a kind of hotel unit
can
pay
to use
a set or class
and
the set or class
is a
subclass
of
process
,
then
if
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 set or class
or
another process
is an
instance
of
the set or class
and
the process
is a
subprocess
of
the other process
and
the process
is
located
at
the temporary residence
,
then
the process
is
price
the process
RICE for
the agent
and
the process
RICE is
greater
than 0
united states dollar
(s)
(=>
(
attribute
?X
TravelerAccommodation
)
(
hasPurpose
?X
(
exists
(?GUEST ?ROOM ?TI)
(
and
(
rents
?GUEST ?X ?ROOM ?TI)
(
instance
?ROOM
HotelUnit
)
(
element
?ROOM
(
PropertyFn
?X))))))
Hotel.kif 45-52
If
traveler accommodation
is an
attribute
of
an object
,
then
the object
purpose there exist
an entity
,
another entity
and
a third entity
such that
the object
rents
the other entity
to
the entity
during
the third entity
and
the other entity
is an
instance
of
hotel unit
and
the other entity
is an
element
of
belongings
of
the object
(=>
(
attribute
?X
WaterThemePark
)
(
exists
(?POOL)
(
and
(
instance
?POOL
SwimmingPool
)
(
element
?POOL
(
PropertyFn
?X)))))
naics.kif 11360-11365
If
water theme park
is an
attribute
of
an agent
,
then there exists
an entity
such that
the entity
is an
instance
of
swimming pool
and
the entity
is an
element
of
belongings
of
the agent
(=>
(
instance
?ROOM
HotelUnit
)
(
exists
(?HOTEL)
(
and
(
attribute
?HOTEL
TravelerAccommodation
)
(
element
?ROOM
(
PropertyFn
?HOTEL)))))
Hotel.kif 98-103
If
an entity
is an
instance
of
hotel unit
,
then there exists
an agent
such that
traveler accommodation
is an
attribute
of
the agent
and
the entity
is an
element
of
belongings
of
the agent
(=>
(
instance
?ROOM
HotelUnit
)
(
hasPurpose
?ROOM
(
exists
(?AGENT ?CUST ?TI)
(
and
(
not
(
equal
?AGENT ?CUST))
(
element
?ROOM
(
PropertyFn
?AGENT))
(
rents
?CUST ?AGENT ?ROOM ?TI)))))
Hotel.kif 105-112
If
a physical
is an
instance
of
hotel unit
,
then
the physical
purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is not
equal
to
the other entity
and
the physical
is an
element
of
belongings
of
the entity
and
the entity
rents
the physical
to
the other entity
during
the third entity
(=>
(
instance
?SET
NonNullSet
)
(
exists
(?INST)
(
element
?INST ?SET)))
Merge.kif 5250-5253
If
a set
is an
instance
of
non null set
,
then there exists
an entity
such that
the entity
is an
element
of
the set
(=>
(
instance
?SET
NullSet
)
(
not
(
exists
(?INST)
(
element
?INST ?SET))))
Merge.kif 5238-5242
If
a set
is an
instance
of
null set
,
then there doesn't exist
an entity
such that
the entity
is an
element
of
the set
(=>
(
instance
?X
HotelFunctionRoom
)
(
exists
(?HOTEL)
(
element
?X
(
PropertyFn
?HOTEL))))
Hotel.kif 1639-1642
If
an entity
is an
instance
of
hotel function room
,
then there exists
an agent
such that
the entity
is an
element
of
belongings
of
the agent
(=>
(
propertyPolicy
?AGENT ?POLICY)
(
forall
(?X)
(=>
(
element
?X
(
PropertyFn
?AGENT))
(
policyLocationCoverage
?POLICY ?X))))
Hotel.kif 588-593
If
an agent
has
a policy
,
then for all
an object
if
the object
is an
element
of
belongings
of
the agent
,
then
the policy
covers
the object
(=>
(
roomAmenity
?X
HotelMiniBar
)
(
exists
(?ROOM ?BAR ?HOTEL)
(
and
(
instance
?ROOM ?X)
(
element
?ROOM
(
PropertyFn
?HOTEL))
(
instance
?BAR
HotelMiniBar
)
(
located
?BAR ?ROOM)
(
forall
(?ITEM)
(=>
(
member
?ITEM ?BAR)
(
exists
(?AMT)
(
price
?ITEM ?AMT ?HOTEL)))))))
Hotel.kif 1675-1687
If
mini bar
is an
amenity
in
a kind of hotel unit
,
then there exist
an object
,
a collection
and
an agent
such that
the object
is an
instance
of
a kind of hotel unit
and
the object
is an
element
of
belongings
of
the agent
and
the collection
is an
instance
of
mini bar
and
the collection
is
located
at
the object
and for all
another object
if
the other object
is a
member
of
the collection
,
then there exists
a currency measure
such that
the other object
is
price
the currency measure
for
the agent
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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
