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
如果
物理
是
ElectricalOutlet
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 实体
是
能量源
的
instance
和
那个 另外 实体
是
群体
的
instance
和
电线
是
那个 另外 实体
的
member
类别 和
那个 另外 实体
connects
那个 物理
和
那个 实体
(=>
(
instance
?X
HotelMiniBar
)
(
memberType
?X
(
FoodForFn
Human
)))
Hotel.kif 1723-1725
如果
群体
是
HotelMiniBar
的
instance
,
然后
food
for
人类
是
那个 群体
的
member
类别
(=>
(
instance
?X
PublicAddressSystem
)
(
and
(
memberType
?X
Microphone
)
(
memberType
?X
SpeakerDevice
)))
Mid-level-ontology.kif 26098-26102
如果
群体
是
PublicAddressSystem
的
instance
,
然后
麦克风
是
那个 群体
的
member
类别 和
SpeakerDevice
是
那个 群体
的
member
类别
(=>
(
instance
?X
RoomInventory
)
(
memberType
?X
HotelUnit
))
Hotel.kif 143-145
如果
群体
是
RoomInventory
的
instance
,
然后
HotelUnit
是
那个 群体
的
member
类别
(=>
(
instance
?X
SurveillanceSystem
)
(
and
(
memberType
?X
Camera
)
(
memberType
?X
VideoDisplay
)))
Mid-level-ontology.kif 26967-26971
如果
群体
是
SurveillanceSystem
的
instance
,
然后
相机
是
那个 群体
的
member
类别 和
VideoDisplay
是
那个 群体
的
member
类别
(=>
(
memberTypeCount
?GROUP ?TYPE ?NUMBER)
(
exists
(?SUBGROUP)
(
and
(
subCollection
?SUBGROUP ?GROUP)
(
memberCount
?SUBGROUP ?NUMBER)
(
memberType
?SUBGROUP ?TYPE))))
Mid-level-ontology.kif 22671-22677
如果
群体
对于
非负整数
的
member
类别计数
类
,
然后 有存在
另一个 群体
这样
那个 另外 群体
是
那个 群体
的 真正的子集 和
那个 非负整数
是
那个 另外 群体
的
member
计数 和
那个 类
是
那个 另外 群体
的
member
类别
(=>
(
someRoomsPhysicalAmenity
?INV ?OBJ)
(
exists
(?X)
(
and
(
memberType
?INV ?X)
(
roomAmenity
?X ?OBJ))))
Hotel.kif 187-192
如果
some
rooms
在
RoomInventory
有
有点 物理
,
然后 有存在
有点 HotelUnit
这样
有点 HotelUnit
是
那个 RoomInventory
的
member
类别 和
有点 物理
是
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
有
有点 物理
,
然后 有存在
有点 HotelUnit
这样
有点 HotelUnit
是
那个 RoomInventory
的
member
类别 和
有点 物理
是
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