origin - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__origin__m,s__ChineseLanguage,'(origin ?PROCESS ?SOURCE) 的意思是 ?SOURCE 指出 ?Process 从哪开始。注：这个关系意味着 ?SOURCE 在过程开始时是存在的，但是它不一定有参与整个过程中。例如：在以下导弹是从潜艇发射的这命题，潜艇是个 origin。')	Merge.kif 2645-2647
s__documentation(s__origin__m,s__EnglishLanguage,'(origin ?PROCESS ?SOURCE) means that ?SOURCE indicates where the ?Process began. Note that this relation implies that ?SOURCE is present at the beginning of the process, but need not participate throughout the process. For example, the submarine is the origin in the following proposition: the missile was launched from a submarine.')	Merge.kif 2639-2644
s__domain(s__origin__m,1,s__Process)	Merge.kif 2636-2636	The number 1 argument of origin is an instance of process
s__domain(s__origin__m,2,s__Object)	Merge.kif 2637-2637	The number 2 argument of origin is an instance of object
s__instance(s__CaseRole,s__SetOrClass) s__instance(s__origin__m,s__CaseRole)	Merge.kif 2634-2634	origin is an instance of case role
s__instance(s__PartialValuedRelation,s__SetOrClass) s__instance(s__origin__m,s__PartialValuedRelation)	Merge.kif 2635-2635	origin is an instance of partial valued relation
s__subrelation(s__origin__m,s__involvedInEvent__m)	Merge.kif 2638-2638	origin is a subrelation of involved in event

appearance as argument number 2

s__format(s__ChineseLanguage,s__origin__m,'%2 %n 是 %1 的源头')	chinese_format.kif 159-159
s__format(s__EnglishLanguage,s__origin__m,'%1 %n{doesnt} originate%p{s} at %2')	english_format.kif 106-106
s__termFormat(s__ChineseLanguage,s__origin__m,'源头')	chinese_format.kif 160-160	"源头" is the printable form of origin in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__origin__m,'origin')	domainEnglishFormat.kif 7516-7516	"origin" is the printable form of origin in english language

antecedent

