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
paidFunctionRoomAmenity
Sigma KEE - paidFunctionRoomAmenity
paidFunctionRoomAmenity
appearance as argument number 1
(
documentation
paidFunctionRoomAmenity
EnglishLanguage
"(
paidFunctionRoomAmenity
?RM ?PHY) means that the use of ?PHY provided by
TravelerAccommodation
to customers renting
HotelFunctionRoom
incurs charges")
Hotel.kif 866-868
(
instance
paidFunctionRoomAmenity
BinaryPredicate
)
Hotel.kif 865-865
paidFunctionRoomAmenity
e' uma
instancia
de
Predicado Binario
(
subrelation
paidFunctionRoomAmenity
functionRoomAmenity
)
Hotel.kif 864-864
paidFunctionRoomAmenity
e' uma
sub
-relacao de
functionRoomAmenity
appearance as argument number 2
(
format
ChineseLanguage
paidFunctionRoomAmenity
"%1 的 承租人 能 pay 去使用 %2 ")
domainEnglishFormat.kif 4062-4062
(
format
ChineseTraditionalLanguage
paidFunctionRoomAmenity
"%1 的 承租人 能 pay 去使用 %2 ")
domainEnglishFormat.kif 4061-4061
(
format
EnglishLanguage
paidFunctionRoomAmenity
"renters of %1 can pay to use %2")
domainEnglishFormat.kif 4060-4060
(
termFormat
EnglishLanguage
paidFunctionRoomAmenity
"free function room amenity")
Hotel.kif 869-869
antecedent
(=>
(
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
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