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
compoundInterest
Sigma KEE - compoundInterest
compoundInterest
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 555-558
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 552-552
Le nombre 1 argument de
compoundInterest
est une
instance
de
FinancialAccount
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 553-553
Le nombre 2 argument de
compoundInterest
est une
instance
de
Interest
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 554-554
Le nombre 3 argument de
compoundInterest
est une
instance
de
interval temporel
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 550-550
compoundInterest
est une
instance
de
pr�dicat ternaire
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 551-551
compoundInterest
est une
sous
-relation de
interestEarned
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 512-512
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 511-511
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 510-510
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 16230-16230
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 16229-16229
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 16228-16228
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