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
例
Physical
and
ElectricalOutlet
有目的
Physical
and
entity
entity
例
entity
and
能量源
例
entity
and
Collection
電線
是
entity
的
member
類別
連接工程組件
entity
,
Physical
and
entity
(=>
(
instance
?X
HotelMiniBar
)
(
memberType
?X
(
FoodForFn
Human
)))
Hotel.kif 1723-1725
例
Collection
and
HotelMiniBar
food
for
Human
是
Collection
的
member
類別
(=>
(
instance
?X
PublicAddressSystem
)
(
and
(
memberType
?X
Microphone
)
(
memberType
?X
SpeakerDevice
)))
Mid-level-ontology.kif 26098-26102
例
Collection
and
PublicAddressSystem
麥克風
是
Collection
的
member
類別
SpeakerDevice
是
Collection
的
member
類別
(=>
(
instance
?X
RoomInventory
)
(
memberType
?X
HotelUnit
))
Hotel.kif 143-145
例
Collection
and
RoomInventory
HotelUnit
是
Collection
的
member
類別
(=>
(
instance
?X
SurveillanceSystem
)
(
and
(
memberType
?X
Camera
)
(
memberType
?X
VideoDisplay
)))
Mid-level-ontology.kif 26967-26971
例
Collection
and
SurveillanceSystem
相機
是
Collection
的
member
類別
VideoDisplay
是
Collection
的
member
類別
(=>
(
memberTypeCount
?GROUP ?TYPE ?NUMBER)
(
exists
(?SUBGROUP)
(
and
(
subCollection
?SUBGROUP ?GROUP)
(
memberCount
?SUBGROUP ?NUMBER)
(
memberType
?SUBGROUP ?TYPE))))
Mid-level-ontology.kif 22671-22677
Collection
對於
NonnegativeInteger
的
member
類別計數
Class
Collection
子集合
Collection
and
Collection
NonnegativeInteger
是
Collection
的
member
計數
Class
是
Collection
的
member
類別
(=>
(
someRoomsPhysicalAmenity
?INV ?OBJ)
(
exists
(?X)
(
and
(
memberType
?INV ?X)
(
roomAmenity
?X ?OBJ))))
Hotel.kif 187-192
some
rooms
在
RoomInventory
有
Physical
HotelUnit
HotelUnit
是
RoomInventory
的
member
類別
Physical
是
amenity
在
HotelUnit
(=>
(
someRoomsPolicy
?INV ?POLICY)
(
exists
(?X)
(
and
(
memberType
?INV ?X)
(
roomPolicy
?X ?POLICY))))
Hotel.kif 248-253
some
rooms
在
RoomInventory
有
Policy
HotelUnit
HotelUnit
是
RoomInventory
的
member
類別
Policy
是應用在
HotelUnit
的
policy
(=>
(
someRoomsServiceAmenity
?INV ?SVC)
(
exists
(?X)
(
and
(
memberType
?INV ?X)
(
roomAmenity
?X ?SVC))))
Hotel.kif 203-208
some
rooms
在
RoomInventory
有
Physical
HotelUnit
HotelUnit
是
RoomInventory
的
member
類別
Physical
是
amenity
在
HotelUnit
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