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
Fisico
e' uma
instancia
de
ElectricalOutlet
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
PowerSource
Entidade
e' uma
instancia
de
Colecao
memberType
Entidade
and
WireLine
Entidade
conecta
Fisico
e
Entidade
(=>
(
instance
?X
HotelMiniBar
)
(
memberType
?X
(
FoodForFn
Human
)))
Hotel.kif 1723-1725
Colecao
e' uma
instancia
de
HotelMiniBar
memberType
Colecao
and
FoodForFn
Humano
(=>
(
instance
?X
PublicAddressSystem
)
(
and
(
memberType
?X
Microphone
)
(
memberType
?X
SpeakerDevice
)))
Mid-level-ontology.kif 26098-26102
Colecao
e' uma
instancia
de
PublicAddressSystem
memberType
Colecao
and
Microphone
memberType
Colecao
and
SpeakerDevice
(=>
(
instance
?X
RoomInventory
)
(
memberType
?X
HotelUnit
))
Hotel.kif 143-145
Colecao
e' uma
instancia
de
RoomInventory
memberType
Colecao
and
HotelUnit
(=>
(
instance
?X
SurveillanceSystem
)
(
and
(
memberType
?X
Camera
)
(
memberType
?X
VideoDisplay
)))
Mid-level-ontology.kif 26967-26971
Colecao
e' uma
instancia
de
SurveillanceSystem
memberType
Colecao
and
Camera
memberType
Colecao
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
Colecao
,
Classe
and
Numero Inteiro nao-negativo
Colecao
Colecao
e' uma
sub
-colecao de
Colecao
memberCount
Colecao
and
Numero Inteiro nao-negativo
memberType
Colecao
and
Classe
(=>
(
someRoomsPhysicalAmenity
?INV ?OBJ)
(
exists
(?X)
(
and
(
memberType
?INV ?X)
(
roomAmenity
?X ?OBJ))))
Hotel.kif 187-192
someRoomsPhysicalAmenity
RoomInventory
and
Fisico
HotelUnit
memberType
RoomInventory
and
HotelUnit
roomAmenity
HotelUnit
and
Fisico
(=>
(
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
Fisico
HotelUnit
memberType
RoomInventory
and
HotelUnit
roomAmenity
HotelUnit
and
Fisico
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