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
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
PowerSource
の
instance
では %n
エンティティー
は
コレクション
の
instance
では %n
memberType
エンティティー
and
WireLine
エンティティー
は
物理
と
エンティティー
に
connect
s して %n{ない} の 目的 %n{ない}
(=>
(
instance
?X
HotelMiniBar
)
(
memberType
?X
(
FoodForFn
Human
)))
Hotel.kif 1723-1725
コレクション
は
HotelMiniBar
の
instance
では %n
memberType
コレクション
and
FoodForFn
人[人間]
(=>
(
instance
?X
PublicAddressSystem
)
(
and
(
memberType
?X
Microphone
)
(
memberType
?X
SpeakerDevice
)))
Mid-level-ontology.kif 26098-26102
コレクション
は
PublicAddressSystem
の
instance
では %n
memberType
コレクション
and
Microphone
memberType
コレクション
and
SpeakerDevice
(=>
(
instance
?X
RoomInventory
)
(
memberType
?X
HotelUnit
))
Hotel.kif 143-145
コレクション
は
RoomInventory
の
instance
では %n
memberType
コレクション
and
HotelUnit
(=>
(
instance
?X
SurveillanceSystem
)
(
and
(
memberType
?X
Camera
)
(
memberType
?X
VideoDisplay
)))
Mid-level-ontology.kif 26967-26971
コレクション
は
SurveillanceSystem
の
instance
では %n
memberType
コレクション
and
Camera
memberType
コレクション
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
コレクション
,
クラス
and
非負整数
コレクション
コレクション
は
コレクション
の 適切な
sub
-collection では %n
memberCount
コレクション
and
非負整数
memberType
コレクション
and
クラス
(=>
(
someRoomsPhysicalAmenity
?INV ?OBJ)
(
exists
(?X)
(
and
(
memberType
?INV ?X)
(
roomAmenity
?X ?OBJ))))
Hotel.kif 187-192
someRoomsPhysicalAmenity
RoomInventory
and
物理
HotelUnit
memberType
RoomInventory
and
HotelUnit
roomAmenity
HotelUnit
and
物理
(=>
(
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
物理
HotelUnit
memberType
RoomInventory
and
HotelUnit
roomAmenity
HotelUnit
and
物理
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