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
Physique
est une
instance
de
ElectricalOutlet
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
PowerSource
entit�
est une
instance
de
collection
memberType
entit�
and
WireLine
entit�
connecte
physique
et
entit�
(=>
(
instance
?X
HotelMiniBar
)
(
memberType
?X
(
FoodForFn
Human
)))
Hotel.kif 1723-1725
Collection
est une
instance
de
HotelMiniBar
memberType
collection
and
FoodForFn
humain
(=>
(
instance
?X
PublicAddressSystem
)
(
and
(
memberType
?X
Microphone
)
(
memberType
?X
SpeakerDevice
)))
Mid-level-ontology.kif 26098-26102
Collection
est une
instance
de
PublicAddressSystem
memberType
collection
and
Microphone
memberType
collection
and
SpeakerDevice
(=>
(
instance
?X
RoomInventory
)
(
memberType
?X
HotelUnit
))
Hotel.kif 143-145
Collection
est une
instance
de
RoomInventory
memberType
collection
and
HotelUnit
(=>
(
instance
?X
SurveillanceSystem
)
(
and
(
memberType
?X
Camera
)
(
memberType
?X
VideoDisplay
)))
Mid-level-ontology.kif 26967-26971
Collection
est une
instance
de
SurveillanceSystem
memberType
collection
and
Camera
memberType
collection
and
VideoDisplay
(=>
(
memberTypeCount
?GROUP ?TYPE ?NUMBER)
(
exists
(?SUBGROUP)
(
and
(
subCollection
?SUBGROUP ?GROUP)
(
memberCount
?SUBGROUP ?NUMBER)
(
memberType
?SUBGROUP ?TYPE))))
Mid-level-ontology.kif 22671-22677
memberTypeCount
collection
,
classe
and
nombre entier non n�gatif
collection
collection
est une
sous
-collection appartenant �
collection
memberCount
collection
and
nombre entier non n�gatif
memberType
collection
and
classe
(=>
(
someRoomsPhysicalAmenity
?INV ?OBJ)
(
exists
(?X)
(
and
(
memberType
?INV ?X)
(
roomAmenity
?X ?OBJ))))
Hotel.kif 187-192
someRoomsPhysicalAmenity
RoomInventory
and
physique
HotelUnit
memberType
RoomInventory
and
HotelUnit
roomAmenity
HotelUnit
and
physique
(=>
(
someRoomsPolicy
?INV ?POLICY)
(
exists
(?X)
(
and
(
memberType
?INV ?X)
(
roomPolicy
?X ?POLICY))))
Hotel.kif 248-253
someRoomsPolicy
RoomInventory
and
Policy
HotelUnit
memberType
RoomInventory
and
HotelUnit
roomPolicy
HotelUnit
and
Policy
(=>
(
someRoomsServiceAmenity
?INV ?SVC)
(
exists
(?X)
(
and
(
memberType
?INV ?X)
(
roomAmenity
?X ?SVC))))
Hotel.kif 203-208
someRoomsServiceAmenity
RoomInventory
and
physique
HotelUnit
memberType
RoomInventory
and
HotelUnit
roomAmenity
HotelUnit
and
physique
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