Term Intersection
: 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
Term 1:
Term 2:
(
subclass
FinancialInstrument
Certificate
)
Merge.kif 15646-15646
FinancialInstrument
ist eine
teilkategorie
von
Certificate
(
subclass
Currency
FinancialInstrument
)
Merge.kif 15650-15650
Currency
ist eine
teilkategorie
von
FinancialInstrument
(
subclass
Note
FinancialInstrument
)
FinancialOntology.kif 86-86
Note
ist eine
teilkategorie
von
FinancialInstrument
(
subclass
Check
FinancialInstrument
)
FinancialOntology.kif 90-90
Check
ist eine
teilkategorie
von
FinancialInstrument
(
subclass
BankCard
FinancialInstrument
)
FinancialOntology.kif 179-179
BankCard
ist eine
teilkategorie
von
FinancialInstrument
(
subclass
Security
FinancialInstrument
)
FinancialOntology.kif 2080-2080
Security
ist eine
teilkategorie
von
FinancialInstrument
(
subclass
Stock
FinancialInstrument
)
FinancialOntology.kif 2152-2152
Stock
ist eine
teilkategorie
von
FinancialInstrument
(
subclass
Bond
FinancialInstrument
)
FinancialOntology.kif 2259-2259
Bond
ist eine
teilkategorie
von
FinancialInstrument
(
subclass
Title
FinancialInstrument
)
FinancialOntology.kif 3928-3928
Title
ist eine
teilkategorie
von
FinancialInstrument
(
subclass
Receipt
FinancialInstrument
)
FinancialOntology.kif 3972-3972
Receipt
ist eine
teilkategorie
von
FinancialInstrument
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