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
Il numero 2 argomenti di
rentalPrice
è un
istanza
di
FunzioneDiQuantit�
(
domain
rentalPrice
3
CognitiveAgent
)
Catalog.kif 456-456
Il numero 3 argomenti di
rentalPrice
è un
istanza
di
AgenteCognitivo
(
domain
rentalPrice
4
PricingScheme
)
Catalog.kif 457-457
Il numero 4 argomenti di
rentalPrice
è un
istanza
di
PricingScheme
(
domainSubclass
rentalPrice
1
Physical
)
Catalog.kif 454-454
Il numero 1 argomento
rentalPrice
è una
sottoclasse
di
Entit�Concreta
(
instance
rentalPrice
QuaternaryPredicate
)
Catalog.kif 447-447
rentalPrice
è un'
istanza
di
PredicatoQuaternario
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
Entit�Concreta
,
FunzioneDiQuantit�
,
AgenteCognitivo
and
PricingScheme
FunzioneDiQuantit�
is
uguale
a
PerFn
MisuraMonetaria
and la
misura
NumeroReale
è
Unit�DiMisura
Unit�DiMisura
è un'
istanza
di
UnitOfDuration
%è una
istanza
immediata %2
Processo
è un'
istanza
di
Renting
Entit�
è un
paziente
di
Processo
Processo
è un
agente
di
AutonomousAgent
Processo
esistes
durante
NumeroReale
INT
IntervalloTemporale
NumeroReale
NumeroReale
INT has luogo
durante
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
durata
di
IntervalloTemporale
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
minore
o uguale a
NumeroReale
ScambioFinanziario
ScambioFinanziario
è un'
istanza
di
Payment
ScambioFinanziario
fine
s in
AgenteCognitivo
ScambioFinanziario
è un
agente
di
AutonomousAgent
transactionAmount
ScambioFinanziario
and
MisuraMonetaria
(=>
(
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
Entit�Concreta
,
FunzioneDiQuantit�
,
AgenteCognitivo
and
PricingScheme
Quantit�Fisica
Quantit�Fisica
Quantit�Fisica
è un'
istanza
di
Durata
Quantit�Fisica
è un'
istanza
di
MisuraMonetaria
FunzioneDiQuantit�
is
uguale
a
PerFn
Quantit�Fisica
and
Quantit�Fisica
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