TreeView Knowledge Base Browser - FinancialTransaction

appearance as argument number 1

(documentation FinancialTransaction ChineseLanguage "这是一种 Transaction，它出现在当一种 FinancialInstrument 的实例成为交易的主体，而且通常是用来交换另外一样的东西。")	chinese_format.kif 3095-3096
(documentation FinancialTransaction EnglishLanguage "A Transaction where an instance of FinancialInstrument is the subject of the action, and often is exchanged for something else.")	Merge.kif 11836-11838
(documentation FinancialTransaction JapaneseLanguage "Transaction は、FinancialInstrument のインスタンスがアクションの対象であり、多くの場合、他のインスタンスと交換される。")	japanese_format.kif 1866-1867
(subclass FinancialTransaction Transaction)	Merge.kif 11834-11834	FinancialTransaction ist eine teilkategorie von Transaction

appearance as argument number 2

(rangeSubclass OccupationFn FinancialTransaction)	Mid-level-ontology.kif 20489-20489	Die werte die OccupationFn zurueckgibt sind teilkategorien von FinancialTransaction
(subclass AssetAllocation FinancialTransaction)	FinancialOntology.kif 1799-1799	AssetAllocation ist eine teilkategorie von FinancialTransaction
(subclass AutomaticTransaction FinancialTransaction)	FinancialOntology.kif 507-507	AutomaticTransaction ist eine teilkategorie von FinancialTransaction
(subclass Betting FinancialTransaction)	Merge.kif 11884-11884	Betting ist eine teilkategorie von FinancialTransaction
(subclass Buying FinancialTransaction)	Merge.kif 11890-11890	Buying ist eine teilkategorie von FinancialTransaction
(subclass Call FinancialTransaction)	FinancialOntology.kif 1424-1424	Call ist eine teilkategorie von FinancialTransaction
(subclass CancellingAnOrder FinancialTransaction)	FinancialOntology.kif 2833-2833	CancellingAnOrder ist eine teilkategorie von FinancialTransaction
(subclass ChargingAFee FinancialTransaction)	FinancialOntology.kif 890-890	ChargingAFee ist eine teilkategorie von FinancialTransaction
(subclass ClosingAnAccount FinancialTransaction)	FinancialOntology.kif 388-388	ClosingAnAccount ist eine teilkategorie von FinancialTransaction
(subclass CommercialService FinancialTransaction)	Merge.kif 11872-11872	CommercialService ist eine teilkategorie von FinancialTransaction
(subclass ControllingAnAccount FinancialTransaction)	FinancialOntology.kif 353-353	ControllingAnAccount ist eine teilkategorie von FinancialTransaction
(subclass Deposit FinancialTransaction)	FinancialOntology.kif 426-426	Deposit ist eine teilkategorie von FinancialTransaction
(subclass ExerciseAnOption FinancialTransaction)	FinancialOntology.kif 2749-2749	ExerciseAnOption ist eine teilkategorie von FinancialTransaction
(subclass Exporting FinancialTransaction)	Economy.kif 2396-2396	Exporting ist eine teilkategorie von FinancialTransaction
(subclass ExternalTransfer FinancialTransaction)	FinancialOntology.kif 4125-4125	ExternalTransfer ist eine teilkategorie von FinancialTransaction
(subclass FillingAnOrder FinancialTransaction)	FinancialOntology.kif 2829-2829	FillingAnOrder ist eine teilkategorie von FinancialTransaction
(subclass FinancialDefault FinancialTransaction)	FinancialOntology.kif 2146-2146	FinancialDefault ist eine teilkategorie von FinancialTransaction
(subclass FinancialRequest FinancialTransaction)	FinancialOntology.kif 3976-3976	FinancialRequest ist eine teilkategorie von FinancialTransaction
(subclass FinancialResponse FinancialTransaction)	FinancialOntology.kif 3980-3980	FinancialResponse ist eine teilkategorie von FinancialTransaction
(subclass InternalTransfer FinancialTransaction)	FinancialOntology.kif 4138-4138	InternalTransfer ist eine teilkategorie von FinancialTransaction
(subclass Investing FinancialTransaction)	FinancialOntology.kif 483-483	Investing ist eine teilkategorie von FinancialTransaction
(subclass Liquidation FinancialTransaction)	FinancialOntology.kif 2069-2069	Liquidation ist eine teilkategorie von FinancialTransaction
(subclass MuakharSadaq FinancialTransaction)	ArabicCulture.kif 284-284	MuakharSadaq ist eine teilkategorie von FinancialTransaction
(subclass MuqaddamSadaq FinancialTransaction)	ArabicCulture.kif 304-304	MuqaddamSadaq ist eine teilkategorie von FinancialTransaction
(subclass OpeningAnAccount FinancialTransaction)	FinancialOntology.kif 290-290	OpeningAnAccount ist eine teilkategorie von FinancialTransaction

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

