element
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
width
?O ?Q))
Mid-level-ontology.kif 31079-31084
memberMeasure
Conjunto
,
MeasurementAttribute
and
Medida de Comprimento
Conjunto
e' uma
instancia
de
Conjunto
Fisico
e' um
elemento
de
Conjunto
a
largura
de
Fisico
e'
Medida de Comprimento
(=>
(
and
(
paidFunctionRoomAmenity
?FR ?PHYS)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?AGENT))
(
instance
?R
Renting
)
(
patient
?R ?RM)
(
destination
?R ?CUST)
(
instance
?X ?PHYS)
(
possesses
?AGENT ?X)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
exists
(?PRICE ?U)
(
and
(
price
?X
(
MeasureFn
?PRICE ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 871-897
paidFunctionRoomAmenity
HotelFunctionRoom
and
Fisico
Entidade
e' uma
instancia
de
HotelFunctionRoom
Entidade
e' um
elemento
de
propriedade
de
AutonomousAgent
Processo
e' uma
instancia
de
Renting
Entidade
e' um
patient
de
Processo
Processo
termina
em
Agente Cognitivo
Objeto
e' uma
instancia
de
Fisico
AutonomousAgent
possui
Objeto
customer
Agente Cognitivo
and
AutonomousAgent
Objeto
e' uma
instancia
de
Processo
Objeto
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
experimenta
Objeto
AutonomousAgent
possui
Objeto
Objeto
e' uma
instancia
de
Objeto
Agente Cognitivo
usa
Objeto
Numero Real
Unidade de Medida
price
Objeto
,
Numero Real
Unidade de Medida
(s) and
AutonomousAgent
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
Numero Real
e'
maior
que 0
(=>
(
and
(
paidRoomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?O ?OBJ)
(
located
?O ?R)
(
instance
?P
Process
)
(
agent
?P ?GUEST)
(
or
(
located
?P ?R)
(
patient
?P ?O)
(
instrument
?P ?O)
(
resource
?P ?O)))
(
exists
(?PRICE ?U)
(
and
(
price
?O
(
MeasureFn
?PRICE ?U) ?GUEST)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 396-417
paidRoomAmenity
HotelUnit
and
Fisico
Fisico
e' uma
sub
-classe de
Objeto
TemporaryResidence
e' uma
instancia
de
HotelUnit
stays
Humano
and
TemporaryResidence
TemporaryResidence
e' um
elemento
de
propriedade
de
AutonomousAgent
Objeto
e' uma
instancia
de
Fisico
Objeto
e'
situado
em
TemporaryResidence
Processo
e' uma
instancia
de
Processo
Processo
e' um
agente
de
Humano
Processo
e'
situado
em
TemporaryResidence
Objeto
e' um
patient
de
Processo
Objeto
e' um
instrumento
para
Processo
Objeto
e' um
recurso
para
Processo
Processo
RICE
Unidade de Medida
price
Objeto
,
Processo
RICE
Unidade de Medida
(s) and
Humano
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
Processo
RICE e'
maior
que 0
(=>
(
and
(
paidRoomAmenity
?ROOM ?PROC)
(
subclass
?PROC
Process
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
patient
?P ?GUEST)
(
or
(
instance
?P ?PROC)
(
and
(
instance
?S ?PROC)
(
subProcess
?P ?S)))
(
located
?P ?R))
(
exists
(?PRICE ?U)
(
and
(
price
?P
(
MeasureFn
?PRICE ?U) ?GUEST)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 419-438
paidRoomAmenity
HotelUnit
and
Fisico
Fisico
e' uma
sub
-classe de
Processo
TemporaryResidence
e' uma
instancia
de
HotelUnit
stays
Humano
and
TemporaryResidence
TemporaryResidence
e' um
elemento
de
propriedade
de
AutonomousAgent
Humano
e' um
patient
de
Processo
Processo
e' uma
instancia
de
Fisico
Processo
e' uma
instancia
de
Fisico
Processo
e' um
sub
-processo de
Processo
Processo
e'
situado
em
TemporaryResidence
Processo
RICE
Unidade de Medida
price
Processo
,
Processo
RICE
Unidade de Medida
(s) and
Humano
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
Processo
RICE e'
maior
que 0
(=>
(
and
(
propositionOwner
?AGENT ?HP)
(
instance
?HP
HotelPackage
)
(
accommodationProvider
?HP ?HOTEL)
(
roomStay
?HP ?NUM ?ROOM)
(
instance
?R ?ROOM)
(
element
?R
(
PropertyFn
?HOTEL))
(
buys
?CUST ?AGENT ?HP))
(
exists
(?TI)
(
and
(
equal
?TI
(
MeasureFn
?NUM
DayDuration
))
(
holdsDuring
?TI
(
guest
?CUST ?HOTEL)))))
Hotel.kif 2744-2757
propositionOwner
Agente Cognitivo
and
HotelPackage
HotelPackage
e' uma
instancia
de
HotelPackage
accommodationProvider
HotelPackage
and
Organizacao
roomStay
HotelPackage
,
Numero Inteiro
and
HotelUnit
Entidade
e' uma
instancia
de
HotelUnit
Entidade
e' um
elemento
de
propriedade
de
Organizacao
buys
Agente Cognitivo
,
Agente Cognitivo
and
HotelPackage
Posicao Temporal
Posicao Temporal
e'
igual
a
Numero Inteiro
DayDuration
(s)
guest
Agente Cognitivo
and
Organizacao
vale
durante
Posicao Temporal
(=>
(
and
(
subset
?SUBSET ?SET)
(
element
?ELEMENT ?SUBSET))
(
element
?ELEMENT ?SET))
Merge.kif 5399-5403
Conjunto
e' um
sub
-conjunto de
Conjunto
Entidade
e' um
elemento
de
Conjunto
Entidade
e' um
elemento
de
Conjunto
(=>
(
element
?OBJ
(
PropertyFn
?PERSON))
(
possesses
?PERSON ?OBJ))
Merge.kif 4280-4283
Objeto
e' um
elemento
de
propriedade
de
AutonomousAgent
AutonomousAgent
possui
Objeto
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