Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. Merge.kif 11880-11880 Transacao Financeira e' uma sub-classe de Transacao
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1909-1909 TransactionCollection e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1936-1936 Vending e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20526-20526 Working e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22473-22473 Renting e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order. Merge.kif 11918-11918 CommercialService e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order. Merge.kif 11930-11930 Aposta e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order. Merge.kif 11936-11936 Comprar e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order. Merge.kif 11947-11947 Vender e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 290-290 OpeningAnAccount e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 308-308 UsingAnAccount e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 353-353 ControllingAnAccount e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 388-388 ClosingAnAccount e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 403-403 Payment e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 426-426 Deposit e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 455-455 Withdrawal e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 483-483 Investing e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 507-507 AutomaticTransaction e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 890-890 ChargingAFee e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1424-1424 Call e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1445-1445 Refinancing e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1799-1799 AssetAllocation e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1950-1950 PlacingAnOrder e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2069-2069 Liquidation e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2146-2146 FinancialDefault e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2220-2220 StockSplit e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2749-2749 ExerciseAnOption e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2829-2829 FillingAnOrder e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2833-2833 CancellingAnOrder e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3079-3079 OptionStrategy e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3179-3179 ShortSale e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3191-3191 StockMarketTransaction e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3420-3420 Rollover e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3976-3976 FinancialRequest e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3980-3980 FinancialResponse e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4125-4125 ExternalTransfer e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4138-4138 InternalTransfer e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4152-4152 Update e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order. Economy.kif 2396-2396 Exporting e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 284-284 MuakharSadaq e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 304-304 MuqaddamSadaq e' uma sub-classe de Transacao Financeira


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