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
est une
instance
de
pr�dicat binaire
(
subrelation
paidFunctionRoomAmenity
functionRoomAmenity
)
Hotel.kif 864-864
paidFunctionRoomAmenity
est une
sous
-relation 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
physique
entit�
est une
instance
de
HotelFunctionRoom
entit�
est un
appartenir
�
AutonomousAgent
processus
est une
instance
de
Renting
entit�
est un
patient
de
processus
processus
aboutit
�
agent cognitif
objet
est une
instance
de
physique
AutonomousAgent
poss
�de
objet
customer
agent cognitif
and
AutonomousAgent
objet
est une
instance
de
processus
objet
est un
agent
de
agent cognitif
agent cognitif
exp
�rimente
objet
AutonomousAgent
poss
�de
objet
objet
est une
instance
de
objet
agent cognitif
utilise
objet
nombre r�el
unit� de mesure
price
objet
,
nombre r�el
unit� de mesure
(s) and
AutonomousAgent
unit� de mesure
est une
instance
de
UnitOfCurrency
nombre r�el
est
plus
grand
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