(domain broker 1 FinancialTransaction)	UXExperimentalTerms.kif 1685-1685	Die Zahl 1 Argument von broker ist ein fall von FinancialTransaction %n{nicht}
(domain confirmationNumber 1 FinancialTransaction)	FinancialOntology.kif 3879-3879	Die Zahl 1 Argument von confirmationNumber ist ein fall von FinancialTransaction %n{nicht}
(domain eCommerceSite 1 FinancialTransaction)	UXExperimentalTerms.kif 1705-1705	Die Zahl 1 Argument von eCommerceSite ist ein fall von FinancialTransaction %n{nicht}
(domain loss 1 FinancialTransaction)	Mid-level-ontology.kif 7204-7204	Die Zahl 1 Argument von loss ist ein fall von FinancialTransaction %n{nicht}
(domain orderFor 1 FinancialTransaction)	FinancialOntology.kif 1965-1965	Die Zahl 1 Argument von orderFor ist ein fall von FinancialTransaction %n{nicht}
(domain profit 1 FinancialTransaction)	Mid-level-ontology.kif 7602-7602	Die Zahl 1 Argument von profit ist ein fall von FinancialTransaction %n{nicht}
(domain serviceFee 2 FinancialTransaction)	FinancialOntology.kif 895-895	Die Zahl 2 Argument von serviceFee ist ein fall von FinancialTransaction %n{nicht}
(domain transactionAmount 1 FinancialTransaction)	Merge.kif 11850-11850	Die Zahl 1 Argument von transactionAmount ist ein fall von FinancialTransaction %n{nicht}
(domainSubclass dailyLimit 2 FinancialTransaction)	FinancialOntology.kif 3991-3991	Die Zahl 2 Argument von dailyLimit ist eine teilkategorie von FinancialTransaction %n{nicht}
(domainSubclass minimumBalance 2 FinancialTransaction)	FinancialOntology.kif 680-680	Die Zahl 2 Argument von minimumBalance ist eine teilkategorie von FinancialTransaction %n{nicht}
(domainSubclass occupation 2 FinancialTransaction)	Mid-level-ontology.kif 20497-20497	Die Zahl 2 Argument von occupation ist eine teilkategorie von FinancialTransaction %n{nicht}
(domainSubclass orderFor 2 FinancialTransaction)	FinancialOntology.kif 1966-1966	Die Zahl 2 Argument von orderFor ist eine teilkategorie von FinancialTransaction %n{nicht}

antecedent

