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
は
2進述語
の
instance
では %n
(
subrelation
paidFunctionRoomAmenity
functionRoomAmenity
)
Hotel.kif 864-864
paidFunctionRoomAmenity
は
functionRoomAmenity
の
subrelation
では %n
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
物理
エンティティー
は
HotelFunctionRoom
の
instance
では %n
エンティティー
は
AutonomousAgent
の
belongings
の
element
%n
工程
は
Renting
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
認識エージェント
に
end
s %n{ない}
オブジェクト
は
物理
の
instance
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
customer
認識エージェント
and
AutonomousAgent
オブジェクト
は
工程
の
instance
では %n
認識エージェント
は
オブジェクト
の
agent
では %n
認識エージェント
が
オブジェクト
を
experience
s %n{ない}
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
オブジェクト
は
オブジェクト
の
instance
では %n
認識エージェント
は
オブジェクト
を
use
s %n{ない}
実数
測定単位
price
オブジェクト
,
実数
の
測定単位
(s) and
AutonomousAgent
測定単位
は
UnitOfCurrency
の
instance
では %n
実数
は 0 より
greater
では %n
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