Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
PropertyFn
Sigma KEE - PropertyFn
PropertyFn
appearance as argument number 1
(
documentation
PropertyFn
ChineseLanguage
"这是个
UnaryFunction
,它把一个
Agent
和属于
Agent
的
Object
Set
联系起来。")
chinese_format.kif 2135-2136
(
documentation
PropertyFn
EnglishLanguage
"A
UnaryFunction
that maps an
AutonomousAgent
to the
Set
of
Object
s owned by the
AutonomousAgent
.")
Merge.kif 4277-4278
(
documentation
PropertyFn
JapaneseLanguage
"
UnaryFunction
は、
Agent
を
Agent
が所有する O
Object
Set
にマップする。")
japanese_format.kif 790-791
(
domain
PropertyFn
1
AutonomousAgent
)
Merge.kif 4274-4274
O argumento numero 1 de
PropertyFn
e' uma
instancia
de
AutonomousAgent
(
instance
PropertyFn
TotalValuedRelation
)
Merge.kif 4273-4273
PropertyFn
e' uma
instancia
de
Relacao Total
(
instance
PropertyFn
UnaryFunction
)
Merge.kif 4272-4272
PropertyFn
e' uma
instancia
de
funcao Unaria
(
range
PropertyFn
Set
)
Merge.kif 4275-4275
O
contra
-dominio de
PropertyFn
e' uma instancia de
Conjunto
appearance as argument number 2
(
format
ChineseLanguage
PropertyFn
"%1 的财产")
chinese_format.kif 269-269
(
format
EnglishLanguage
PropertyFn
"belongings of %1")
english_format.kif 274-274
(
format
FrenchLanguage
PropertyFn
"appartenir � %1")
french_format.kif 153-153
(
format
ItalianLanguage
PropertyFn
"appartenenze di %1")
relations-it.txt 236-236
(
format
JapaneseLanguage
PropertyFn
"%1 の belongings")
japanese_format.kif 1981-1981
(
format
PortugueseLanguage
PropertyFn
"propriedade de %1")
portuguese_format.kif 105-105
(
format
cz
PropertyFn
"belongings of %1")
relations-cz.txt 163-163
(
format
de
PropertyFn
"eigentum von %1")
relations-de.txt 347-347
(
format
hi
PropertyFn
"%1 kii sampatti")
relations-hindi.txt 274-274
(
format
ro
PropertyFn
"belongings%t{bunurile} lui %1")
relations-ro.kif 172-172
(
format
sv
PropertyFn
"tillhörigheter av %1")
relations-sv.txt 159-159
(
format
tg
PropertyFn
"pag-aari ng %1")
relations-tg.txt 428-428
(
termFormat
ChineseLanguage
PropertyFn
"属于财产函数")
chinese_format.kif 270-270
(
termFormat
ChineseLanguage
PropertyFn
"属性")
domainEnglishFormat.kif 47810-47810
(
termFormat
ChineseTraditionalLanguage
PropertyFn
"屬性")
domainEnglishFormat.kif 47809-47809
(
termFormat
EnglishLanguage
PropertyFn
"property")
domainEnglishFormat.kif 47808-47808
(
termFormat
de
PropertyFn
"EigentumFn")
terms-de.txt 111-111
antecedent
(=>
(
and
(
attribute
?X
TravelerAccommodation
)
(
element
?CASINO
(
PropertyFn
?X))
(
instance
?CASINO
Casino
))
(
attribute
?X
CasinoHotels
))
Hotel.kif 1452-1457
TravelerAccommodation
e' um
atributo
de
AutonomousAgent
Entidade
e' um
elemento
de
propriedade
de
AutonomousAgent
Entidade
e' uma
instancia
de
Casino
CasinoHotels
e' um
atributo
de
AutonomousAgent
(=>
(
and
(
element
?ROOM
(
PropertyFn
?HOTEL))
(
attribute
?ROOM
AnnexRoom
)
(
instance
?ROOM
HotelRoom
))
(
exists
(?BLDG1 ?BLDG2 ?FRNT)
(
and
(
subOrganization
?FRNT ?HOTEL)
(
instance
?FRNT
HotelFrontDesk
)
(
located
?FRNT ?BLDG1)
(
element
?BLDG1
(
PropertyFn
?HOTEL))
(
element
?BLDG2
(
PropertyFn
?HOTEL))
(
part
?ROOM ?BLDG2)
(
not
(
equal
?BLDG1 ?BLDG2)))))
Hotel.kif 1127-1140
Objeto
e' um
elemento
de
propriedade
de
Organizacao
AnnexRoom
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
HotelRoom
Objeto
Objeto
and
Organizacao
Organizacao
e' uma parte da organizacao
Organizacao
Organizacao
e' uma
instancia
de
HotelFrontDesk
Organizacao
e'
situado
em
Objeto
Objeto
e' um
elemento
de
propriedade
de
Organizacao
Objeto
e' um
elemento
de
propriedade
de
Organizacao
Objeto
e' uma &parte de
Objeto
Objeto
e'
igual
a
Objeto
(=>
(
and
(
element
?X
(
PropertyFn
?HOTEL))
(
instance
?X
RoomInventory
))
(
forall
(?Y)
(=>
(
member
?Y ?X)
(
element
?Y
(
PropertyFn
?HOTEL)))))
Hotel.kif 147-154
Colecao
e' um
elemento
de
propriedade
de
AutonomousAgent
Colecao
e' uma
instancia
de
RoomInventory
Fisico
Fisico
e'
membro
de
Colecao
Fisico
e' um
elemento
de
propriedade
de
AutonomousAgent
(=>
(
and
(
freeFunctionRoomAmenity
?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))))
(
price
?X
(
MeasureFn
0
UnitedStatesDollar
) ?AGENT))
Hotel.kif 841-862
freeFunctionRoomAmenity
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
price
Objeto
, 0
UnitedStatesDollar
(s) and
AutonomousAgent
(=>
(
and
(
freeRoomAmenity
?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
(
patient
?P ?O)
(
instrument
?P ?O)
(
resource
?P ?O)))
(
price
?O
(
MeasureFn
0
UnitedStatesDollar
) ?GUEST))
Hotel.kif 346-361
freeRoomAmenity
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
Objeto
e' um
patient
de
Processo
Objeto
e' um
instrumento
para
Processo
Objeto
e' um
recurso
para
Processo
price
Objeto
, 0
UnitedStatesDollar
(s) and
Humano
(=>
(
and
(
freeRoomAmenity
?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))
(
price
?P
(
MeasureFn
0.0
UnitedStatesDollar
) ?GUEST))
Hotel.kif 364-378
freeRoomAmenity
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
price
Processo
, 0.0
UnitedStatesDollar
(s) and
Humano
(=>
(
and
(
functionRoomAmenity
?FR ?PHY)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?HOTEL))
(
instance
?RENT
Renting
)
(
patient
?RENT ?RM)
(
agent
?RENT ?HOTEL)
(
destination
?RENT ?CUST)
(
subclass
?PHY
Object
))
(
modalAttribute
(
exists
(?O ?P)
(
and
(
instance
?O ?PHY)
(
instance
?P
Process
)
(
or
(
resource
?P ?O)
(
instrument
?P ?O)
(
patient
?P ?O))
(
or
(
agent
?P ?CUST)
(
experiencer
?P ?CUST))))
Possibility
))
Hotel.kif 811-832
functionRoomAmenity
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
e' um
agente
de
AutonomousAgent
Processo
termina
em
Entidade
Fisico
e' uma
sub
-classe de
Objeto
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
Fisico
Entidade
e' uma
instancia
de
Processo
Entidade
e' um
recurso
para
Entidade
Entidade
e' um
instrumento
para
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Entidade
Entidade
experimenta
Entidade
tem a
forca
modal
de
Possibility
(=>
(
and
(
guest
?CUST ?HOTEL)
(
stays
?CUST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?R ?ROOM)
(
roomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
))
(
exists
(?O)
(
and
(
instance
?O ?OBJ)
(
located
?O ?R)
(
confersRight
(
exists
(?PROC)
(
and
(
agent
?PROC ?CUST)
(
or
(
instrument
?PROC ?O)
(
patient
?PROC ?O)
(
resource
?PROC ?O)))) ?HOTEL ?CUST))))
Hotel.kif 294-313
guest
Humano
and
AutonomousAgent
stays
Humano
and
TemporaryResidence
TemporaryResidence
e' um
elemento
de
propriedade
de
AutonomousAgent
TemporaryResidence
e' uma
instancia
de
TemporaryResidence
OOM
roomAmenity
TemporaryResidence
OOM and
Fisico
Fisico
e' uma
sub
-classe de
Objeto
Fisico
Fisico
e' uma
instancia
de
Fisico
Fisico
e'
situado
em
TemporaryResidence
AutonomousAgent
autoriza
Humano
a executar tarefas de tipo
Entidade
Entidade
e' um
agente
de
Humano
Fisico
e' um
instrumento
para
Entidade
Fisico
e' um
patient
de
Entidade
Fisico
e' um
recurso
para
Entidade
(=>
(
and
(
instance
?X
HotelFunctionRoom
)
(
element
?X
(
PropertyFn
?HOTEL)))
(
hasPurpose
?X
(
exists
(?RENT)
(
and
(
instance
?RENT
Renting
)
(
patient
?RENT ?X)))))
Hotel.kif 1696-1704
Fisico
e' uma
instancia
de
HotelFunctionRoom
Fisico
e' um
elemento
de
propriedade
de
AutonomousAgent
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Renting
Fisico
e' um
patient
de
Entidade
(=>
(
and
(
instance
?X
Nursery
)
(
element
?X
(
PropertyFn
?HOTEL))
(
attribute
?HOTEL
TravelerAccommodation
))
(
exists
(?NANNY ?CARE)
(
and
(
attribute
?X
CommunalAttribute
)
(
employs
?HOTEL ?NANNY)
(
hasPurpose
?NANNY
(
and
(
instance
?CARE
ChildCareService
)
(
serviceProvider
?CARE ?NANNY))))))
Hotel.kif 1902-1914
Objeto
e' uma
instancia
de
Nursery
Objeto
e' um
elemento
de
propriedade
de
AutonomousAgent
TravelerAccommodation
e' um
atributo
de
AutonomousAgent
Agente Cognitivo
Entidade
CommunalAttribute
e' um
atributo
de
Objeto
AutonomousAgent
emprega
Agente Cognitivo
Agente Cognitivo
tem por
fim
Entidade
e' uma
instancia
de
ChildCareService
serviceProvider
Entidade
and
Agente Cognitivo
(=>
(
and
(
maxRoomCapacity
?ROOM ?NUM)
(
instance
?X ?ROOM)
(
element
?X
(
PropertyFn
?AGENT)))
(
modalAttribute
(
exists
(?GRP ?PPL)
(
and
(
instance
?GRP
GroupOfPeople
)
(
memberCount
?GRP ?PPL)
(
lessThanOrEqualTo
?PPL ?NUM)
(
stays
?GRP ?X)))
Possibility
))
Hotel.kif 479-490
maxRoomCapacity
Artefato Estacionario
and
Numero Inteiro
Entidade
e' uma
instancia
de
Artefato Estacionario
Entidade
e' um
elemento
de
propriedade
de
AutonomousAgent
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
GroupOfPeople
memberCount
Entidade
and
Entidade
Entidade
e'
menor
ou igual a
Numero Inteiro
stays
Entidade
and
Entidade
tem a
forca
modal
de
Possibility
(=>
(
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
(=>
(
element
?OBJ
(
PropertyFn
?PERSON))
(
possesses
?PERSON ?OBJ))
Merge.kif 4280-4283
Objeto
e' um
elemento
de
propriedade
de
AutonomousAgent
AutonomousAgent
possui
Objeto
(=>
(
monetaryValue
(
PropertyFn
?PERSON) ?AMOUNT)
(
equal
(
WealthFn
?PERSON) ?AMOUNT))
Merge.kif 7829-7833
O
valor
de
propriedade
de
AutonomousAgent
e'
Medida de Divisa
valor
da propriedade de
AutonomousAgent
e'
igual
a
Medida de Divisa
consequent
(=>
(
activityCapability
?AGENT ?ACT)
(
exists
(?LOC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
capability
?ACT
located
?LOC))))
Hotel.kif 599-604
activityCapability
AutonomousAgent
and
Processo
Objeto
Objeto
e' um
elemento
de
propriedade
de
AutonomousAgent
Objeto
e'
capaz
de fazer
Processo
no role
located
(=>
(
and
(
attribute
?X
TravelerAccommodation
)
(
capability
RoomCleaningService
agent
?X))
(
exists
(?MAID ?HOTELROOM)
(
and
(
employs
?X ?MAID)
(
attribute
?MAID
Maid
)
(
instance
?HOTELROOM
HotelUnit
)
(
part
?HOTELROOM
(
PropertyFn
?X))
(
capability
RoomCleaningService
patient
?HOTELROOM)
(
capability
RoomCleaningService
serviceProvider
?MAID))))
Hotel.kif 1935-1946
TravelerAccommodation
e' um
atributo
de
AutonomousAgent
AutonomousAgent
e'
capaz
de fazer
RoomCleaningService
no role
agent
Agente Cognitivo
Objeto
AutonomousAgent
emprega
Agente Cognitivo
Maid
e' um
atributo
de
Agente Cognitivo
Objeto
e' uma
instancia
de
HotelUnit
Objeto
e' uma &parte de
propriedade
de
AutonomousAgent
Objeto
e'
capaz
de fazer
RoomCleaningService
no role
patient
Agente Cognitivo
e'
capaz
de fazer
RoomCleaningService
no role
serviceProvider
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Process
))
(
modalAttribute
(
exists
(?S ?LOC ?PROC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
agent
?S ?AGENT)
(
patient
?S ?CUST)
(
or
(
instance
?S ?PHYS)
(
and
(
instance
?PROC ?PHYS)
(
subProcess
?S ?PROC)))
(
located
?S ?LOC)))
Possibility
))
Hotel.kif 522-538
customer
Agente Cognitivo
and
AutonomousAgent
propertyAmenity
AutonomousAgent
and
Fisico
Fisico
e' uma
sub
-classe de
Processo
o argumento
Entidade
Entidade
and
Entidade
Entidade
e' um
elemento
de
propriedade
de
AutonomousAgent
Entidade
e' um
agente
de
AutonomousAgent
Agente Cognitivo
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
Fisico
Entidade
e' uma
instancia
de
Fisico
Entidade
e' um
sub
-processo de
Entidade
Entidade
e'
situado
em
Entidade
tem a
forca
modal
de
Possibility
(=>
(
and
(
element
?ROOM
(
PropertyFn
?HOTEL))
(
attribute
?ROOM
AnnexRoom
)
(
instance
?ROOM
HotelRoom
))
(
exists
(?BLDG1 ?BLDG2 ?FRNT)
(
and
(
subOrganization
?FRNT ?HOTEL)
(
instance
?FRNT
HotelFrontDesk
)
(
located
?FRNT ?BLDG1)
(
element
?BLDG1
(
PropertyFn
?HOTEL))
(
element
?BLDG2
(
PropertyFn
?HOTEL))
(
part
?ROOM ?BLDG2)
(
not
(
equal
?BLDG1 ?BLDG2)))))
Hotel.kif 1127-1140
Objeto
e' um
elemento
de
propriedade
de
Organizacao
AnnexRoom
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
HotelRoom
Objeto
Objeto
and
Organizacao
Organizacao
e' uma parte da organizacao
Organizacao
Organizacao
e' uma
instancia
de
HotelFrontDesk
Organizacao
e'
situado
em
Objeto
Objeto
e' um
elemento
de
propriedade
de
Organizacao
Objeto
e' um
elemento
de
propriedade
de
Organizacao
Objeto
e' uma &parte de
Objeto
Objeto
e'
igual
a
Objeto
(=>
(
and
(
element
?X
(
PropertyFn
?HOTEL))
(
instance
?X
RoomInventory
))
(
forall
(?Y)
(=>
(
member
?Y ?X)
(
element
?Y
(
PropertyFn
?HOTEL)))))
Hotel.kif 147-154
Colecao
e' um
elemento
de
propriedade
de
AutonomousAgent
Colecao
e' uma
instancia
de
RoomInventory
Fisico
Fisico
e'
membro
de
Colecao
Fisico
e' um
elemento
de
propriedade
de
AutonomousAgent
(=>
(
and
(
roomAmenity
?ROOM ?SVC)
(
subclass
?SVC
Process
))
(
modalAttribute
(
exists
(?X ?S ?HOTEL ?PROC)
(
and
(
instance
?X ?ROOM)
(
element
?X
(
PropertyFn
?HOTEL))
(
agent
?S ?HOTEL)
(
or
(
instance
?S ?SVC)
(
and
(
instance
?PROC ?SVC)
(
subProcess
?S ?PROC)))
(
located
?S ?X)))
Possibility
))
Hotel.kif 317-332
roomAmenity
HotelUnit
and
Fisico
Fisico
e' uma
sub
-classe de
Processo
o argumento
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
HotelUnit
Entidade
e' um
elemento
de
propriedade
de
Entidade
Entidade
e' um
agente
de
Entidade
Entidade
e' uma
instancia
de
Fisico
Entidade
e' uma
instancia
de
Fisico
Entidade
e' um
sub
-processo de
Entidade
Entidade
e'
situado
em
Entidade
tem a
forca
modal
de
Possibility
(=>
(
attribute
?X
TravelerAccommodation
)
(
hasPurpose
?X
(
exists
(?GUEST ?ROOM ?TI)
(
and
(
rents
?GUEST ?X ?ROOM ?TI)
(
instance
?ROOM
HotelUnit
)
(
element
?ROOM
(
PropertyFn
?X))))))
Hotel.kif 45-52
TravelerAccommodation
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
and
Entidade
rents
Entidade
,
Objeto
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
HotelUnit
Entidade
e' um
elemento
de
propriedade
de
Objeto
(=>
(
attribute
?X
WaterThemePark
)
(
exists
(?POOL)
(
and
(
instance
?POOL
SwimmingPool
)
(
element
?POOL
(
PropertyFn
?X)))))
naics.kif 11437-11442
WaterThemePark
e' um
atributo
de
AutonomousAgent
Entidade
Entidade
e' uma
instancia
de
SwimmingPool
Entidade
e' um
elemento
de
propriedade
de
AutonomousAgent
(=>
(
equal
(
WealthFn
?PERSON) ?AMOUNT)
(
monetaryValue
(
PropertyFn
?PERSON) ?AMOUNT))
Merge.kif 7823-7827
Valor
da propriedade de
AutonomousAgent
e'
igual
a
Medida de Divisa
o
valor
de
propriedade
de
AutonomousAgent
e'
Medida de Divisa
(=>
(
instance
?ROOM
HotelUnit
)
(
exists
(?HOTEL)
(
and
(
attribute
?HOTEL
TravelerAccommodation
)
(
element
?ROOM
(
PropertyFn
?HOTEL)))))
Hotel.kif 103-108
Entidade
e' uma
instancia
de
HotelUnit
AutonomousAgent
TravelerAccommodation
e' um
atributo
de
AutonomousAgent
Entidade
e' um
elemento
de
propriedade
de
AutonomousAgent
(=>
(
instance
?ROOM
HotelUnit
)
(
hasPurpose
?ROOM
(
exists
(?AGENT ?CUST ?TI)
(
and
(
not
(
equal
?AGENT ?CUST))
(
element
?ROOM
(
PropertyFn
?AGENT))
(
rents
?CUST ?AGENT ?ROOM ?TI)))))
Hotel.kif 110-117
Fisico
e' uma
instancia
de
HotelUnit
Fisico
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e'
igual
a
Entidade
Fisico
e' um
elemento
de
propriedade
de
Entidade
rents
Entidade
,
Entidade
,
Fisico
and
Entidade
(=>
(
instance
?X
HotelFunctionRoom
)
(
exists
(?HOTEL)
(
element
?X
(
PropertyFn
?HOTEL))))
Hotel.kif 1691-1694
Entidade
e' uma
instancia
de
HotelFunctionRoom
AutonomousAgent
Entidade
e' um
elemento
de
propriedade
de
AutonomousAgent
(=>
(
possesses
?PERSON ?OBJ)
(
element
?OBJ
(
PropertyFn
?PERSON)))
Merge.kif 4285-4288
AutonomousAgent
possui
Objeto
Objeto
e' um
elemento
de
propriedade
de
AutonomousAgent
(=>
(
propertyPolicy
?AGENT ?POLICY)
(
forall
(?X)
(=>
(
element
?X
(
PropertyFn
?AGENT))
(
policyLocationCoverage
?POLICY ?X))))
Hotel.kif 615-620
propertyPolicy
AutonomousAgent
and
Policy
Objeto
Objeto
e' um
elemento
de
propriedade
de
AutonomousAgent
policyLocationCoverage
Policy
and
Objeto
(=>
(
roomAmenity
?X
HotelMiniBar
)
(
exists
(?ROOM ?BAR ?HOTEL)
(
and
(
instance
?ROOM ?X)
(
element
?ROOM
(
PropertyFn
?HOTEL))
(
instance
?BAR
HotelMiniBar
)
(
located
?BAR ?ROOM)
(
forall
(?ITEM)
(=>
(
member
?ITEM ?BAR)
(
exists
(?AMT)
(
price
?ITEM ?AMT ?HOTEL)))))))
Hotel.kif 1727-1739
roomAmenity
HotelUnit
and
HotelMiniBar
Objeto
Colecao
and
AutonomousAgent
Objeto
e' uma
instancia
de
HotelUnit
Objeto
e' um
elemento
de
propriedade
de
AutonomousAgent
Colecao
e' uma
instancia
de
HotelMiniBar
Colecao
e'
situado
em
Objeto
Fisico
Fisico
e'
membro
de
Colecao
Medida de Divisa
price
Fisico
,
Medida de Divisa
and
AutonomousAgent
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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