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 and
FunctionQuantity
(
domain
rentalPrice
3
CognitiveAgent
)
Catalog.kif 456-456
域
rentalPrice
, 3 and
CognitiveAgent
(
domain
rentalPrice
4
PricingScheme
)
Catalog.kif 457-457
域
rentalPrice
, 4 and
PricingScheme
(
domainSubclass
rentalPrice
1
Physical
)
Catalog.kif 454-454
域子類
rentalPrice
, 1 and
Physical
(
instance
rentalPrice
QuaternaryPredicate
)
Catalog.kif 447-447
例
rentalPrice
and
QuaternaryPredicate
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
Physical
由
CognitiveAgent
定的
price
根據
PricingScheme
是
FunctionQuantity
等於
FunctionQuantity
and
測量
RealNumber
and
UnitOfMeasure
是
CurrencyMeasure
的
per
例
UnitOfMeasure
and
UnitOfDuration
立即實例
Entity
and
Physical
例
Process
and
租
患者
Process
and
Entity
agent
Process
and
AutonomousAgent
時間
Process
and
RealNumber
INT
TimeInterval
RealNumber
期間
RealNumber
INT and
TimeInterval
例
TimeInterval
and
TimeInterval
持續時間
TimeInterval
and
測量
RealNumber
and
UnitOfMeasure
小於或等於
RealNumber
and
RealNumber
FinancialTransaction
例
FinancialTransaction
and
付款
目的地
FinancialTransaction
and
CognitiveAgent
agent
FinancialTransaction
and
AutonomousAgent
CurrencyMeasure
是
FinancialTransaction
的
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
Physical
由
CognitiveAgent
定的
price
根據
PricingScheme
是
FunctionQuantity
PhysicalQuantity
PhysicalQuantity
例
PhysicalQuantity
and
TimeDuration
例
PhysicalQuantity
and
CurrencyMeasure
等於
FunctionQuantity
and
PhysicalQuantity
是
PhysicalQuantity
的
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