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
publishedPrice
Sigma KEE - publishedPrice
publishedPrice
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 327-329
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 333-333
Le nombre 2 argument de
publishedPrice
est une
instance
de
mesure de devise
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 334-334
Le nombre 3 argument de
publishedPrice
est une
instance
de
agent cognitif
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 335-335
Le nombre 4 argument de
publishedPrice
est une
instance
de
PricingScheme
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 332-332
Le nombre 1 argument de
publishedPrice
est une
sous
-classe de
entit�
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 326-326
publishedPrice
est une
instance
de
pr�dicat quaternaire
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4274-4274
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4273-4273
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4272-4272
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 330-330
antecedent
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 337-352
Processus
est une
instance
de
acheter
entit�
est un
patient
de
processus
processus
a pour
origine
agent cognitif
publishedPrice
entit�
,
mesure de devise
,
agent cognitif
and
PricingScheme
unitPrice
entit�
,
function de quantit�
,
agent cognitif
and
PricingScheme
entit�
est une
sous
-classe de
physique
entit�
est une
instance
imm�diate de
entit�
validPaymentType
PricingScheme
and
Payment
l'argument
Payment
MENT
Payment
MENT est une
instance
de
Payment
Payment
MENT est un
sous
-processus de
processus
a la
force
modale
de
Likely
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 354-370
publishedPrice
entit�
,
mesure de devise
,
agent cognitif
and
PricingScheme
unitPrice
entit�
,
function de quantit�
,
agent cognitif
and
PricingScheme
entit�
est une
sous
-classe de
physique
entit�
est une
instance
imm�diate de
entit�
validFor
PricingScheme
and
AutonomousAgent
entit�
est une
instance
de
AutonomousAgent
l'argument
entit�
est une
instance
de
acheter
entit�
est un
agent
de
entit�
entit�
a pour
origine
agent cognitif
entit�
est un
patient
de
entit�
transactionAmount
entit�
and
mesure de devise
a la
force
modale
de
Likely
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 372-387
publishedPrice
entit�
,
mesure de devise
,
agent cognitif
and
PricingScheme
unitPrice
entit�
,
function de quantit�
,
agent cognitif
and
PricingScheme
entit�
est une
sous
-classe de
physique
entit�
est une
instance
imm�diate de
entit�
validityPeriod
PricingScheme
and
interval temporel
l'argument
entit�
est une
instance
de
vendre
entit�
est un
agent
de
agent cognitif
entit�
est un
patient
de
entit�
transactionAmount
entit�
and
mesure de devise
a la
force
modale
de
Likely
pendant
interval temporel
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 430-445
productPrice
entit�
,
nombre r�el
unit� de mesure
(s) and
agent cognitif
unit� de mesure
est une
instance
de
UnitOfCurrency
publishedPrice
entit�
,
nombre r�el
unit� de mesure
(s),
agent cognitif
and
PricingScheme
validFor
PricingScheme
and
AutonomousAgent
entit�
est une
instance
de
entit�
processus
est une
instance
de
acheter
AutonomousAgent
est une
instance
imm�diate de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
processus
a pour
origine
agent cognitif
nombre r�el
est
moins
que
nombre r�el
l'argument
transactionAmount
processus
and
nombre r�el
a la
force
modale
de
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
publishedPrice