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 25907-25915
Wenn
Physical
ist ein
fall
von
ElectricalOutlet
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
PowerSource
%n{nicht} und
** ** entity
ist ein
fall
von
Collection
%n{nicht} und
memberType
** ** entity
and
WireLine
und
** ** entity
schliesst
** Physical
und
** entity
an %n{nicht}
(=>
(
instance
?X
HotelMiniBar
)
(
memberType
?X
(
FoodForFn
Human
)))
Hotel.kif 1723-1725
Wenn
Collection
ist ein
fall
von
HotelMiniBar
%n{nicht},
dann
memberType
** Collection
and
FoodForFn
Human
(=>
(
instance
?X
PublicAddressSystem
)
(
and
(
memberType
?X
Microphone
)
(
memberType
?X
SpeakerDevice
)))
Mid-level-ontology.kif 26086-26090
Wenn
Collection
ist ein
fall
von
PublicAddressSystem
%n{nicht},
dann
memberType
** Collection
and
Microphone
und
memberType
** Collection
and
SpeakerDevice
(=>
(
instance
?X
RoomInventory
)
(
memberType
?X
HotelUnit
))
Hotel.kif 143-145
Wenn
Collection
ist ein
fall
von
RoomInventory
%n{nicht},
dann
memberType
** Collection
and
HotelUnit
(=>
(
instance
?X
SurveillanceSystem
)
(
and
(
memberType
?X
Camera
)
(
memberType
?X
VideoDisplay
)))
Mid-level-ontology.kif 26955-26959
Wenn
Collection
ist ein
fall
von
SurveillanceSystem
%n{nicht},
dann
memberType
** Collection
and
Camera
und
memberType
** Collection
and
VideoDisplay
(=>
(
memberTypeCount
?GROUP ?TYPE ?NUMBER)
(
exists
(?SUBGROUP)
(
and
(
subCollection
?SUBGROUP ?GROUP)
(
memberCount
?SUBGROUP ?NUMBER)
(
memberType
?SUBGROUP ?TYPE))))
Mid-level-ontology.kif 22670-22676
Wenn
memberTypeCount
Collection
,
Class
and
NonnegativeInteger
,
dann es gibt
** Collection
um
** ** Collection
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht} und
memberCount
** ** Collection
and
** NonnegativeInteger
und
memberType
** ** Collection
and
** Class
(=>
(
someRoomsPhysicalAmenity
?INV ?OBJ)
(
exists
(?X)
(
and
(
memberType
?INV ?X)
(
roomAmenity
?X ?OBJ))))
Hotel.kif 187-192
Wenn
someRoomsPhysicalAmenity
RoomInventory
and
** Physical
,
dann es gibt
** HotelUnit
um
memberType
** RoomInventory
and
** HotelUnit
und
roomAmenity
** ** HotelUnit
and
** Physical
(=>
(
someRoomsPolicy
?INV ?POLICY)
(
exists
(?X)
(
and
(
memberType
?INV ?X)
(
roomPolicy
?X ?POLICY))))
Hotel.kif 248-253
Wenn
someRoomsPolicy
RoomInventory
and
Policy
,
dann es gibt
** HotelUnit
um
memberType
** RoomInventory
and
** HotelUnit
und
roomPolicy
** ** HotelUnit
and
** Policy
(=>
(
someRoomsServiceAmenity
?INV ?SVC)
(
exists
(?X)
(
and
(
memberType
?INV ?X)
(
roomAmenity
?X ?SVC))))
Hotel.kif 203-208
Wenn
someRoomsServiceAmenity
RoomInventory
and
** Physical
,
dann es gibt
** HotelUnit
um
memberType
** RoomInventory
and
** HotelUnit
und
roomAmenity
** ** HotelUnit
and
** Physical
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