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
productPrice
Sigma KEE - productPrice
productPrice
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 410-412
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 416-416
The number 2 argument of
product price
is an
instance
of
currency measure
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 417-417
The number 3 argument of
product price
is an
instance
of
cognitive agent
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 415-415
The number 1 argument of
product price
is a
subclass
of
entity
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 409-409
product price
is an
instance
of
ternary predicate
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4242-4242
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4241-4241
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4240-4240
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 413-413
antecedent
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 430-445
If
a cognitive agent
sells
a kind of entity
for
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
unit of currency
and the
price
of
a kind of entity
from
the cognitive agent
according to
a pricing scheme
is
another real number
the unit of measure
(s) and
the pricing scheme
is
valid
for
a kind of agent
and
another entity
is an
instance
of
the kind of entity
and
a process
is an
instance
of
buying
and
another agent
is an
immediate
instance of
a kind of agent
and
the other agent
is an
agent
of
the process
and
the process
originate
s at
the cognitive agent
and
the other real number
is
less
than
the real number
,
then the statement
the real number
is a
transaction
amount of
the process
has the
modal
force
of
likely
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 419-428
If
a cognitive agent
sells
a kind of entity
for
a currency measure
,
then the statement
if
another entity
is an
instance
of
selling
and
a third entity
is an
immediate
instance of
a kind of entity
and
the third entity
is a
patient
of
the other entity
and
the cognitive agent
is an
agent
of
the other entity
,
then
the currency measure
is a
transaction
amount of
the other entity
has the
modal
force
of
likely
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