(=> (and (instance ?Account CheckingAccount) (instance ?Transaction FinancialTransaction) (origin ?Transaction (CurrencyFn ?Account))) (or (exists (?Check) (and (instance ?Check Check) (instrument ?Transaction ?Check))) (exists (?DebitCard) (and (instance ?DebitCard DebitCard) (instrument ?Transaction ?DebitCard)))))	FinancialOntology.kif 1129-1142	Wenn FinancialAccount ist ein fall von CheckingAccount %n{nicht} und Process ist ein fall von FinancialTransaction %n{nicht} und Process beginnet an CurrencyFn FinancialAccount %n{nicht}, dann es gibt Object um Object ist ein fall von Check %n{nicht} und Object ist ein instrument fuer Process %n{nicht} oder es gibt Object um Object ist ein fall von DebitCard %n{nicht} und Object ist ein instrument fuer ** Process %n{nicht}
(=> (and (instance ?Account CreditCardAccount) (instance ?Transaction FinancialTransaction) (origin ?Transaction (CurrencyFn ?Account))) (exists (?Card) (and (instance ?Card CreditCard) (instrument ?Transaction ?Card))))	FinancialOntology.kif 1239-1247	Wenn FinancialAccount ist ein fall von CreditCardAccount %n{nicht} und Process ist ein fall von FinancialTransaction %n{nicht} und Process beginnet an CurrencyFn FinancialAccount %n{nicht}, dann es gibt Object um Object ist ein fall von CreditCard %n{nicht} und Object ist ein instrument fuer ** Process %n{nicht}
(=> (and (instance ?Account SavingsAccount) (instance ?Transaction FinancialTransaction) (origin ?Transaction (CurrencyFn ?Account))) (exists (?Authorization) (and (instance ?Authorization AuthorizationOfTransaction) (subProcess ?Authorization ?Transaction))))	FinancialOntology.kif 1033-1041	Wenn FinancialAccount ist ein fall von SavingsAccount %n{nicht} und Process ist ein fall von FinancialTransaction %n{nicht} und Process beginnet an CurrencyFn FinancialAccount %n{nicht}, dann es gibt Process um Process ist ein fall von AuthorizationOfTransaction %n{nicht} und Process ist ein subProzess von Process
(=> (and (instance ?Authorization AuthorizationOfTransaction) (instance ?Transaction FinancialTransaction) (instance ?Card BankCard) (instrument ?Transaction ?Card) (causes ?Authorization ?Transaction)) (instance ?Card ValidCard))	FinancialOntology.kif 3516-3523	Wenn Process ist ein fall von AuthorizationOfTransaction %n{nicht} und Process ist ein fall von FinancialTransaction %n{nicht} und Object ist ein fall von BankCard %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Process verursacht Process %n{nicht}, dann Object ist ein fall von ValidCard %n{nicht}
(=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER FinancialTransaction)))) (exists (?ITEM ?BUYING) (equal (CardinalityFn (KappaFn ?ITEM (and (instance ?ITEM Physical) (instance ?BUYING Buying) (member ?BUYING ?COLL) (patient ?BUYING ?ITEM)))) (BoughtItemsFn ?COLL))))	UXExperimentalTerms.kif 2887-2903	Wenn Collection ist ein fall von Collection %n{nicht} und fuer alle Physical wenn Physical ist ein Mitglied von Collection %n{nicht}, dann Physical ist ein fall von FinancialTransaction %n{nicht} , dann es gibt SymbolicString und entity um die Zahl Faellen in die kategorie die SymbolicString beschreibt ist gleich BoughtItemsFn ** Collection %n{nicht}
(=> (and (instance ?Card DebitCard) (possesses ?Agent ?Card) (instance ?Transaction FinancialTransaction) (instrument ?Transaction ?Card)) (exists (?PIN ?Enter) (and (pin ?PIN ?Card) (instance ?Enter EnteringAPin) (patient ?Enter ?PIN) (agent ?Enter ?Agent))))	FinancialOntology.kif 3543-3554	Wenn BankCard ist ein fall von DebitCard %n{nicht} und AutonomousAgent besitzt BankCard %n{nicht} und Process ist ein fall von FinancialTransaction %n{nicht} und BankCard ist ein instrument fuer Process %n{nicht}, dann es gibt SymbolicString und Process um pin SymbolicString and BankCard und Process ist ein fall von EnteringAPin %n{nicht} und SymbolicString ist ein patient von Process %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht}
(=> (and (instance ?TRANS FinancialTransaction) (attribute ?TRANS BusinessToBusiness)) (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE) (and (instance ?ACCT1 UserAccount) (instance ?ACCT2 UserAccount) (instance ?USER1 AutonomousAgent) (instance ?USER2 AutonomousAgent) (instance ?SITE WebSite) (agent ?TRANS ?USER1) (destination ?TRANS ?USER2) (instrument ?TRANS ?SITE) (hasAccount ?USER1 ?ACCT1) (hasAccount ?USER2 ?ACCT2) (accountAtSite ?ACCT1 ?SITE) (accountAtSite ?ACCT2 ?SITE) (attribute ?ACCT1 BusinessAccount) (attribute ?ACCT2 BusinessAccount))))	UXExperimentalTerms.kif 1727-1746	Wenn Object ist ein fall von FinancialTransaction %n{nicht} und BusinessToBusiness ist ein attribut von Object %n{nicht}, dann es gibt UserAccount, UserAccount,, , AutonomousAgent,, , AutonomousAgent, and und WebSite um UserAccount ist ein fall von UserAccount %n{nicht} und UserAccount ist ein fall von UserAccount %n{nicht} und AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und WebSite ist ein fall von WebSite %n{nicht} und Object ist der agent von AutonomousAgent %n{nicht} und Object endet an AutonomousAgent %n{nicht} und WebSite ist ein instrument fuer Object %n{nicht} und hasAccount AutonomousAgent and UserAccount und hasAccount AutonomousAgent and UserAccount und accountAtSite UserAccount and WebSite und accountAtSite UserAccount and WebSite und BusinessAccount ist ein attribut von UserAccount %n{nicht} und BusinessAccount ist ein attribut von ** UserAccount %n{nicht}
(=> (and (instance ?TRANS FinancialTransaction) (attribute ?TRANS BusinessToConsumer)) (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE) (and (instance ?ACCT1 UserAccount) (instance ?ACCT2 UserAccount) (instance ?USER1 AutonomousAgent) (instance ?USER2 AutonomousAgent) (instance ?SITE WebSite) (agent ?TRANS ?USER1) (destination ?TRANS ?USER2) (instrument ?TRANS ?SITE) (hasAccount ?USER1 ?ACCT1) (hasAccount ?USER2 ?ACCT2) (accountAtSite ?ACCT1 ?SITE) (accountAtSite ?ACCT2 ?SITE) (attribute ?ACCT1 BusinessAccount) (attribute ?ACCT2 ConsumerAccount))))	UXExperimentalTerms.kif 1759-1778	Wenn Object ist ein fall von FinancialTransaction %n{nicht} und BusinessToConsumer ist ein attribut von Object %n{nicht}, dann es gibt UserAccount, UserAccount,, , AutonomousAgent,, , AutonomousAgent, and und WebSite um UserAccount ist ein fall von UserAccount %n{nicht} und UserAccount ist ein fall von UserAccount %n{nicht} und AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und WebSite ist ein fall von WebSite %n{nicht} und Object ist der agent von AutonomousAgent %n{nicht} und Object endet an AutonomousAgent %n{nicht} und WebSite ist ein instrument fuer Object %n{nicht} und hasAccount AutonomousAgent and UserAccount und hasAccount AutonomousAgent and UserAccount und accountAtSite UserAccount and WebSite und accountAtSite UserAccount and WebSite und BusinessAccount ist ein attribut von UserAccount %n{nicht} und ConsumerAccount ist ein attribut von ** UserAccount %n{nicht}
(=> (and (instance ?TRANS FinancialTransaction) (attribute ?TRANS ConsumerToConsumer)) (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE) (and (instance ?ACCT1 UserAccount) (instance ?ACCT2 UserAccount) (instance ?USER1 AutonomousAgent) (instance ?USER2 AutonomousAgent) (instance ?SITE WebSite) (agent ?TRANS ?USER1) (destination ?TRANS ?USER2) (instrument ?TRANS ?SITE) (hasAccount ?USER1 ?ACCT1) (hasAccount ?USER2 ?ACCT2) (accountAtSite ?ACCT1 ?SITE) (accountAtSite ?ACCT2 ?SITE) (attribute ?ACCT1 ConsumerAccount) (attribute ?ACCT2 ConsumerAccount))))	UXExperimentalTerms.kif 1791-1810	Wenn Object ist ein fall von FinancialTransaction %n{nicht} und ConsumerToConsumer ist ein attribut von Object %n{nicht}, dann es gibt UserAccount, UserAccount,, , AutonomousAgent,, , AutonomousAgent, and und WebSite um UserAccount ist ein fall von UserAccount %n{nicht} und UserAccount ist ein fall von UserAccount %n{nicht} und AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und WebSite ist ein fall von WebSite %n{nicht} und Object ist der agent von AutonomousAgent %n{nicht} und Object endet an AutonomousAgent %n{nicht} und WebSite ist ein instrument fuer Object %n{nicht} und hasAccount AutonomousAgent and UserAccount und hasAccount AutonomousAgent and UserAccount und accountAtSite UserAccount and WebSite und accountAtSite UserAccount and WebSite und ConsumerAccount ist ein attribut von UserAccount %n{nicht} und ConsumerAccount ist ein attribut von ** UserAccount %n{nicht}
(=> (and (instance ?Transaction FinancialTransaction) (destination ?Transaction ?Agent)) (and (instance ?Service CommercialService) (agent ?Service ?Agent) (attribute ?Service OpenService)))	FinancialOntology.kif 3959-3966	Wenn Process ist ein fall von FinancialTransaction %n{nicht} und Process endet an AutonomousAgent %n{nicht}, dann Process ist ein fall von CommercialService %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und OpenService ist ein attribut von ** Process %n{nicht}
(=> (and (instance ?Transaction FinancialTransaction) (origin ?Transaction (CurrencyFn ?Account)) (transactionAmount ?Transaction (MeasureFn ?Amount1 ?U)) (instance ?U UnitOfCurrency) (instance ?Cash Currency) (patient ?Transaction ?Cash) (date ?Transaction ?Day)) (exists (?Amount2) (and (availableCash ?Account ?Day (MeasureFn ?Amount2 ?U)) (greaterThanOrEqualTo ?Amount1 ?Amount2))))	FinancialOntology.kif 3838-3852	Wenn FinancialTransaction ist ein fall von FinancialTransaction %n{nicht} und FinancialTransaction beginnet an CurrencyFn FinancialAccount %n{nicht} und transactionAmount FinancialTransaction and RealNumber UnitOfMeasure(s) und UnitOfMeasure ist ein fall von UnitOfCurrency %n{nicht} und Entity ist ein fall von Currency %n{nicht} und Entity ist ein patient von FinancialTransaction %n{nicht} und datum von FinancialTransaction ist Day %n{nicht}, dann es gibt RealNumber um availableCash FinancialAccount, Day and RealNumber UnitOfMeasure(s) und RealNumber ist groesserAlsOderGleich ** RealNumber %n{nicht}
(=> (and (instance ?Transaction FinancialTransaction) (origin ?Transaction ?Account) (transactionAmount ?Transaction (MeasureFn ?Amount1 ?U)) (instance ?U UnitOfCurrency) (date ?Transaction ?Day)) (exists (?Amount2) (and (availableBalance ?Account ?Day (MeasureFn ?Amount2 ?U)) (greaterThanOrEqualTo ?Amount1 ?Amount2))))	FinancialOntology.kif 3815-3827	Wenn FinancialTransaction ist ein fall von FinancialTransaction %n{nicht} und FinancialTransaction beginnet an FinancialAccount %n{nicht} und transactionAmount FinancialTransaction and RealNumber UnitOfMeasure(s) und UnitOfMeasure ist ein fall von UnitOfCurrency %n{nicht} und datum von FinancialTransaction ist Day %n{nicht}, dann es gibt RealNumber um availableBalance FinancialAccount, Day and RealNumber UnitOfMeasure(s) und RealNumber ist groesserAlsOderGleich ** RealNumber %n{nicht}
(=> (and (lastStatement ?Account ?Statement) (instance ?Transaction1 FinancialTransaction) (realization ?Statement ?Transaction1) (instance ?Transaction2 FinancialTransaction) (not (realization ?Statement ?Transaction2))) (earlier (WhenFn ?Transaction2) (WhenFn ?Transaction1)))	FinancialOntology.kif 3907-3914	Wenn lastStatement FinancialAccount and BankStatement und Physical ist ein fall von FinancialTransaction %n{nicht} und BankStatement druekt den Inhalt von Physical aus und Physical ist ein fall von FinancialTransaction %n{nicht} und nicht BankStatement druekt den Inhalt von Physical aus, dann die zeit des Bestehens von Physical geschieht frueh als die zeit des Bestehens von ** Physical %n{nicht}
(=> (instance ?TRANS FinancialTransaction) (exists (?OBJ) (and (patient ?TRANS ?OBJ) (instance ?OBJ FinancialInstrument))))	Merge.kif 11840-11845	Wenn Process ist ein fall von FinancialTransaction %n{nicht}, dann es gibt Entity um Entity ist ein patient von Process %n{nicht} und ** Entity ist ein fall von FinancialInstrument %n{nicht}

