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
rentalPrice
Sigma KEE - rentalPrice
rentalPrice
appearance as argument number 1
(
documentation
rentalPrice
EnglishLanguage
"(
rentalPrice
?OBJ ?PRICE ?AGENT ?PS) means that the
CurrencyMeasure
?PRICE is paid for the use of
Physical
?OBJ.
CognitiveAgent
?AGENT sets this price with conditions stipulated in
PricingScheme
?PS")
Catalog.kif 448-451
(
domain
rentalPrice
2
FunctionQuantity
)
Catalog.kif 455-455
rentalPrice
の数値 2 引数は
関数量
の
instance
では %n
(
domain
rentalPrice
3
CognitiveAgent
)
Catalog.kif 456-456
rentalPrice
の数値 3 引数は
認識エージェント
の
instance
では %n
(
domain
rentalPrice
4
PricingScheme
)
Catalog.kif 457-457
rentalPrice
の数値 4 引数は
PricingScheme
の
instance
では %n
(
domainSubclass
rentalPrice
1
Physical
)
Catalog.kif 454-454
rentalPrice
の数値 1 引数は
物理
の
subclass
では %n
(
instance
rentalPrice
QuaternaryPredicate
)
Catalog.kif 447-447
rentalPrice
は
4進述語
の
instance
では %n
appearance as argument number 2
(
format
ChineseLanguage
rentalPrice
"%1 由 %3 定的
price
根据 %4 是 %2 ")
domainEnglishFormat.kif 4382-4382
(
format
ChineseTraditionalLanguage
rentalPrice
"%1 由 %3 定的
price
根據 %4 是 %2 ")
domainEnglishFormat.kif 4381-4381
(
format
EnglishLanguage
rentalPrice
"the
price
of %1 set by %3 according to %4 is %2")
domainEnglishFormat.kif 4380-4380
(
termFormat
EnglishLanguage
rentalPrice
"rental price")
Catalog.kif 452-452
antecedent
(=>
(
and
(
rentalPrice
?OBJ ?QUANT ?AGENT ?PS)
(
equal
?QUANT
(
PerFn
?PRICE
(
measure
?TIME ?U)))
(
instance
?U
UnitOfDuration
)
(
immediateInstance
?ITEM ?OBJ)
(
instance
?R
Renting
)
(
patient
?R ?ITEM)
(
agent
?R ?CUSTOMER)
(
time
?R ?TIMEINT))
(
forall
(?X)
(=>
(
exists
(?DURATION)
(
and
(
during
?TIMEINT ?X)
(
instance
?X
TimeInterval
)
(
duration
?X
(
MeasureFn
?DURATION ?U))
(
lessThanOrEqualTo
?DURATION ?TIME)))
(
exists
(?P)
(
and
(
instance
?P
Payment
)
(
destination
?P ?AGENT)
(
agent
?P ?CUSTOMER)
(
transactionAmount
?P ?PRICE))))))
Catalog.kif 467-492
rentalPrice
物理
,
関数量
,
認識エージェント
and
PricingScheme
関数量
は
PerFn
通貨測定
and
実数
の
measure
は
測定単位
では %n と
equal
では %n
測定単位
は
UnitOfDuration
の
instance
では %n
エンティティー
は
物理
の
immediate
の インスタンス では %n
工程
は
Renting
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
実数
INT の
during
exists %n{ない}
時間間隔
実数
実数
INT は
時間間隔
の
during
に takes %n{ない}
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
の
duration
は
実数
の
測定単位
(s) では %n
実数
は
実数
より
less
または同等 では %n
金融取引
金融取引
は
Payment
の
instance
では %n
金融取引
は
認識エージェント
に
end
s %n{ない}
AutonomousAgent
は
金融取引
の
agent
では %n
transactionAmount
金融取引
and
通貨測定
(=>
(
rentalPrice
?OBJ ?QUANT ?AGENT ?PS)
(
exists
(?DURATION ?CURR)
(
and
(
instance
?DURATION
TimeDuration
)
(
instance
?CURR
CurrencyMeasure
)
(
equal
?QUANT
(
PerFn
?CURR ?DURATION)))))
Catalog.kif 459-465
rentalPrice
物理
,
関数量
,
認識エージェント
and
PricingScheme
物理量
物理量
物理量
は
時間分
の
instance
では %n
物理量
は
通貨測定
の
instance
では %n
関数量
は
PerFn
物理量
and
物理量
と
equal
では %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