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
FinancialTransaction
Transaction
)
Merge.kif 11834-11834
(
subclass
TransactionCollection
FinancialTransaction
)
UXExperimentalTerms.kif 1909-1909
(
subclass
Vending
FinancialTransaction
)
Mid-level-ontology.kif 1943-1943
(
subclass
Working
FinancialTransaction
)
Mid-level-ontology.kif 20499-20499
(
subclass
Renting
FinancialTransaction
)
Mid-level-ontology.kif 22421-22421
(
subclass
CommercialService
FinancialTransaction
)
Merge.kif 11872-11872
(
subclass
Betting
FinancialTransaction
)
Merge.kif 11884-11884
(
subclass
Buying
FinancialTransaction
)
Merge.kif 11890-11890
(
subclass
Selling
FinancialTransaction
)
Merge.kif 11901-11901
(
subclass
OpeningAnAccount
FinancialTransaction
)
FinancialOntology.kif 290-290
(
subclass
UsingAnAccount
FinancialTransaction
)
FinancialOntology.kif 308-308
(
subclass
ControllingAnAccount
FinancialTransaction
)
FinancialOntology.kif 353-353
(
subclass
ClosingAnAccount
FinancialTransaction
)
FinancialOntology.kif 388-388
(
subclass
Payment
FinancialTransaction
)
FinancialOntology.kif 403-403
(
subclass
Deposit
FinancialTransaction
)
FinancialOntology.kif 426-426
(
subclass
Withdrawal
FinancialTransaction
)
FinancialOntology.kif 455-455
(
subclass
Investing
FinancialTransaction
)
FinancialOntology.kif 483-483
(
subclass
AutomaticTransaction
FinancialTransaction
)
FinancialOntology.kif 507-507
(
subclass
ChargingAFee
FinancialTransaction
)
FinancialOntology.kif 890-890
(
subclass
Call
FinancialTransaction
)
FinancialOntology.kif 1424-1424
(
subclass
Refinancing
FinancialTransaction
)
FinancialOntology.kif 1445-1445
(
subclass
AssetAllocation
FinancialTransaction
)
FinancialOntology.kif 1799-1799
(
subclass
PlacingAnOrder
FinancialTransaction
)
FinancialOntology.kif 1950-1950
(
subclass
Liquidation
FinancialTransaction
)
FinancialOntology.kif 2069-2069
(
subclass
FinancialDefault
FinancialTransaction
)
FinancialOntology.kif 2146-2146
(
subclass
StockSplit
FinancialTransaction
)
FinancialOntology.kif 2220-2220
(
subclass
ExerciseAnOption
FinancialTransaction
)
FinancialOntology.kif 2749-2749
(
subclass
FillingAnOrder
FinancialTransaction
)
FinancialOntology.kif 2829-2829
(
subclass
CancellingAnOrder
FinancialTransaction
)
FinancialOntology.kif 2833-2833
(
subclass
OptionStrategy
FinancialTransaction
)
FinancialOntology.kif 3079-3079
(
subclass
ShortSale
FinancialTransaction
)
FinancialOntology.kif 3179-3179
(
subclass
StockMarketTransaction
FinancialTransaction
)
FinancialOntology.kif 3191-3191
(
subclass
Rollover
FinancialTransaction
)
FinancialOntology.kif 3420-3420
(
subclass
FinancialRequest
FinancialTransaction
)
FinancialOntology.kif 3976-3976
(
subclass
FinancialResponse
FinancialTransaction
)
FinancialOntology.kif 3980-3980
(
subclass
ExternalTransfer
FinancialTransaction
)
FinancialOntology.kif 4125-4125
(
subclass
InternalTransfer
FinancialTransaction
)
FinancialOntology.kif 4138-4138
(
subclass
Update
FinancialTransaction
)
FinancialOntology.kif 4152-4152
(
subclass
Exporting
FinancialTransaction
)
Economy.kif 2396-2396
(
subclass
MuakharSadaq
FinancialTransaction
)
ArabicCulture.kif 284-284
(
subclass
MuqaddamSadaq
FinancialTransaction
)
ArabicCulture.kif 304-304
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