memberType
(=>
(
instance
?X
ElectricalOutlet
)
(
hasPurpose
?X
(
exists
(?POWER ?WIRE)
(
and
(
instance
?POWER
PowerSource
)
(
instance
?WIRE
Collection
)
(
memberType
?WIRE
WireLine
)
(
connectsEngineeringComponents
?WIRE ?X ?POWER)))))
Mid-level-ontology.kif 25919-25927
If
a physical
is an
instance
of
electrical outlet
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
power source
and
the other entity
is an
instance
of
collection
and
wire line
is a
member
type of
the other entity
and
the other entity
connect
s
the physical
and
the entity
(=>
(
instance
?X
HotelMiniBar
)
(
memberType
?X
(
FoodForFn
Human
)))
Hotel.kif 1723-1725
If
a collection
is an
instance
of
mini bar
,
then
food
for
human
is a
member
type of
the collection
(=>
(
instance
?X
PublicAddressSystem
)
(
and
(
memberType
?X
Microphone
)
(
memberType
?X
SpeakerDevice
)))
Mid-level-ontology.kif 26098-26102
If
a collection
is an
instance
of
public address system
,
then
microphone
is a
member
type of
the collection
and
speaker
is a
member
type of
the collection
(=>
(
instance
?X
RoomInventory
)
(
memberType
?X
HotelUnit
))
Hotel.kif 143-145
If
a collection
is an
instance
of
room inventory
,
then
hotel unit
is a
member
type of
the collection
(=>
(
instance
?X
SurveillanceSystem
)
(
and
(
memberType
?X
Camera
)
(
memberType
?X
VideoDisplay
)))
Mid-level-ontology.kif 26967-26971
If
a collection
is an
instance
of
surveillance system
,
then
camera
is a
member
type of
the collection
and
video display
is a
member
type of
the collection
(=>
(
memberTypeCount
?GROUP ?TYPE ?NUMBER)
(
exists
(?SUBGROUP)
(
and
(
subCollection
?SUBGROUP ?GROUP)
(
memberCount
?SUBGROUP ?NUMBER)
(
memberType
?SUBGROUP ?TYPE))))
Mid-level-ontology.kif 22671-22677
If
a collection
is
member
type count
a class
for
a nonnegative integer
,
then there exists
another collection
such that
the other collection
is a proper
sub
-collection of
the collection
and
the nonnegative integer
is a
member
count of
the other collection
and
the class
is a
member
type of
the other collection
(=>
(
someRoomsPhysicalAmenity
?INV ?OBJ)
(
exists
(?X)
(
and
(
memberType
?INV ?X)
(
roomAmenity
?X ?OBJ))))
Hotel.kif 187-192
If
some
rooms
in
a room inventory
have
a kind of physical
,
then there exists
a kind of hotel unit
such that
a kind of hotel unit
is a
member
type of
the room inventory
and
a kind of physical
is an
amenity
in
the kind of hotel unit
(=>
(
someRoomsPolicy
?INV ?POLICY)
(
exists
(?X)
(
and
(
memberType
?INV ?X)
(
roomPolicy
?X ?POLICY))))
Hotel.kif 248-253
If
some
rooms
in
a room inventory
have
a policy
,
then there exists
a kind of hotel unit
such that
a kind of hotel unit
is a
member
type of
the room inventory
and
the policy
is a
policy
that applies to
the kind of hotel unit
(=>
(
someRoomsServiceAmenity
?INV ?SVC)
(
exists
(?X)
(
and
(
memberType
?INV ?X)
(
roomAmenity
?X ?SVC))))
Hotel.kif 203-208
If
some
rooms
in
a room inventory
have
a kind of physical
,
then there exists
a kind of hotel unit
such that
a kind of hotel unit
is a
member
type of
the room inventory
and
a kind of physical
is an
amenity
in
the kind of hotel unit
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