consequent

(<=> (customer ?AGENT1 ?AGENT2) (exists (?SERVICE) (and (instance ?SERVICE FinancialTransaction) (agent ?SERVICE ?AGENT2) (destination ?SERVICE ?AGENT1))))	Mid-level-ontology.kif 7727-7733	customer CognitiveAgent and AutonomousAgent genau dann wenn es gibt Process um Process ist ein fall von FinancialTransaction %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Process endet an ** CognitiveAgent %n{nicht}
(<=> (customerRepresentative ?Person1 ?Person2 ?Org) (exists (?Service) (and (instance ?Service FinancialTransaction) (employs ?Org ?Person1) (agent ?Service ?Person1) (destination ?Service ?Person2))))	FinancialOntology.kif 3635-3642	customerRepresentative CognitiveAgent, CognitiveAgent and Organization genau dann wenn es gibt Process um Process ist ein fall von FinancialTransaction %n{nicht} und Organization beschaeftigt CognitiveAgent %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht} und Process endet an ** CognitiveAgent %n{nicht}
(=> (and (attribute ?TRANS ?ATTR) (instance ?ATTR AccountAttribute)) (instance ?TRANS FinancialTransaction))	UXExperimentalTerms.kif 1637-1641	Wenn Attribute ist ein attribut von Object %n{nicht} und Attribute ist ein fall von AccountAttribute %n{nicht}, dann Object ist ein fall von FinancialTransaction %n{nicht}
(=> (and (instance ?JOIN Hiring) (instance ?ORG Organization) (agent ?JOIN ?ORG) (patient ?JOIN ?PERSON)) (expects ?ORG (exists (?FT) (and (instance ?FT FinancialTransaction) (agent ?FT ?ORG) (destination ?FT ?PERSON) (earlier (WhenFn ?JOIN) (WhenFn ?FT))))))	Merge.kif 10631-10643	Wenn Process ist ein fall von Hiring %n{nicht} und CognitiveAgent ist ein fall von Organization %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann expects CognitiveAgent and es gibt entity um entity ist ein fall von FinancialTransaction %n{nicht} und entity ist der agent von CognitiveAgent %n{nicht} und entity endet an Entity %n{nicht} und die zeit des Bestehens von Process geschieht frueh als die zeit des Bestehens von entity %n{nicht}
(=> (and (instance ?ORG Organization) (attribute ?ORG Utilities)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (or (instance ?EV Removing) (instance ?THING Sewage)) (patient ?EV ?THING) (or (instance ?THING Electron) (instance ?THING Water) (and (instance ?THING PureSubstance) (capability Combustion patient ?THING))) (member ?MEM2 ?ORG) (instance ?EV2 FinancialTransaction) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING))))))	naics.kif 954-977	Wenn Collection ist ein fall von Organization %n{nicht} und Utilities ist ein attribut von Collection %n{nicht}, dann es gibt AutonomousAgent und Process um Process ist ein Mitglied von Collection %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und es gibt Object, Process2, and und AutonomousAgent2 um AutonomousAgent ist ein fall von Removing %n{nicht} oder Object ist ein fall von Sewage %n{nicht} und Object ist ein patient von AutonomousAgent %n{nicht} und Object ist ein fall von Electron %n{nicht} oder Object ist ein fall von Water %n{nicht} oder Object ist ein fall von PureSubstance %n{nicht} und Object ist faehig %n{nicht}, in der Rolle patient Combustion zu tun und Process2 ist ein Mitglied von Collection %n{nicht} und AutonomousAgent2 ist ein fall von FinancialTransaction %n{nicht} und AutonomousAgent2 ist der agent von Process2 %n{nicht} und Object ist ein patient von AutonomousAgent2 %n{nicht}
(=> (and (instance ?PSP ProfitSharingPlan) (accountHolder ?PSP ?H) (employs ?O ?H) (profit ?A (MeasureFn ?P ?U)) (instance ?U UnitOfCurrency) (agent ?A ?O)) (exists (?C ?PAY) (and (instance ?PAY FinancialTransaction) (transactionAmount ?PAY (MeasureFn ?C ?U)) (lessThan ?C ?P) (destination ?PAY ?PSP))))	FinancialOntology.kif 1192-1207	Wenn FinancialAccount ist ein fall von ProfitSharingPlan %n{nicht} und accountHolder FinancialAccount and CognitiveAgent und AutonomousAgent beschaeftigt CognitiveAgent %n{nicht} und profit FinancialTransaction and RealNumber UnitOfMeasure(s) und UnitOfMeasure ist ein fall von UnitOfCurrency %n{nicht} und FinancialTransaction ist der agent von AutonomousAgent %n{nicht}, dann es gibt RealNumber und RealNumberAY um RealNumberAY ist ein fall von FinancialTransaction %n{nicht} und transactionAmount RealNumberAY and RealNumber UnitOfMeasure(s) und RealNumber ist kleinerAls RealNumber %n{nicht} und RealNumberAY endet an ** FinancialAccount %n{nicht}
(=> (and (instance ?Service CommercialService) (agent ?Service ?Agent) (employs ?Org ?Agent) (destination ?Service ?Customer)) (hasPurpose ?Service (exists (?Transaction) (and (instance ?Transaction FinancialTransaction) (destination ?Transaction ?Org) (origin ?Transaction ?Customer)))))	FinancialOntology.kif 3590-3601	Wenn Process ist ein fall von CommercialService %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht} und AutonomousAgent beschaeftigt CognitiveAgent %n{nicht} und Process endet an Entity %n{nicht}, dann Process hat Zweck von es gibt entity um entity ist ein fall von FinancialTransaction %n{nicht} und entity endet an AutonomousAgent %n{nicht} und entity beginnet an ** Entity %n{nicht} %n{nicht}
(=> (and (instance ?Statement BankStatement) (statementAccount ?Statement ?Account)) (exists (?Transaction) (and (instance ?Transaction FinancialTransaction) (or (origin ?Transaction (CurrencyFn ?Account)) (destination ?Transaction (CurrencyFn ?Account))) (realization ?Statement ?Transaction))))	FinancialOntology.kif 3885-3895	Wenn BankStatement ist ein fall von BankStatement %n{nicht} und statementAccount BankStatement and FinancialAccount, dann es gibt Process um Process ist ein fall von FinancialTransaction %n{nicht} und Process beginnet an CurrencyFn FinancialAccount %n{nicht} oder Process endet an CurrencyFn FinancialAccount %n{nicht} und BankStatement druekt den Inhalt von Process aus
(=> (attribute ?M CoinOperated) (hasPurpose ?M (exists (?C ?FT ?A ?ACT) (and (instance ?C CurrencyCoin) (instance ?FT FinancialTransaction) (destination ?FT ?M) (patient ?FT ?C) (origin ?FT ?A) (causes ?FT ?ACT) (wants ?A ?ACT)))))	Mid-level-ontology.kif 29474-29485	Wenn CoinOperated ist ein attribut von Object %n{nicht}, dann Object hat Zweck von es gibt entity, entity,, , entity, and und entityCT um entity ist ein fall von CurrencyCoin %n{nicht} und entity ist ein fall von FinancialTransaction %n{nicht} und entity endet an Object %n{nicht} und entity ist ein patient von entity %n{nicht} und entity beginnet an entity %n{nicht} und entity verursacht entityCT %n{nicht} und entity wuenscht entityCT %n{nicht} %n{nicht}
(=> (instance ?PS PayStub) (exists (?FT ?O ?E) (and (instance ?FT FinancialTransaction) (origin ?FT ?O) (destination ?FT ?E) (refers ?PS ?FT))))	Medicine.kif 3386-3393	Wenn Entity ist ein fall von PayStub %n{nicht}, dann es gibt Process, Object, and und Entity um Process ist ein fall von FinancialTransaction %n{nicht} und Process beginnet an Object %n{nicht} und Process endet an Entity %n{nicht} und Entity umfasst einen hinweis auf ** Process
(=> (instance ?VD VendingMachine) (hasPurpose ?VD (exists (?T ?C ?P) (and (instance ?T FinancialTransaction) (instrument ?T ?VD) (patient ?T ?C) (instance ?C Currency) (patient ?T ?P) (instance ?P Product)))))	Mid-level-ontology.kif 1974-1984	Wenn Physical ist ein fall von VendingMachine %n{nicht}, dann Physical hat Zweck von es gibt entity, entity, and und entity um entity ist ein fall von FinancialTransaction %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} und entity ist ein patient von entity %n{nicht} und entity ist ein fall von Currency %n{nicht} und entity ist ein patient von entity %n{nicht} und entity ist ein fall von Product %n{nicht} %n{nicht}
(=> (instance ?X Marketplace) (hasPurpose ?X (exists (?EV) (and (instance ?EV FinancialTransaction) (eventLocated ?EV ?X)))))	Mid-level-ontology.kif 22441-22447	Wenn Physical ist ein fall von Marketplace %n{nicht}, dann Physical hat Zweck von es gibt entity um entity ist ein fall von FinancialTransaction %n{nicht} und eventLocated entity and Physical %n{nicht}
(=> (instance ?X RestaurantBuilding) (hasPurpose ?X (exists (?OWN ?EMP ?EV ?P ?PAY) (and (employs ?OWN ?EMP) (possesses ?OWN ?X) (instance ?P Human) (instance ?PAY FinancialTransaction) (agent ?PAY ?P) (patient ?PAY ?EMP) (confersRight ?EMP ?EV ?P) (instance ?EV Eating) (agent ?EV ?P) (eventLocated ?EV ?X)))))	Mid-level-ontology.kif 22560-22574	Wenn Physical ist ein fall von RestaurantBuilding %n{nicht}, dann Physical hat Zweck von es gibt entity, entity,, , entity,, , entity, and und entityAY um entity beschaeftigt entity %n{nicht} und entity besitzt Physical %n{nicht} und entity ist ein fall von Human %n{nicht} und entityAY ist ein fall von FinancialTransaction %n{nicht} und entityAY ist der agent von entity %n{nicht} und entity ist ein patient von entityAY %n{nicht} und entity erlaubt entity, die Aufgabe der Art von entity durchzuf�hren %n{nicht} und entity ist ein fall von Eating %n{nicht} und entity ist der agent von entity %n{nicht} und eventLocated entity and Physical %n{nicht}
(=> (instance ?X Store) (hasPurpose ?X (exists (?EV) (and (instance ?EV FinancialTransaction) (eventLocated ?EV ?X)))))	Mid-level-ontology.kif 7083-7089	Wenn Physical ist ein fall von Store %n{nicht}, dann Physical hat Zweck von es gibt entity um entity ist ein fall von FinancialTransaction %n{nicht} und eventLocated entity and Physical %n{nicht}
(=> (standardRetailHours ?TIMEINT ?AGENT) (exists (?FT ?T ?C ?SRH ?NONSRH) (and (instance ?FT FinancialTransaction) (agent ?FT ?AGENT) (instance ?T ?TIMEINT) (destination ?FT ?C) (equal ?SRH (ProbabilityFn (and (during (WhenFn ?FT) ?T) (customer ?C ?AGENT)))) (equal ?NONSRH (ProbabilityFn (and (not (during (WhenFn ?FT) ?T)) (customer ?C ?AGENT)))) (greaterThan ?SRH ?NONSRH))))	Dining.kif 388-407	Wenn standardRetailHours TimeInterval and AutonomousAgent, dann es gibt Process, Entity,, , Entity,, , RealNumber, and und RealNumber um Process ist ein fall von FinancialTransaction %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Entity ist ein fall von TimeInterval %n{nicht} und Process endet an Entity %n{nicht} und RealNumber ist gleich die wahrscheinlichkeit von die zeit des Bestehens von Process geschieht waehrend Entity %n{nicht} und customer Entity and AutonomousAgent %n{nicht} und RealNumber ist gleich die wahrscheinlichkeit von die zeit des Bestehens von Process geschieht waehrend Entity nicht und customer Entity and AutonomousAgent %n{nicht} und RealNumber ist groesserAls ** RealNumber %n{nicht}

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: