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
(
domain
rentalPrice
3
CognitiveAgent
)
Catalog.kif 456-456
rentalPrice
的 3 数量 是
有认知的主事
的
instance
(
domain
rentalPrice
4
PricingScheme
)
Catalog.kif 457-457
rentalPrice
的 4 数量 是
PricingScheme
的
instance
(
domainSubclass
rentalPrice
1
Physical
)
Catalog.kif 454-454
rentalPrice
的 1 数量 是
物理
的
subclass
(
instance
rentalPrice
QuaternaryPredicate
)
Catalog.kif 447-447
rentalPrice
是
四元谓语
的
instance
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
如果
有点 物理
由
有认知的主事
定的
price
根据
PricingScheme
是
函数量
和
那个 函数量
equal
实数
的
measure
是
测量单位
是
货币测量
的
per
和
那个 测量单位
是
UnitOfDuration
的
instance
和
实体
是
有点 物理
的
immediateInstance
和
过程
是
租
的
instance
和
那个 实体
是
那个 过程
的
patient
和
施事体
是
那个 过程
的
agent
和
那个 过程
在
那个 实数
INT 是 存在,
然后 对所有
另一个 时距
如果 有存在
另一个 实数
这样
那个 实数
INT 在
那个 另外 时距
时段内发生 和
那个 另外 时距
是
时距
的
instance
和
那个 另外 时距
的
duration
是
那个 另外 实数
那个 测量单位
和
那个 另外 实数
是
lessThanOrEqualTo
那个 实数
,
然后 有存在
金融交易
这样
那个 金融交易
是
付款
的
instance
和
那个 金融交易
在
那个 有认知的主事
结束 和
那个 施事体
是
那个 金融交易
的
agent
和
那个 货币测量
是
那个 金融交易
的
transaction
总额
(=>
(
rentalPrice
?OBJ ?QUANT ?AGENT ?PS)
(
exists
(?DURATION ?CURR)
(
and
(
instance
?DURATION
TimeDuration
)
(
instance
?CURR
CurrencyMeasure
)
(
equal
?QUANT
(
PerFn
?CURR ?DURATION)))))
Catalog.kif 459-465
如果
有点 物理
由
有认知的主事
定的
price
根据
PricingScheme
是
函数量
,
然后 有存在
物理量
和
另一个 物理量
这样
那个 物理量
是
持续时间
的
instance
和
那个 另外 物理量
是
货币测量
的
instance
和
那个 函数量
equal
那个 物理量
是
那个 另外 物理量
的
per
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