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
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 448-451
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 455-455
The number 2 argument of
rental price
is an
instance
of
function quantity
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 456-456
The number 3 argument of
rental price
is an
instance
of
cognitive agent
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 457-457
The number 4 argument of
rental price
is an
instance
of
pricing scheme
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 454-454
The number 1 argument of
rental price
is a
subclass
of
physical
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 447-447
rental price
is an
instance
of
quaternary predicate
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4382-4382
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4381-4381
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4380-4380
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 452-452
antecedent
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 467-492
If the
price
of
a kind of physical
set by
a cognitive agent
according to
a pricing scheme
is
a function quantity
and
the function quantity
is
equal
to the
per
of
a currency measure
and the
measure
of
a real number
is
an unit of measure
and
the unit of measure
is an
instance
of
unit of duration
and
an entity
is an
immediate
instance of
a kind of physical
and
a process
is an
instance
of
renting
and
the entity
is a
patient
of
the process
and
an agent
is an
agent
of
the process
and
the process
exists
during
the real number
INT,
then for all
another time interval
if there exists
another real number
such that
the real number
INT takes place
during
the other time interval
and
the other time interval
is an
instance
of
time interval
and
duration
of
the other time interval
is
the other real number
the unit of measure
(s) and
the other real number
is
less
than or equal to
the real number
,
then there exists
a financial transaction
such that
the financial transaction
is an
instance
of
payment
and
the financial transaction
end
s up at
the cognitive agent
and
the agent
is an
agent
of
the financial transaction
and
the currency measure
is a
transaction
amount of
the financial transaction
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 459-465
If the
price
of
a kind of physical
set by
a cognitive agent
according to
a pricing scheme
is
a function quantity
,
then there exist
a physical quantity
and
another physical quantity
such that
the physical quantity
is an
instance
of
time duration
and
the other physical quantity
is an
instance
of
currency measure
and
the function quantity
is
equal
to the
per
of
the other physical quantity
and
the physical quantity
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
rentalPrice