TreeView Knowledge Base Browser - FinancialTransaction

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 11882-11884
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 11880-11880	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 20516-20516	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 11930-11930	Parier est une sous-classe de financial transaction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11936-11936	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 11918-11918	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 7231-7231	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 7629-7629	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 11896-11896	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 20524-20524	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	FinancialAccount est une instance de CheckingAccount processus est une instance de financial transaction processus a pour origine CurrencyFn FinancialAccount objet objet est une instance de Check objet est un instrument pour processus objet objet est une instance de DebitCard objet est un instrument pour processus
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1239-1247	FinancialAccount est une instance de CreditCardAccount processus est une instance de financial transaction processus a pour origine CurrencyFn FinancialAccount objet objet est une instance de CreditCard objet est un instrument pour processus
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1033-1041	FinancialAccount est une instance de SavingsAccount processus est une instance de financial transaction processus a pour origine CurrencyFn FinancialAccount processus processus est une instance de AuthorizationOfTransaction processus est un sous-processus de processus
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3516-3523	Processus est une instance de AuthorizationOfTransaction processus est une instance de financial transaction objet est une instance de BankCard objet est un instrument pour processus processus cause processus objet est une instance de ValidCard
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2887-2903	Collection est une instance de collection physique physique est un membre de collection physique est une instance de financial transaction cha�ne sympbolique entit� le nombre d' instances dans la classe d�crite par cha�ne sympbolique est BoughtItemsFn collection
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3543-3554	BankCard est une instance de DebitCard AutonomousAgent poss�de BankCard processus est une instance de financial transaction BankCard est un instrument pour processus cha�ne sympbolique processus pin cha�ne sympbolique and BankCard processus est une instance de EnteringAPin cha�ne sympbolique est un patient de processus processus est un agent de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1727-1746	Objet est une instance de financial transaction BusinessToBusiness est un attribut de objet UserAccount UserAccount, AutonomousAgent, AutonomousAgent and WebSite UserAccount est une instance de UserAccount UserAccount est une instance de UserAccount AutonomousAgent est une instance de AutonomousAgent AutonomousAgent est une instance de AutonomousAgent WebSite est une instance de WebSite objet est un agent de AutonomousAgent objet aboutit � AutonomousAgent WebSite est un instrument pour objet hasAccount AutonomousAgent and UserAccount hasAccount AutonomousAgent and UserAccount accountAtSite UserAccount and WebSite accountAtSite UserAccount and WebSite BusinessAccount est un attribut de UserAccount BusinessAccount est un attribut de UserAccount
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1759-1778	Objet est une instance de financial transaction BusinessToConsumer est un attribut de objet UserAccount UserAccount, AutonomousAgent, AutonomousAgent and WebSite UserAccount est une instance de UserAccount UserAccount est une instance de UserAccount AutonomousAgent est une instance de AutonomousAgent AutonomousAgent est une instance de AutonomousAgent WebSite est une instance de WebSite objet est un agent de AutonomousAgent objet aboutit � AutonomousAgent WebSite est un instrument pour objet hasAccount AutonomousAgent and UserAccount hasAccount AutonomousAgent and UserAccount accountAtSite UserAccount and WebSite accountAtSite UserAccount and WebSite BusinessAccount est un attribut de UserAccount ConsumerAccount est un attribut de UserAccount
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1791-1810	Objet est une instance de financial transaction ConsumerToConsumer est un attribut de objet UserAccount UserAccount, AutonomousAgent, AutonomousAgent and WebSite UserAccount est une instance de UserAccount UserAccount est une instance de UserAccount AutonomousAgent est une instance de AutonomousAgent AutonomousAgent est une instance de AutonomousAgent WebSite est une instance de WebSite objet est un agent de AutonomousAgent objet aboutit � AutonomousAgent WebSite est un instrument pour objet hasAccount AutonomousAgent and UserAccount hasAccount AutonomousAgent and UserAccount accountAtSite UserAccount and WebSite accountAtSite UserAccount and WebSite ConsumerAccount est un attribut de UserAccount ConsumerAccount est un attribut de UserAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3959-3966	Processus est une instance de financial transaction processus aboutit � AutonomousAgent processus est une instance de CommercialService processus est un agent de AutonomousAgent OpenService est un attribut de processus
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3838-3852	Financial transaction est une instance de financial transaction financial transaction a pour origine CurrencyFn FinancialAccount transactionAmount financial transaction and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfCurrency entit� est une instance de Currency entit� est un patient de financial transaction la date de financial transaction est jour nombre r�el availableCash FinancialAccount, jour and nombre r�el unit� de mesure(s) nombre r�el est plus grand ou �gal � nombre r�el
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3815-3827	Financial transaction est une instance de financial transaction financial transaction a pour origine FinancialAccount transactionAmount financial transaction and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfCurrency la date de financial transaction est jour nombre r�el availableBalance FinancialAccount, jour and nombre r�el unit� de mesure(s) nombre r�el est plus grand ou �gal � nombre r�el
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3907-3914	lastStatement FinancialAccount and BankStatement physique est une instance de financial transaction BankStatement exprime le contenu de physique physique est une instance de financial transaction BankStatement n' exprime %n{pas} le contenu de physique temps d'existence de physique arrive plus t�t que temps d'existence de physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11886-11891	Processus est une instance de financial transaction entit� entit� est un patient de processus entit� est une instance de FinancialInstrument

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7754-7760	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	Attribut est un attribut de objet attribut est une instance de AccountAttribute objet est une instance de financial transaction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10665-10677	Processus est une instance de engager agent cognitif est une instance de organisation processus est un agent de agent cognitif entit� est un patient de processus expects agent cognitif and entit� entit� est une instance de financial transaction entit� est un agent de agent cognitif entit� aboutit � entit� temps d'existence de processus arrive plus t�t que temps d'existence de entit�
No TPTP formula. May not be expressible in strict first order.	naics.kif 954-977	Collection est une instance de organisation Utilities est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent objet processus2 and AutonomousAgent2 AutonomousAgent est une instance de supprimer objet est une instance de Sewage objet est un patient de AutonomousAgent objet est une instance de �l�ctron objet est une instance de eau objet est une instance de substance pure objet est capable de faire combustion dans le r�le patient processus2 est un membre de collection AutonomousAgent2 est une instance de financial transaction AutonomousAgent2 est un agent de processus2 objet est un patient de AutonomousAgent2
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1192-1207	FinancialAccount est une instance de ProfitSharingPlan accountHolder FinancialAccount and agent cognitif AutonomousAgent emploie agent cognitif profit financial transaction and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfCurrency financial transaction est un agent de AutonomousAgent nombre r�el nombre r�elAY nombre r�elAY est une instance de financial transaction transactionAmount nombre r�elAY and nombre r�el unit� de mesure(s) nombre r�el est moins que nombre r�el nombre r�elAY aboutit � FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3590-3601	Processus est une instance de CommercialService processus est un agent de agent cognitif AutonomousAgent emploie agent cognitif processus aboutit � entit� processus a pour but entit� entit� est une instance de financial transaction entit� aboutit � AutonomousAgent entit� a pour origine entit�
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3885-3895	BankStatement est une instance de BankStatement statementAccount BankStatement and FinancialAccount processus processus est une instance de financial transaction processus a pour origine CurrencyFn FinancialAccount processus aboutit � CurrencyFn FinancialAccount BankStatement exprime le contenu de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29525-29536	CoinOperated est un attribut de objet objet a pour but entit� entit�, entit� and entit�CT entit� est une instance de CurrencyCoin entit� est une instance de financial transaction entit� aboutit � objet entit� est un patient de entit� entit� a pour origine entit� entit� cause entit�CT entit� veut entit�CT
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3386-3393	Entit� est une instance de PayStub processus objet and entit� processus est une instance de financial transaction processus a pour origine objet processus aboutit � entit� entit� inclut une r�f�rence � processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1967-1977	Physique est une instance de VendingMachine physique a pour but entit� entit� and entit� entit� est une instance de financial transaction physique est un instrument pour entit� entit� est un patient de entit� entit� est une instance de Currency entit� est un patient de entit� entit� est une instance de produit
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22493-22499	Physique est une instance de Marketplace physique a pour but entit� entit� est une instance de financial transaction eventLocated entit� and physique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22612-22626	Physique est une instance de RestaurantBuilding physique a pour but entit� entit�, entit�, entit� and entit�AY entit� emploie entit� entit� poss�de physique entit� est une instance de humain entit�AY est une instance de financial transaction entit�AY est un agent de entit� entit� est un patient de entit�AY entit� autorise entit� � ex�cut� des t�ches du type entit� entit� est une instance de manger entit� est un agent de entit� eventLocated entit� and physique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7110-7116	Physique est une instance de Store physique a pour but entit� entit� est une instance de financial transaction eventLocated entit� and physique
No TPTP formula. May not be expressible in strict first order.	Dining.kif 388-407	standardRetailHours interval temporel and AutonomousAgent processus entit�, entit�, nombre r�el and nombre r�el processus est une instance de financial transaction processus est un agent de AutonomousAgent entit� est une instance de interval temporel processus aboutit � entit� nombre r�el est probabilit� de temps d'existence de processus prend place pendant entit� customer entit� and AutonomousAgent nombre r�el est probabilit� de temps d'existence de processus ne prend %n{pas} place pendant entit� customer entit� and AutonomousAgent nombre r�el est plus grand que nombre r�el

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

KB Term:			Term intersection

English Word: