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
Die Zahl 2 Argument von
rentalPrice
ist ein
fall
von
FunctionQuantity
%n{nicht}
(
domain
rentalPrice
3
CognitiveAgent
)
Catalog.kif 456-456
Die Zahl 3 Argument von
rentalPrice
ist ein
fall
von
CognitiveAgent
%n{nicht}
(
domain
rentalPrice
4
PricingScheme
)
Catalog.kif 457-457
Die Zahl 4 Argument von
rentalPrice
ist ein
fall
von
PricingScheme
%n{nicht}
(
domainSubclass
rentalPrice
1
Physical
)
Catalog.kif 454-454
Die Zahl 1 Argument von
rentalPrice
ist eine
teilkategorie
von
Physical
%n{nicht}
(
instance
rentalPrice
QuaternaryPredicate
)
Catalog.kif 447-447
rentalPrice
ist ein
fall
von
QuaternaryPredicate
%n{nicht}
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
Wenn
rentalPrice
** Physical
,
FunctionQuantity
,
CognitiveAgent
and
PricingScheme
und
** FunctionQuantity
ist gleich
PerFn
CurrencyMeasure
and das
mass
von
RealNumber
ist
UnitOfMeasure
%n{nicht} %n{nicht} und
** UnitOfMeasure
ist ein
fall
von
UnitOfDuration
%n{nicht} und
Entity
ist ein
direkter
fall von
** Physical
und
Process
ist ein
fall
von
Renting
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
** Process
besteht
waehrend
** RealNumber
INT %n{nicht},
dann fuer alle
** TimeInterval
wenn es gibt
** RealNumber
um
** RealNumber
INT geschieht
waehrend
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht} und
dauer
von
** ** TimeInterval
ist
** ** RealNumber
** UnitOfMeasure
(s) %n{nicht} und
** ** RealNumber
ist
kleinerAlsOderGleich
** RealNumber
%n{nicht},
dann es gibt
FinancialTransaction
um
** FinancialTransaction
ist ein
fall
von
Payment
%n{nicht} und
** FinancialTransaction
endet an
** CognitiveAgent
%n{nicht} und
** FinancialTransaction
ist der
agent
von
** AutonomousAgent
%n{nicht} und
transactionAmount
** FinancialTransaction
and
** CurrencyMeasure
(=>
(
rentalPrice
?OBJ ?QUANT ?AGENT ?PS)
(
exists
(?DURATION ?CURR)
(
and
(
instance
?DURATION
TimeDuration
)
(
instance
?CURR
CurrencyMeasure
)
(
equal
?QUANT
(
PerFn
?CURR ?DURATION)))))
Catalog.kif 459-465
Wenn
rentalPrice
** Physical
,
FunctionQuantity
,
CognitiveAgent
and
PricingScheme
,
dann es gibt
PhysicalQuantity
und
** PhysicalQuantity
um
** PhysicalQuantity
ist ein
fall
von
TimeDuration
%n{nicht} und
** ** PhysicalQuantity
ist ein
fall
von
CurrencyMeasure
%n{nicht} und
** FunctionQuantity
ist gleich
PerFn
** ** PhysicalQuantity
and
** PhysicalQuantity
%n{nicht}
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