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
and
BinaryPredicate
(
subrelation
paidFunctionRoomAmenity
functionRoomAmenity
)
Hotel.kif 864-864
子關係
paidFunctionRoomAmenity
and
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
HotelFunctionRoom
的 承租人 能
pay
去使用
Physical
例
Entity
and
HotelFunctionRoom
元件
Entity
and
屬性
AutonomousAgent
例
Process
and
租
患者
Process
and
Entity
目的地
Process
and
CognitiveAgent
例
Object
and
Physical
擁有
AutonomousAgent
and
Object
AutonomousAgent
是
CognitiveAgent
的
customer
例
Object
and
Process
agent
Object
and
CognitiveAgent
體驗者
Object
and
CognitiveAgent
擁有
AutonomousAgent
and
Object
例
Object
and
Object
使用
Object
and
CognitiveAgent
RealNumber
UnitOfMeasure
Object
是 對於
AutonomousAgent
的
price
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
比較多
RealNumber
and 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