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
contractedRentalPrice
Sigma KEE - contractedRentalPrice
contractedRentalPrice
appearance as argument number 1
(
documentation
contractedRentalPrice
EnglishLanguage
"(
contractedRentalPrice
?OBJ ?PRICE ?AGREEMENT) means that the conditions of rental of
Physical
?OBJ is stipulated in
Agreement
?AGREEMENT entered into by
CognitiveAgent
?AGENT with a customer.")
Catalog.kif 495-498
(
domain
contractedRentalPrice
2
FunctionQuantity
)
Catalog.kif 502-502
域
contractedRentalPrice
, 2 and
FunctionQuantity
(
domain
contractedRentalPrice
3
Agreement
)
Catalog.kif 503-503
域
contractedRentalPrice
, 3 and
協議
(
domainSubclass
contractedRentalPrice
1
Physical
)
Catalog.kif 501-501
域子類
contractedRentalPrice
, 1 and
Physical
(
instance
contractedRentalPrice
TernaryPredicate
)
Catalog.kif 494-494
例
contractedRentalPrice
and
TernaryPredicate
appearance as argument number 2
(
format
ChineseLanguage
contractedRentalPrice
"%3 对于 %2 指定 %1 的 rental ")
domainEnglishFormat.kif 3106-3106
(
format
ChineseTraditionalLanguage
contractedRentalPrice
"%3 對於 %2 指定 %1 的 rental ")
domainEnglishFormat.kif 3105-3105
(
format
EnglishLanguage
contractedRentalPrice
"%3 specifies the rental of %1 for %2")
domainEnglishFormat.kif 3104-3104
(
termFormat
EnglishLanguage
contractedRentalPrice
"contracted rental price")
Catalog.kif 499-499
antecedent
(=>
(
contractedRentalPrice
?OBJ ?QUANT ?AGREE)
(
exists
(?DURATION ?CURR)
(
and
(
instance
?CURR
CurrencyMeasure
)
(
instance
?DURATION
TimeDuration
)
(
equal
?QUANT
(
PerFn
?CURR ?DURATION)))))
Catalog.kif 505-511
協議
對於
FunctionQuantity
指定
Physical
的
rental
PhysicalQuantity
PhysicalQuantity
例
PhysicalQuantity
and
CurrencyMeasure
例
PhysicalQuantity
and
TimeDuration
等於
FunctionQuantity
and
PhysicalQuantity
是
PhysicalQuantity
的
per
(=>
(
contractedRentalPrice
?OBJ ?QUANT ?AGREE)
(
exists
(?SELLER ?CUSTOMER)
(
and
(
partyToAgreement
?SELLER ?AGREE)
(
partyToAgreement
?CUSTOMER ?AGREE)
(
modalAttribute
(
exists
(?R ?O)
(
and
(
instance
?R
Renting
)
(
instance
?O ?OBJ)
(
patient
?R ?O)
(
agent
?R ?SELLER)
(
destination
?R ?CUSTOMER)))
Obligation
))))
Catalog.kif 513-526
協議
對於
FunctionQuantity
指定
Physical
的
rental
CognitiveAgent
CognitiveAgent
協議
是
CognitiveAgent
的
party
協議
協議
是
CognitiveAgent
的
party
協議
模態屬性
entity
entity
例
entity
and
租
例
entity
and
Physical
患者
entity
and
entity
agent
entity
and
CognitiveAgent
目的地
entity
and
CognitiveAgent
and
義務
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