Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  FinancialTransaction

Sigma KEE - FinancialTransaction
FinancialTransaction(financial transaction)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3095-3096
No TPTP formula. May not be expressible in strict first order. Merge.kif 11836-11838
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1866-1867
No TPTP formula. May not be expressible in strict first order. Merge.kif 11834-11834 Financial transaction est une sous-classe de transaction

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20489-20489 Les valeurs retourn�es par OccupationFn sont des sous-classes de financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1799-1799 AssetAllocation est une sous-classe de financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 507-507 AutomaticTransaction est une sous-classe de financial transaction
No TPTP formula. May not be expressible in strict first order. Merge.kif 11884-11884 Parier est une sous-classe de financial transaction
No TPTP formula. May not be expressible in strict first order. Merge.kif 11890-11890 Acheter est une sous-classe de financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1424-1424 Call est une sous-classe de financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2833-2833 CancellingAnOrder est une sous-classe de financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 890-890 ChargingAFee est une sous-classe de financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 388-388 ClosingAnAccount est une sous-classe de financial transaction
No TPTP formula. May not be expressible in strict first order. Merge.kif 11872-11872 CommercialService est une sous-classe de financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 353-353 ControllingAnAccount est une sous-classe de financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 426-426 Deposit est une sous-classe de financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2749-2749 ExerciseAnOption est une sous-classe de financial transaction
No TPTP formula. May not be expressible in strict first order. Economy.kif 2396-2396 Exporting est une sous-classe de financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4125-4125 ExternalTransfer est une sous-classe de financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2829-2829 FillingAnOrder est une sous-classe de financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2146-2146 FinancialDefault est une sous-classe de financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3976-3976 FinancialRequest est une sous-classe de financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3980-3980 FinancialResponse est une sous-classe de financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4138-4138 InternalTransfer est une sous-classe de financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 483-483 Investing est une sous-classe de financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2069-2069 Liquidation est une sous-classe de financial transaction
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 284-284 MuakharSadaq est une sous-classe de financial transaction
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 304-304 MuqaddamSadaq est une sous-classe de financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 290-290 OpeningAnAccount est une sous-classe de financial transaction

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1685-1685 Le nombre 1 argument de broker est une instance de financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3879-3879 Le nombre 1 argument de confirmationNumber est une instance de financial transaction
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1705-1705 Le nombre 1 argument de eCommerceSite est une instance de financial transaction
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7204-7204 Le nombre 1 argument de loss est une instance de financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1965-1965 Le nombre 1 argument de orderFor est une instance de financial transaction
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7602-7602 Le nombre 1 argument de profit est une instance de financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 895-895 Le nombre 2 argument de serviceFee est une instance de financial transaction
No TPTP formula. May not be expressible in strict first order. Merge.kif 11850-11850 Le nombre 1 argument de transactionAmount est une instance de financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3991-3991 Le nombre 2 argument de dailyLimit est une sous-classe de financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 680-680 Le nombre 2 argument de minimumBalance est une sous-classe de financial transaction
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20497-20497 Le nombre 2 argument de occupation est une sous-classe de financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1966-1966 Le nombre 2 argument de orderFor est une sous-classe de financial transaction

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1129-1142
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1239-1247
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1033-1041
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3516-3523
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2887-2903
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3543-3554
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1727-1746
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1759-1778
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1791-1810
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3959-3966
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3838-3852
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3815-3827
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3907-3914
No TPTP formula. May not be expressible in strict first order. Merge.kif 11840-11845

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7727-7733 customer agent cognitif and AutonomousAgent processus processus est une instance de financial transaction processus est un agent de AutonomousAgent processus aboutit agent cognitif
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3635-3642 customerRepresentative agent cognitif, agent cognitif and organisation processus processus est une instance de financial transaction organisation emploie agent cognitif processus est un agent de agent cognitif processus aboutit agent cognitif
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1637-1641
No TPTP formula. May not be expressible in strict first order. Merge.kif 10631-10643
No TPTP formula. May not be expressible in strict first order. naics.kif 954-977
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1192-1207
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3590-3601
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3885-3895
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29474-29485
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3386-3393
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1974-1984
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22441-22447
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22560-22574
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7083-7089
No TPTP formula. May not be expressible in strict first order. Dining.kif 388-407


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