( ! [V__Withdrawal,V__Account] : ((s__instance(V__Withdrawal,s__Withdrawal)s__and__ms__instance(V__Account,s__FinancialAccount)s__and__ms__origin(V__Withdrawal,s__CurrencyFn(V__Account)) s__and__m(s__not__m(s__exists__m[V__Penalty] : (s__instance(V__Penalty,s__Penalty)s__and__ms__destination(V__Penalty,s__CurrencyFn(V__Account)) s__and__ms__causes(V__Withdrawal,V__Penalty))))) s__<=> s__liquidity(V__Account,s__HighLiquidity)) )	FinancialOntology.kif 1756-1766	A process is an instance of withdrawal and a financial account is an instance of financial account and the process originates at the currency of the financial account and there doesn't exist another process such that the other process is an instance of penalty and the other process ends up at the currency of the financial account and the process causes the other process if and only if the liqudity of the financial account is high liquidity
( ! [V__AGENT2,V__AGENT1,V__OBJECT] : ((s__instance(V__AGENT2,s__Agent)s__and__ms__instance(V__AGENT1,s__Agent)) s__=>((s__exists__m[V__BORROW] : (s__instance(V__BORROW,s__Borrowing)s__and__ms__agent(V__BORROW,V__AGENT1) s__and__ms__origin(V__BORROW,V__AGENT2) s__and__ms__patient(V__BORROW,V__OBJECT))) s__<=> (s__exists__m[V__LEND] : (s__instance(V__LEND,s__Lending)s__and__ms__agent(V__LEND,V__AGENT2) s__and__ms__destination(V__LEND,V__AGENT1) s__and__ms__patient(V__LEND,V__OBJECT))))) )	Merge.kif 11691-11703	There exists a process such that the process is an instance of borrowing and an agent is an agent of the process and the process originates at another agent and an entity is a patient of the process if and only if there exists another process such that the other process is an instance of lending and the other agent is an agent of the other process and the other process ends up at the agent and the entity is a patient of the other process
( ! [V__AGENT2,V__AGENT1,V__OBJECT] : ((s__instance(V__AGENT2,s__Agent)s__and__ms__instance(V__AGENT1,s__Agent)) s__=>((s__exists__m[V__BUY] : (s__instance(V__BUY,s__Buying)s__and__ms__agent(V__BUY,V__AGENT1) s__and__ms__origin(V__BUY,V__AGENT2) s__and__ms__patient(V__BUY,V__OBJECT))) s__<=> (s__exists__m[V__SELL] : (s__instance(V__SELL,s__Selling)s__and__ms__agent(V__SELL,V__AGENT2) s__and__ms__destination(V__SELL,V__AGENT1) s__and__ms__patient(V__SELL,V__OBJECT))))) )	Merge.kif 11872-11884	There exists a process such that the process is an instance of buying and an agent is an agent of the process and the process originates at another agent and an entity is a patient of the process if and only if there exists another process such that the other process is an instance of selling and the other agent is an agent of the other process and the other process ends up at the agent and the entity is a patient of the other process
( ! [V__Object,V__Seller,V__Money,V__Purchase,V__Buyer] : ((s__instance(V__Object,s__Physical)s__and__ms__instance(V__Seller,s__Object)s__and__ms__instance(V__Money,s__CurrencyMeasure)s__and__ms__instance(V__Purchase,s__Process)s__and__ms__instance(V__Buyer,s__Agent)) s__=>((s__agent(V__Purchase,V__Buyer) s__and__ms__origin(V__Purchase,V__Seller) s__and__ms__patient(V__Purchase,V__Object) s__and__ms__monetaryValue(V__Object,V__Money)) s__=>(s__exists__m[V__Payment] : (s__subProcess(V__Payment,V__Purchase) s__and__ms__instance(V__Payment,s__Payment)s__and__ms__transactionAmount(V__Payment,V__Money) s__and__ms__destination(V__Payment,V__Seller))))) )	FinancialOntology.kif 465-476	If an agent is an agent of a process and the process originates at an object and a physical is a patient of the process and value of the physical is a currency measure, then there exists a financial transaction such that the financial transaction is a subprocess of the process and the financial transaction is an instance of payment and the currency measure is a transaction amount of the financial transaction and the financial transaction ends up at the object
( ! [V__O1,V__O2,V__O3,V__PATH,V__T] : ((s__instance(V__O1,s__Object)s__and__ms__instance(V__O2,s__Object)s__and__ms__instance(V__O3,s__Object)s__and__ms__instance(V__PATH,s__Object)) s__=>((s__betweenOnPath(V__O1,V__O2,V__O3,V__PATH) s__and__ms__instance(V__T,s__Transfer)s__and__ms__path(V__T,V__PATH) s__and__ms__origin(V__T,V__O1) s__and__ms__destination(V__T,V__O3)) s__=>(s__beforeOnPath(V__O1,V__O2,V__PATH,V__T) s__and__ms__beforeOnPath(V__O2,V__O3,V__PATH,V__T)))) )	Mid-level-ontology.kif 27955-27964	If an object between on path another object for a third object and a transfer is an instance of transfer and a fourth object is path along which the transfer occurs and the transfer originates at the object and the transfer ends up at the third object, then the object before the other object on path the fourth object during the transfer and the other object before the third object on path the fourth object during the transfer
No TPTP formula. May not be expressible in strict first order.	Dining.kif 130-153	If a cognitive agent is a customer of another cognitive agent and the cognitive agent charges a currency measure in corkage for a kind of object and an entity is an instance of a kind of object and there doesn't exist a process such that the process is an instance of buying and the entity is a patient of the process and the process ends up at the other cognitive agent and the process originates at the cognitive agent and another entity is an instance of intentional process and the entity is a patient of the other entity or the entity is a resource for the other entity or the entity is an instrument for the other entity and the other cognitive agent is an agent of the other entity holds during the time of existence of the other cognitive agent is located at a third entity, then there exists another process such that the other process is an instance of corkage and the other cognitive agent is an agent of the other process and the other process ends up at the cognitive agent
( ! [V__ACCESSING,V__PAGE,V__TRANSFER,V__SERVER,V__REQUESTING,V__BROWSER,V__INTERVAL] : ((s__instance(V__ACCESSING,s__AccessingWebPage)s__and__ms__instance(V__PAGE,s__WebPage)s__and__ms__instance(V__TRANSFER,s__DataTransfer)s__and__ms__instance(V__SERVER,s__Server)s__and__ms__instance(V__REQUESTING,s__Requesting)s__and__ms__instance(V__BROWSER,s__WebBrowser)s__and__ms__instance(V__INTERVAL,s__TimeInterval)s__and__ms__patient(V__ACCESSING,V__PAGE) s__and__ms__agent(V__REQUESTING,V__BROWSER) s__and__ms__destination(V__REQUESTING,V__SERVER) s__and__ms__patient(V__REQUESTING,V__PAGE) s__and__ms__origin(V__TRANSFER,V__SERVER) s__and__ms__destination(V__TRANSFER,V__BROWSER) s__and__ms__patient(V__TRANSFER,V__PAGE) s__and__ms__subProcess(V__TRANSFER,V__ACCESSING) s__and__ms__subProcess(V__REQUESTING,V__ACCESSING) s__and__m(s__EndFn(s__WhenFn(V__REQUESTING)) s__equal__ms__BeginFn(V__INTERVAL)) s__and__m(s__EndFn(s__WhenFn(V__TRANSFER)) s__equal__ms__EndFn(V__INTERVAL))) s__=>(s__SiteSpeedFn(V__ACCESSING) s__equal__mV__INTERVAL)) )	UXExperimentalTerms.kif 3954-3979	If an AccessingWebPage is an instance of AccessingWebPage and an entity is an instance of WebPage and a process is an instance of data transfer and an object is an instance of server and another process is an instance of requesting and an agent is an instance of web browser and a time interval is an instance of time interval and the entity is a patient of the AccessingWebPage and the agent is an agent of the other process and the other process ends up at the object and the entity is a patient of the other process and the process originates at the object and the process ends up at the agent and the entity is a patient of the process and the process is a subprocess of the AccessingWebPage and the other process is a subprocess of the AccessingWebPage and the end of the time of existence of the other process is equal to the beginning of the time interval and the end of the time of existence of the process is equal to the end of the time interval, then the time to access in the AccessingWebPage is equal to the time interval
( ! [V__Account,V__Transaction] : ((s__instance(V__Account,s__CheckingAccount)s__and__ms__instance(V__Transaction,s__FinancialTransaction)s__and__ms__origin(V__Transaction,s__CurrencyFn(V__Account))) s__=>((s__exists__m[V__Check] : (s__instance(V__Check,s__Check)s__and__ms__instrument(V__Transaction,V__Check))) s__or__m(s__exists__m[V__DebitCard] : (s__instance(V__DebitCard,s__DebitCard)s__and__ms__instrument(V__Transaction,V__DebitCard))))) )	FinancialOntology.kif 1074-1087	If a financial account is an instance of checking account and a process is an instance of financial transaction and the process originates at the currency of the financial account, then there exists an object such that the object is an instance of check and the object is an instrument for the process or there exists another object such that the other object is an instance of debit card and the other object is an instrument for the process
( ! [V__Account,V__Transaction] : ((s__instance(V__Account,s__CreditCardAccount)s__and__ms__instance(V__Transaction,s__FinancialTransaction)s__and__ms__origin(V__Transaction,s__CurrencyFn(V__Account))) s__=>(s__exists__m[V__Card] : (s__instance(V__Card,s__CreditCard)s__and__ms__instrument(V__Transaction,V__Card)))) )	FinancialOntology.kif 1181-1189	If a financial account is an instance of credit card account and a process is an instance of financial transaction and the process originates at the currency of the financial account, then there exists an object such that the object is an instance of credit card and the object is an instrument for the process
( ! [V__Account,V__Transaction] : ((s__instance(V__Account,s__SavingsAccount)s__and__ms__instance(V__Transaction,s__FinancialTransaction)s__and__ms__origin(V__Transaction,s__CurrencyFn(V__Account))) s__=>(s__exists__m[V__Authorization] : (s__instance(V__Authorization,s__AuthorizationOfTransaction)s__and__ms__subProcess(V__Authorization,V__Transaction)))) )	FinancialOntology.kif 978-986	If a financial account is an instance of savings account and a process is an instance of financial transaction and the process originates at the currency of the financial account, then there exists another process such that the other process is an instance of authorization of transaction and the other process is a subprocess of the process
( ! [V__Account,V__Withdrawal] : ((s__instance(V__Account,s__TraditionalSavingsAccount)s__and__ms__instance(V__Withdrawal,s__Withdrawal)s__and__ms__origin(V__Withdrawal,s__CurrencyFn(V__Account))) s__=>(s__not__m(s__exists__m[V__Penalty] : (s__instance(V__Penalty,s__Penalty)s__and__ms__destination(V__Penalty,s__CurrencyFn(V__Account)) s__and__ms__causes(V__Withdrawal,V__Penalty))))) )	FinancialOntology.kif 1060-1069	If a financial account is an instance of traditional savings account and a process is an instance of withdrawal and the process originates at the currency of the financial account, then there doesn't exist another process such that the other process is an instance of penalty and the other process ends up at the currency of the financial account and the process causes the other process
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 322-337	If a process is an instance of buying and an entity is a patient of the process and the process originates at a cognitive agent and the price of another kind of entity from the cognitive agent according to a pricing scheme is a currency measure or the unit price charged the cognitive agent under the pricing scheme for a function quantity is another kind of entity and the other kind of entity is a subclass of physical and the entity is an immediate instance of the other kind of entity and a kind of payment is a valid payment under the pricing scheme, then the statement there exists a kind of paymentMENT such that the kind of paymentMENT is an instance of the kind of payment and the kind of paymentMENT is a subprocess of the process has the modal force of likely
( ! [V__DateOfWithdrawal,V__MaturityDate,V__CD,V__Withdrawal] : ((s__instance(V__DateOfWithdrawal,s__Day)s__and__ms__instance(V__MaturityDate,s__Day)) s__=>((s__instance(V__CD,s__CertificateOfDeposit)s__and__ms__maturityDate(V__CD,V__MaturityDate) s__and__ms__instance(V__Withdrawal,s__Withdrawal)s__and__ms__origin(V__Withdrawal,s__CurrencyFn(V__CD)) s__and__ms__date(V__Withdrawal,V__DateOfWithdrawal) s__and__ms__before(s__EndFn(V__DateOfWithdrawal) ,s__BeginFn(V__MaturityDate))) s__=>(s__exists__m[V__Penalty] : (s__instance(V__Penalty,s__Penalty)s__and__ms__destination(V__Penalty,s__CurrencyFn(V__CD)) s__and__ms__causes(V__Withdrawal,V__Penalty))))) )	FinancialOntology.kif 1032-1044	If a financial account is an instance of certificate of deposit and a day is a maturity date of the financial account and a process is an instance of withdrawal and the process originates at the currency of the financial account and date of the process is another day and the end of the other day happens before the beginning of the day, then there exists another process such that the other process is an instance of penalty and the other process ends up at the currency of the financial account and the process causes the other process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11609-11619	If a process is an instance of change of possession and the process originates at an object and the process ends up at an entity and the object is an instance of agent and the entity is an instance of agent and another entity is a patient of the process, then the object possesses the other entity holds during the beginning of the time of existence of the process and the entity possesses the other entity holds during the end of the time of existence of the process
( ! [V__LOC1,V__D,V__LOC2] : (s__instance(V__LOC1,s__Object)s__=>((s__instance(V__D,s__DeliveryService)s__and__ms__origin(V__D,V__LOC1) s__and__ms__destination(V__D,V__LOC2)) s__=>(s__not__m(V__LOC1s__equal__mV__LOC2)))) )	Dining.kif 523-528	If a process is an instance of delivery service and the process originates at an object and the process ends up at an entity, then the object is not equal to the entity
( ! [V__FINISH,V__START,V__DROP] : ((s__instance(V__FINISH,s__Object)s__and__ms__instance(V__START,s__Object)) s__=>((s__instance(V__DROP,s__Falling)s__and__ms__origin(V__DROP,V__START) s__and__ms__destination(V__DROP,V__FINISH)) s__=>s__orientation(V__FINISH,V__START,s__Below))) )	Merge.kif 11535-11540	If a process is an instance of falling and the process originates at an object and the process ends up at another object, then the other object is below to the object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1712-1728	If a corpuscular object is an instance of exhaust and fuel is made of the corpuscular object and a transfer is an instance of transfer and the corpuscular objectNG is an instance of engine and the transfer originates at the corpuscular objectNG and a physical is an instance of catalytic converter and the transfer ends up at the physical and the object transferred in the transfer is the corpuscular object, then the physical has purpose there exists an entity such that the entity is an instance of combustion and the physical is an instrument for the entity and the corpuscular object is a patient of the entity and the entity is located at 2
( ! [V__O,V__A,V__EV] : ((s__instance(V__O,s__Object)s__and__ms__instance(V__A,s__Organization)) s__=>((s__instance(V__EV,s__Evacuation)s__and__ms__agent(V__EV,V__A) s__and__ms__origin(V__EV,V__O)) s__=>(s__exists__m[V__T,V__TA] : (s__instance(V__TA,s__Organization)s__and__m(s__instance(V__T,s__Translocation)s__and__ms__subProcess(V__T,V__EV) s__and__ms__origin(V__T,V__O) s__and__m(s__experiencer(V__T,V__TA) s__or__ms__agent(V__T,V__TA)) s__and__m(s__subOrganization(V__TA,V__A) s__or__ms__member(V__TA,V__A) s__or__m(V__TAs__equal__mV__A))))))) )	MilitaryProcesses.kif 2594-2610	If a process is an instance of evacuation and an organization is an agent of the process and the process originates at an object, then there exist another process and the other processA such that the other process is an instance of translocation and the other process is a subprocess of the process and the other process originates at the object and the other processA experiences the other process or the other processA is an agent of the other process and the other processA is a part of the organization the organization or the other processA is a member of the organization or the other processA is equal to the organization
( ! [V__O,V__A,V__EV] : ((s__instance(V__O,s__Object)s__and__ms__instance(V__A,s__Organization)) s__=>((s__instance(V__EV,s__Evacuation)s__and__ms__origin(V__EV,V__O) s__and__ms__agent(V__EV,V__A)) s__=>(s__exists__m[V__M,V__MA] : (s__instance(V__MA,s__Organization)s__and__m(s__instance(V__M,s__Maintaining)s__and__ms__eventLocated(V__M,V__O) s__and__ms__subProcess(V__M,V__EV) s__and__m(s__subOrganization(V__MA,V__A) s__or__ms__member(V__MA,V__A) s__or__m(V__MAs__equal__mV__A)) s__and__ms__agent(V__M,V__MA)))))) )	MilitaryProcesses.kif 2540-2554	If a process is an instance of evacuation and the process originates at an object and an organization is an agent of the process, then there exist another process and the other processA such that the other process is an instance of maintaining and the other process is located at 2 and the other process is a subprocess of the process and the other processA is a part of the organization the organization or the other processA is a member of the organization or the other processA is equal to the organization and the other processA is an agent of the other process
( ! [V__O,V__A,V__EV] : ((s__instance(V__O,s__Object)s__and__ms__instance(V__A,s__Organization)) s__=>((s__instance(V__EV,s__Evacuation)s__and__ms__origin(V__EV,V__O) s__and__ms__agent(V__EV,V__A)) s__=>(s__exists__m[V__T,V__TA] : (s__instance(V__TA,s__Organization)s__and__m(s__instance(V__T,s__Transportation)s__and__ms__destination(V__T,V__O) s__and__m(s__subOrganization(V__TA,V__A) s__or__ms__member(V__TA,V__A) s__or__m(V__TAs__equal__mV__A)) s__and__m(s__agent(V__T,V__TA) s__or__ms__patient(V__T,V__TA))))))) )	MilitaryProcesses.kif 2521-2536	If a process is an instance of evacuation and the process originates at an object and an organization is an agent of the process, then there exist another process and the other processA such that the other process is an instance of transportation and the other process ends up at the object and the other processA is a part of the organization the organization or the other processA is a member of the organization or the other processA is equal to the organization and the other processA is an agent of the other process or the other processA is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2483-2497	If a process is an instance of evacuation and the process originates at a geographic area and a cognitive agent is an agent of the process, then there exists another process such that the other process is an instance of process and the geographic area is a geographic subregion of the place where the other process was at the beginning of the time of existence of the process and the other process causes the process and the cognitive agent believes dangerous is an attribute of the other process
( ! [V__OR,V__EV,V__D] : (s__instance(V__OR,s__Object)s__=>((s__instance(V__EV,s__Evacuation)s__and__ms__origin(V__EV,V__OR) s__and__ms__destination(V__EV,V__D)) s__=>(s__exists__m[V__L] : (s__instance(V__L,s__Translocation)s__and__ms__subProcess(V__L,V__EV) s__and__ms__destination(V__L,V__D) s__and__ms__origin(V__L,V__OR))))) )	MilitaryProcesses.kif 2468-2478	If a process is an instance of evacuation and the process originates at an object and the process ends up at an entity, then there exists another process such that the other process is an instance of translocation and the other process is a subprocess of the process and the other process ends up at the entity and the other process originates at the object
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2415-2422	If a process is an instance of exporting and an entity is a patient of the process and an object is an instance of geopolitical area and the process originates at the object, then the entity is located at the object holds during the beginning of the time of existence of the process
( ! [V__EXPORT,V__ITEM,V__AREA1,V__AREA2] : ((s__instance(V__EXPORT,s__Exporting)s__and__ms__patient(V__EXPORT,V__ITEM) s__and__ms__instance(V__AREA1,s__GeopoliticalArea)s__and__ms__origin(V__EXPORT,V__AREA1) s__and__ms__instance(V__AREA2,s__GeopoliticalArea)s__and__ms__destination(V__EXPORT,V__AREA2)) s__=>(s__not__m(V__AREA1s__equal__mV__AREA2))) )	Economy.kif 2471-2479	If a process is an instance of exporting and an entity is a patient of the process and an object is an instance of geopolitical area and the process originates at the object and another entity is an instance of geopolitical area and the process ends up at the other entity, then the object is not equal to the other entity
( ! [V__EXPORT,V__ITEM,V__AREA1,V__AREA2] : ((s__instance(V__EXPORT,s__Exporting)s__and__ms__patient(V__EXPORT,V__ITEM) s__and__ms__instance(V__AREA1,s__GeopoliticalArea)s__and__ms__origin(V__EXPORT,V__AREA1) s__and__ms__instance(V__AREA2,s__GeopoliticalArea)s__and__ms__destination(V__EXPORT,V__AREA2)) s__=>(s__not__ms__located(V__AREA2,V__AREA1))) )	Economy.kif 2481-2489	If a process is an instance of exporting and an entity is a patient of the process and an object is an instance of geopolitical area and the process originates at the object and a physical is an instance of geopolitical area and the process ends up at the physical, then the physical is not located at the object

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 615-627	If a financial account amount due a currency measure for a time position and a cognitive agent holds account the financial account, then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18259-18280	If waiter is an attribute of a cognitive agent and the cognitive agent is an instance of human and another cognitive agent employs the cognitive agent and the other cognitive agent is an instance of restaurant and the other cognitive agent is a customer of a third cognitive agent and the third cognitive agent is located at an object and the object is an instance of table, then the other cognitive agent possesses another object and the other object is an instance of kitchen area and a third object is an instance of dining area and the object is located at the third object and the cognitive agent has purpose an entity is an instance of carrying and the cognitive agent is an agent of the entity and the entity originates at the other object and the entity ends up at the object and another entity is a patient of the entity and the other entity is an instance of food for human
( ! [V__Lender,V__Period,V__Loan,V__Interest,V__Borrower] : ((s__instance(V__Lender,s__CognitiveAgent)s__and__ms__instance(V__Period,s__TimeInterval)s__and__ms__instance(V__Loan,s__Loan)s__and__ms__instance(V__Interest,s__Interest)s__and__ms__instance(V__Borrower,s__CognitiveAgent)) s__=>((s__borrower(V__Loan,V__Borrower) s__and__ms__lender(V__Loan,V__Lender) s__and__ms__agreementPeriod(V__Loan,V__Period) s__and__ms__interestEarned(V__Loan,V__Interest,V__Period)) s__=>(s__exists__m[V__Payment] : (s__instance(V__Payment,s__FinancialTransaction)s__and__m(s__origin(V__Payment,V__Borrower) s__and__ms__transactionAmount(V__Payment,V__Interest) s__and__ms__destination(V__Payment,V__Lender)))))) )	FinancialOntology.kif 1203-1213	If a loan is the borrower of a cognitive agent and another cognitive agent lends the loan and a time interval is an agreement period of the loan and the loan interest earned an interest for the time interval, then there exists a financial transaction such that the financial transaction originates at the cognitive agent and the interest is a transaction amount of the financial transaction and the financial transaction ends up at the other cognitive agent
( ! [V__AGENT,V__CUST,V__ITEM] : ((s__instance(V__AGENT,s__CognitiveAgent)s__and__ms__instance(V__CUST,s__CognitiveAgent)) s__=>((s__buys(V__CUST,V__AGENT,V__ITEM) s__and__ms__instance(V__ITEM,s__Physical)) s__=>(s__exists__m[V__TRANS] : (s__instance(V__TRANS,s__Buying)s__and__ms__patient(V__TRANS,V__ITEM) s__and__ms__agent(V__TRANS,V__CUST) s__and__ms__origin(V__TRANS,V__AGENT))))) )	Mid-level-ontology.kif 28129-28138	If a cognitive agent buys an entity from another cognitive agent and the entity is an instance of physical, then there exists a process such that the process is an instance of buying and the entity is a patient of the process and the cognitive agent is an agent of the process and the process originates at the other cognitive agent
( ! [V__AGENT,V__CUST,V__ITEM] : ((s__instance(V__AGENT,s__CognitiveAgent)s__and__ms__instance(V__CUST,s__CognitiveAgent)) s__=>((s__buys(V__CUST,V__AGENT,V__ITEM) s__and__ms__instance(V__ITEM,s__Proposition)) s__=>(s__exists__m[V__TRANS,V__PROC] : (s__instance(V__PROC,s__Process)s__and__m(s__realization(V__PROC,V__ITEM) s__and__ms__instance(V__TRANS,s__Buying)s__and__ms__patient(V__TRANS,V__PROC) s__and__ms__origin(V__TRANS,V__AGENT)))))) )	Mid-level-ontology.kif 28140-28149	If a cognitive agent buys a proposition from another cognitive agent and the proposition is an instance of proposition, then there exist a process and another process such that the other process expresses the content of the proposition and the process is an instance of buying and the other process is a patient of the process and the process originates at the other cognitive agent
( ! [V__COD,V__C] : ((s__subclass(V__COD,s__Process)s__and__ms__instance(V__C,s__Computer)) s__=>((s__connectedPeripheral(V__COD,V__C) s__and__ms__instance(V__COD,s__ComputerInputDevice)) s__=>s__capability(V__COD,s__origin__m,s__DataTransfer))) )	ComputingBrands.kif 3354-3358	If %1 is a connected peripheral of %2 a kind of process and a computer and a kind of process is an instance of computer input device, then data transfer is capable of doing the kind of process as a origin
( ! [V__AGENT,V__CUST,V__X,V__LUGGAGE] : ((s__instance(V__AGENT,s__CognitiveAgent)s__and__ms__instance(V__CUST,s__CognitiveAgent)s__and__ms__instance(V__X,s__CognitiveAgent)) s__=>((s__customer(V__CUST,V__AGENT) s__and__ms__employs(V__AGENT,V__X) s__and__ms__attribute(V__AGENT,s__TravelerAccommodation)s__and__ms__attribute(V__X,s__Porter)s__and__ms__possesses(V__CUST,V__LUGGAGE) s__and__ms__instance(V__LUGGAGE,s__TravelContainer)) s__=>(s__exists__m[V__ROOM,V__CARRY] : (s__instance(V__ROOM,s__HotelUnit)s__and__ms__instance(V__CARRY,s__Carrying)s__and__ms__agent(V__CARRY,V__X) s__and__m(s__destination(V__CARRY,V__ROOM) s__or__ms__origin(V__CARRY,V__ROOM)))))) )	Hotel.kif 2333-2348	If a cognitive agent is a customer of another cognitive agent and the cognitive agent employs a third cognitive agent and traveler accommodation is an attribute of the cognitive agent and porter is an attribute of the third cognitive agent and the other cognitive agent possesses an object and the object is an instance of travel container, then there exist another object and a process such that the other object is an instance of hotel unit and the process is an instance of carrying and the third cognitive agent is an agent of the process and the process ends up at the other object or the process originates at the other object
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 151-167	If expellee is an attribute of an entity and the entity is a citizen of another entity-NATION holds during a time position and the time position is an instance of time interval, then there exist a process and an object such that the object is an instance of nation and the object is not equal to the other entity-NATION and the process is an instance of translocation and the process originates at the object and the entity is a patient of the process and the process ends up at the other entity-NATION and the time position is a part of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1885-1894	If a physical is an instance of Apple app store and the physical is a program running of a computer process and the computer process is running on a computer, then the physical has purpose there exists an entity such that the entity is an instance of Downloading and the entity originates at the computer
( ! [V__ANI,V__D] : ((s__instance(V__ANI,s__Animal)s__and__ms__instance(V__D,s__DiseaseOrSyndrome)s__and__m(s__not__ms__attribute(V__ANI,V__D))) s__=>(s__exists__m[V__P,V__W] : (s__instance(V__P,s__BiologicalProcess)s__and__ms__instance(V__P,s__Removing)s__and__ms__origin(V__P,V__ANI) s__and__ms__instance(V__W,s__Sewage)s__and__ms__agent(V__P,V__ANI) s__and__ms__patient(V__P,V__W)))) )	Mid-level-ontology.kif 2621-2634	If an agent is an instance of animal and an entity is an instance of disease or syndrome and the entity is not an attribute of the agent, then there exist a process and another entity such that the process is an instance of biological process and the process is an instance of removing and the process originates at the agent and the other entity is an instance of sewage and the agent is an agent of the process and the other entity is a patient of the process
( ! [V__ARTERY,V__TRANSFER,V__BLOOD] : ((s__instance(V__ARTERY,s__Artery)s__and__ms__instance(V__TRANSFER,s__Transfer)s__and__ms__patient(V__TRANSFER,V__BLOOD) s__and__ms__instrument(V__TRANSFER,V__ARTERY) s__and__ms__instance(V__BLOOD,s__Blood)) s__=>(s__exists__m[V__HEART] : (s__instance(V__HEART,s__Heart)s__and__ms__origin(V__TRANSFER,V__HEART)))) )	Mid-level-ontology.kif 9500-9510	If an object is an instance of artery and a process is an instance of transfer and an entity is a patient of the process and the object is an instrument for the process and the entity is an instance of blood, then there exists another object such that the other object is an instance of heart and the process originates at the other object
( ! [V__Period,V__Agent,V__Interest,V__Organization,V__Account] : ((s__instance(V__Period,s__TimeInterval)s__and__ms__instance(V__Agent,s__CognitiveAgent)s__and__ms__instance(V__Interest,s__Interest)s__and__ms__instance(V__Organization,s__FinancialOrganization)) s__=>((s__instance(V__Account,s__CreditAccount)s__and__ms__accountAt(V__Account,V__Organization) s__and__ms__accountHolder(V__Account,V__Agent) s__and__ms__interestEarned(V__Account,V__Interest,V__Period)) s__=>(s__exists__m[V__Payment] : (s__instance(V__Payment,s__FinancialTransaction)s__and__m(s__origin(V__Payment,V__Agent) s__and__ms__transactionAmount(V__Payment,V__Interest) s__and__ms__destination(V__Payment,V__Organization)))))) )	FinancialOntology.kif 1154-1164	If a financial account is an instance of credit account and the financial account is held by a financial organization and a cognitive agent holds account the financial account and the financial account interest earned an interest for a time interval, then there exists a financial transaction such that the financial transaction originates at the cognitive agent and the interest is a transaction amount of the financial transaction and the financial transaction ends up at the financial organization
( ! [V__Period,V__Total,V__BondHolder,V__BondAccount,V__Date,V__Interest,V__Principal,V__Bond] : ((s__instance(V__Period,s__TimeInterval)s__and__ms__instance(V__Total,s__CurrencyMeasure)s__and__ms__instance(V__BondHolder,s__Agent)s__and__ms__instance(V__BondAccount,s__FinancialAccount)s__and__ms__instance(V__Date,s__Day)s__and__ms__instance(V__Interest,s__Interest)s__and__ms__instance(V__Principal,s__CurrencyMeasure)) s__=>((s__instance(V__Bond,s__ZeroCouponBond)s__and__ms__maturityDate(s__AccountFn(V__Bond) ,V__Date) s__and__ms__possesses(V__BondHolder,V__Bond) s__and__ms__principalAmount(s__AccountFn(V__Bond) ,V__Principal) s__and__ms__agreementPeriod(s__AccountFn(V__Bond) ,V__Period) s__and__ms__interestEarned(s__AccountFn(V__Bond) ,V__Interest,V__Period) s__and__m(V__Totals__equal__ms__AdditionFn(V__Principal,V__Interest))) s__=>(s__exists__m[V__Payment] : (s__instance(V__Payment,s__Payment)s__and__ms__destination(V__Payment,V__BondHolder) s__and__ms__origin(V__Payment,s__CurrencyFn(V__BondAccount)) s__and__ms__transactionAmount(V__Payment,V__Total))))) )	FinancialOntology.kif 2264-2278	If a financial asset is an instance of zero coupon bond and a day is a maturity date of the account of the financial asset and the financial assetHolder possesses the financial asset and a currency measure is a principal amount of the account of the financial asset and a time interval is an agreement period of the account of the financial asset and the account of the financial asset interest earned an interest for the time interval and another currency measure is equal to (the currency measure and the interest), then there exists a financial transaction such that the financial transaction is an instance of payment and the financial transaction ends up at the financial assetHolder and the financial transaction originates at the currency of the financial assetAccount and the other currency measure is a transaction amount of the financial transaction
( ! [V__O,V__A,V__EV] : ((s__instance(V__O,s__Object)s__and__ms__instance(V__A,s__Organization)) s__=>((s__instance(V__EV,s__Evacuation)s__and__ms__agent(V__EV,V__A) s__and__ms__origin(V__EV,V__O)) s__=>(s__exists__m[V__T,V__TA] : (s__instance(V__TA,s__Organization)s__and__m(s__instance(V__T,s__Translocation)s__and__ms__subProcess(V__T,V__EV) s__and__ms__origin(V__T,V__O) s__and__m(s__experiencer(V__T,V__TA) s__or__ms__agent(V__T,V__TA)) s__and__m(s__subOrganization(V__TA,V__A) s__or__ms__member(V__TA,V__A) s__or__m(V__TAs__equal__mV__A))))))) )	MilitaryProcesses.kif 2594-2610	If a process is an instance of evacuation and an organization is an agent of the process and the process originates at an object, then there exist another process and the other processA such that the other process is an instance of translocation and the other process is a subprocess of the process and the other process originates at the object and the other processA experiences the other process or the other processA is an agent of the other process and the other processA is a part of the organization the organization or the other processA is a member of the organization or the other processA is equal to the organization
( ! [V__OR,V__EV,V__D] : (s__instance(V__OR,s__Object)s__=>((s__instance(V__EV,s__Evacuation)s__and__ms__origin(V__EV,V__OR) s__and__ms__destination(V__EV,V__D)) s__=>(s__exists__m[V__L] : (s__instance(V__L,s__Translocation)s__and__ms__subProcess(V__L,V__EV) s__and__ms__destination(V__L,V__D) s__and__ms__origin(V__L,V__OR))))) )	MilitaryProcesses.kif 2468-2478	If a process is an instance of evacuation and the process originates at an object and the process ends up at an entity, then there exists another process such that the other process is an instance of translocation and the other process is a subprocess of the process and the other process ends up at the entity and the other process originates at the object
( ! [V__F,V__C,V__I] : ((s__instance(V__F,s__FourStrokeExhaust)s__and__ms__instance(V__C,s__EngineCylinder)s__and__ms__instance(V__I,s__InternalCombustionChamber)s__and__m(V__Cs__equal__ms__HoleHostFn(V__I)) s__and__ms__eventLocated(V__F,V__C)) s__=>(s__exists__m[V__E,V__M] : (s__instance(V__M,s__GasMotion)s__and__ms__instance(V__E,s__Exhaust)s__and__ms__subProcess(V__M,V__F) s__and__ms__origin(V__M,V__I) s__and__ms__patient(V__M,V__E)))) )	Cars.kif 225-238	If a process is an instance of four stroke exhaust and an object is an instance of EngineCylinder and a hole is an instance of internal combustion chamber and the object is equal to the host of the hole the hole and the process is located at 2, then there exist an entity and another process such that the other process is an instance of gas motion and the entity is an instance of exhaust and the other process is a subprocess of the process and the other process originates at the hole and the entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1041-1058	If an object is an instance of fuel pump and another object is an instance of automobile and the object is a part of the other object and a process is an instance of transportation and another process is an instance of fuel and the other process is a patient of the process and the object is an instrument for the other process, then the object has purpose there exist an entity and another entity such that the entity is an instance of gas tank and the entity is a part of the other object and the other entity is an instance of EngineCylinder and the other entity is a part of the other object and the process originates at the entity and the process ends up at the other entity
( ! [V__G,V__P] : ((s__instance(V__G,s__Baseball)s__and__ms__instance(V__P,s__Pitching)s__and__ms__subProcess(V__P,V__G)) s__=>(s__exists__m[V__M] : (s__instance(V__M,s__PitchersMound)s__and__ms__origin(V__P,V__M)))) )	Sports.kif 548-556	If a process is an instance of baseball and another process is an instance of pitching and the other process is a subprocess of the process, then there exists an object such that the object is an instance of pitchers mound and the other process originates at the object
( ! [V__AGENT,V__GIVE] : (s__instance(V__AGENT,s__Agent)s__=>((s__instance(V__GIVE,s__Giving)s__and__ms__agent(V__GIVE,V__AGENT)) s__=>s__origin(V__GIVE,V__AGENT))) )	Merge.kif 11641-11645	If a process is an instance of giving and an agent is an agent of the process, then the process originates at the agent
( ! [V__AGENT1,V__GIVE,V__AGENT2,V__OBJ] : (s__instance(V__AGENT1,s__Agent)s__=>((s__instance(V__GIVE,s__Giving)s__and__ms__agent(V__GIVE,V__AGENT1) s__and__ms__destination(V__GIVE,V__AGENT2) s__and__ms__instance(V__AGENT2,s__Agent)s__and__ms__patient(V__GIVE,V__OBJ)) s__=>(s__exists__m[V__GET] : (s__instance(V__GET,s__Getting)s__and__ms__agent(V__GET,V__AGENT2) s__and__ms__origin(V__GET,V__AGENT1) s__and__ms__patient(V__GET,V__OBJ))))) )	Merge.kif 11627-11639	If a process is an instance of giving and an agent is an agent of the process and the process ends up at another agent and the other agent is an instance of agent and an entity is a patient of the process, then there exists another process such that the other process is an instance of getting and the other agent is an agent of the other process and the other process originates at the agent and the entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14912-14928	If a process is an instance of immigrating and an agent is an agent of the process, then there exist a geopolitical area and another geopolitical area such that the geopolitical area is an instance of nation and the other geopolitical area is an instance of nation and the process originates at the geopolitical area and the process ends up at the other geopolitical area and the geopolitical area is not equal to the other geopolitical area and the agent is a member of the citizenry of the geopolitical area and the agent is not a member of the citizenry of the other geopolitical area and the process has purpose the agent lives in the other geopolitical area
( ! [V__AGENT,V__CUST,V__P,V__FOOD] : ((s__instance(V__AGENT,s__Agent)s__and__ms__instance(V__CUST,s__Agent)) s__=>((s__instance(V__P,s__FoodPickup)s__and__ms__agent(V__P,V__AGENT) s__and__ms__destination(V__P,V__CUST) s__and__ms__patient(V__P,V__FOOD)) s__=>(s__instance(V__FOOD,s__FoodForFn(s__Human)) s__and__m(s__exists__m[V__LOC,V__T,V__G] : (s__instance(V__LOC,s__Object)s__and__m(s__located(V__AGENT,V__LOC) s__and__ms__instance(V__T,s__Translocation)s__and__ms__agent(V__T,V__CUST) s__and__ms__destination(V__T,V__LOC) s__and__ms__instance(V__G,s__Getting)s__and__ms__origin(V__G,V__AGENT) s__and__ms__destination(V__G,V__CUST) s__and__ms__patient(V__G,V__FOOD))))))) )	Dining.kif 568-585	If a process is an instance of food pickup and an agent is an agent of the process and the process ends up at another agent and an entity is a patient of the process, then the entity is an instance of food for human and there exist an object, another process and a third process such that the agent is located at the object and the other process is an instance of translocation and the other agent is an agent of the other process and the other process ends up at the object and the third process is an instance of getting and the third process originates at the agent and the third process ends up at the other agent and the entity is a patient of the third process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14161-14175	If an object is an instance of passport and an agent possesses the object, then the object confers norm there exist an entity, another entity and a third entity such that the entity is an instance of translocation and the agent is an agent of the entity and the entity originates at the other entity and the entity ends up at the third entity and the other entity is an instance of nation and the third entity is an instance of nation and the other entity is not equal to the third entity for permission
( ! [V__PLUG,V__DEVICE,V__OUTLET,V__POWER] : ((s__instance(V__PLUG,s__ElectricalPlug)s__and__ms__instance(V__DEVICE,s__ElectricDevice)s__and__ms__instance(V__OUTLET,s__ElectricalOutlet)s__and__ms__connectedEngineeringComponents(V__DEVICE,V__PLUG) s__and__ms__completelyFills(V__PLUG,V__OUTLET) s__and__ms__instance(V__POWER,s__PowerSource)s__and__ms__connectedEngineeringComponents(V__POWER,V__OUTLET)) s__=>(s__exists__m[V__RE] : (s__instance(V__RE,s__RadiatingElectromagnetic)s__and__ms__origin(V__RE,V__POWER) s__and__ms__destination(V__RE,V__DEVICE)))) )	Mid-level-ontology.kif 23933-23946	If an engineering component is an instance of electrical plug and another engineering component is an instance of electric device and a third engineering component is an instance of electrical outlet and the other engineering component is connected to the engineering component and the engineering component completely fills the third engineering component and a fourth engineering component is an instance of power source and the fourth engineering component is connected to the third engineering component, then there exists a process such that the process is an instance of radiating electromagnetic and the process originates at the fourth engineering component and the process ends up at the other engineering component
( ! [V__REPAYMENT,V__REPAYMENT_DESTINATION,V__REPAYMENT_ORIGIN] : ((s__instance(V__REPAYMENT,s__Repayment)s__and__ms__instance(V__REPAYMENT_DESTINATION,s__Object)s__and__ms__destination(V__REPAYMENT,V__REPAYMENT_DESTINATION) s__and__ms__instance(V__REPAYMENT_ORIGIN,s__Object)s__and__ms__origin(V__REPAYMENT,V__REPAYMENT_ORIGIN)) s__=>(s__exists__m[V__PAYMENT,V__PAYMENT_ORIGIN,V__PAYMENT_DESTINATION] : (s__instance(V__PAYMENT,s__Payment)s__and__ms__instance(V__PAYMENT_ORIGIN,s__Object)s__and__ms__instance(V__PAYMENT_DESTINATION,s__Object)s__and__m(s__not__m(V__PAYMENTs__equal__mV__REPAYMENT)) s__and__ms__destination(V__PAYMENT,V__PAYMENT_DESTINATION) s__and__ms__origin(V__PAYMENT,V__PAYMENT_ORIGIN) s__and__m(V__PAYMENT_ORIGINs__equal__mV__REPAYMENT_DESTINATION)s__and__m(V__PAYMENT_DESTINATIONs__equal__mV__REPAYMENT_ORIGIN)))) )	UXExperimentalTerms.kif 2089-2106	If a process is an instance of repayment and the process_DESTINATION is an instance of object and the process ends up at the process_DESTINATION and the process_ORIGIN is an instance of object and the process originates at the process_ORIGIN, then there exist another process, the other process_ORIGIN and the other process_DESTINATION such that the other process is an instance of payment and the other process_ORIGIN is an instance of object and the other process_DESTINATION is an instance of object and the other process is not equal to the process and the other process ends up at the other process_DESTINATION and the other process originates at the other process_ORIGIN and the other process_ORIGIN is equal to the process_DESTINATION and the other process_DESTINATION is equal to the process_ORIGIN

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: