destination - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__destination__m,s__ChineseLanguage,'"(destination ?PROCESS ?GOAL) 的意思是 ?GOAL 是 ?PROCESS 过程的目标或目的。例如：在以下鲍勃去了丹伯里这命题中，鲍勃会是终点。注：这是一个非常概括的 CaseRole，而特别是它包括接受者和受益者这两个概念，故此，在以下汤姆给了约翰一本书这命题中，约翰会是 destination。"')	chinese_format.kif 1868-1871
s__documentation(s__destination__m,s__EnglishLanguage,'"(destination ?PROCESS ?GOAL) means that ?GOAL is the target or goal of the Process ?PROCESS. For example, Danbury would be the destination in the following proposition: Bob went to Danbury. Note that this is a very general CaseRole and, in particular, that it covers the concepts of recipient and beneficiary. Thus, John would be the destination in the following proposition: Tom gave a book to John."')	Merge.kif 2356-2362
s__domain(s__destination__m,n__1,s__Process)	Merge.kif 2352-2352	The number 1 argument of destination is an instance of process
s__domain(s__destination__m,n__2,s__Entity)	Merge.kif 2353-2353	The number 2 argument of destination is an instance of entity
s__instance(s__destination__m,s__CaseRole) s__instance(s__CaseRole,s__SetOrClass)	Merge.kif 2350-2350	destination is an instance of case role
s__instance(s__destination__m,s__PartialValuedRelation) s__instance(s__PartialValuedRelation,s__SetOrClass)	Merge.kif 2351-2351	destination is an instance of partial valued relation
s__subrelation(s__destination__m,s__involvedInEvent__m)	Merge.kif 2354-2354	destination is a subrelation of involved in event

appearance as argument number 2

s__format(s__ChineseLanguage,s__destination__m,'"%1 %n{doesnt} %n 在 %2 结束"')	chinese_format.kif 93-93
s__format(s__EnglishLanguage,s__destination__m,'"%1 %n{doesnt} end%p{s} up at %2"')	english_format.kif 93-93
s__termFormat(s__ChineseLanguage,s__destination__m,'"目的地"')	domainEnglishFormat.kif 19263-19263
s__termFormat(s__ChineseLanguage,s__destination__m,'"终点"')	chinese_format.kif 94-94
s__termFormat(s__ChineseTraditionalLanguage,s__destination__m,'"目的地"')	domainEnglishFormat.kif 19262-19262
s__termFormat(s__EnglishLanguage,s__destination__m,'"destination"')	domainEnglishFormat.kif 19261-19261

antecedent

( ! [V__Account,V__Withdrawal] : ((((s__instance(V__Withdrawal,s__Withdrawal) & s__instance(V__Account,s__FinancialAccount) & s__origin(V__Withdrawal,s__CurrencyFn(V__Account)) & ~(( ? [V__Penalty] : ((s__instance(V__Penalty,s__Penalty) & s__destination(V__Penalty,s__CurrencyFn(V__Account)) & s__causes(V__Withdrawal,V__Penalty)))))) => s__liquidity(V__Account,s__HighLiquidity)) & (s__liquidity(V__Account,s__HighLiquidity) => (s__instance(V__Withdrawal,s__Withdrawal) & s__instance(V__Account,s__FinancialAccount) & s__origin(V__Withdrawal,s__CurrencyFn(V__Account)) & ~(( ? [V__Penalty] : ((s__instance(V__Penalty,s__Penalty) & s__destination(V__Penalty,s__CurrencyFn(V__Account)) & s__causes(V__Withdrawal,V__Penalty)))))))) ) )	FinancialOntology.kif 1767-1777	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__O1,V__O2,V__O3,V__T,V__PATH] : (((s__instance(V__O1,s__Object) & s__instance(V__O2,s__Object) & s__instance(V__O3,s__Object) & s__instance(V__PATH,s__Object)) => (((s__betweenOnPath(V__O1,V__O2,V__O3,V__PATH) & s__instance(V__T,s__Transfer) & s__path(V__T,V__PATH) & s__origin(V__T,V__O1) & s__destination(V__T,V__O3)) => ((s__beforeOnPath(V__O1,V__O2,V__PATH,V__T) & s__beforeOnPath(V__O2,V__O3,V__PATH,V__T)))))) ) )	Mid-level-ontology.kif 27929-27938	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.	TransportDetail.kif 153-171	If an organization is capable of doing valet parking as a agent and the organization is a customer of a cognitive agent and the organization is located at an object and a process is an instance of arriving and the cognitive agent is an agent of the process and an entity is a patient of the process and the process ends up at the object, then a human holds the position of valet in the organization and the statement there exists another entity such that the other entity is an instance of valet parking and the human is an agent of the other entity and the entity is a patient of the other entity and the other entity ends up at a third entity and the third entity is an instance of parking area has the modal force of possibility
( ! [V__AGENT,V__AMT,V__CUST,V__D,V__ITEM,V__X] : (((s__instance(V__AGENT,s__CognitiveAgent) & s__instance(V__AMT,s__CurrencyMeasure) & s__instance(V__CUST,s__CognitiveAgent) & s__subclass(V__ITEM,s__Object) & s__instance(V__ITEM,s__Class) & s__instance(V__X,s__Object)) => (((s__customer(V__CUST,V__AGENT) & s__corkageFee(V__AMT,V__ITEM,V__AGENT) & s__instance(V__X,V__ITEM) & ~(( ? [V__B] : ((s__instance(V__B,s__Buying) & s__patient(V__B,V__X) & s__destination(V__B,V__CUST) & s__origin(V__B,V__AGENT))))) & s__instance(V__D,s__Drinking) & s__agent(V__D,V__CUST) & s__resource(V__D,V__X)) => (( ? [V__C] : ((s__instance(V__C,s__Corkage) & s__agent(V__C,V__CUST) & s__refers(V__C,V__X) & s__destination(V__C,V__AGENT)))))))) ) )	Dining.kif 130-150	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 another object 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 other object 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 process is an instance of drinking and the other cognitive agent is an agent of the other process and the other object is a resource for the other process, then there exists a third process such that the third process is an instance of corkage and the other cognitive agent is an agent of the third process and the third process includes a reference to the other object and the third process ends up at the cognitive agent
( ! [V__TELEX,V__M,V__MSG] : (((s__destination(V__MSG,V__TELEX) & s__instance(V__MSG,s__Messaging) & s__patient(V__MSG,V__M) & s__instance(V__TELEX,s__Telex)) => (( ? [V__PROC, V__TEXT] : ((s__instance(V__PROC,s__Process) & (s__instrument(V__PROC,V__TELEX) & s__result(V__PROC,V__TEXT) & s__represents(V__TEXT,V__M) & s__instance(V__TEXT,s__Text) & s__before(s__BeginFn(s__WhenFn(V__MSG)) ,s__BeginFn(s__WhenFn(V__PROC))))))))) ) )	Communications.kif 202-214	If a process ends up at an object and the process is an instance of messaging and an entity is a patient of the process and the object is an instance of telex, then there exist another process and another entity such that the object is an instrument for the other process and the other entity is a result of the other process and the other entity expresses the entity and the other entity is an instance of text and the beginning of the time of existence of the process happens before the beginning of the time of existence of the other process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2599-2617	If the idle speed of an internal combustion engine is the rotation of a real number miles per hour(s) during a time duration and an object is an instance of automobile and a process is an instance of gas pedal and the process is an instance of pushing and the process ends up at another object and the internal combustion engine is a part of the object and the other object is a part of the object and a third object is an instance of Crankshaft and the third object is a part of the internal combustion engine and the measure of the third object is the rotation of an entity miles per hour(s) during the time duration holds during the time of existence of the process, then the statement the entity is greater than the real number has the modal force of likely
( ! [V__AGENT,V__R,V__CUST,V__X,V__RM,V__FR,V__PHYS] : (((s__instance(V__AGENT,s__CognitiveAgent) & s__instance(V__CUST,s__CognitiveAgent) & s__subclass(V__FR,s__HotelFunctionRoom) & s__instance(V__FR,s__Class) & s__instance(V__PHYS,s__Class)) => (((s__freeFunctionRoomAmenity(V__FR,V__PHYS) & s__instance(V__RM,V__FR) & s__element(V__RM,s__PropertyFn(V__AGENT)) & s__instance(V__R,s__Renting) & s__patient(V__R,V__RM) & s__destination(V__R,V__CUST) & s__instance(V__X,V__PHYS) & s__possesses(V__AGENT,V__X) & s__customer(V__CUST,V__AGENT) & ((s__instance(V__X,s__Process) & (s__agent(V__X,V__CUST) \| s__experiencer(V__X,V__CUST))) \| (s__possesses(V__AGENT,V__X) & s__instance(V__X,s__Object) & s__uses(V__CUST,V__X)))) => (s__price(V__X,s__MeasureFn(n__0,s__UnitedStatesDollar),V__AGENT))))) ) )	Hotel.kif 820-841	If a class is free for customers renting a kind of hotel function room and an entity is an instance of a kind of hotel function room and the entity is an element of belongings of a cognitive agent and a process is an instance of renting and the entity is a patient of the process and the process ends up at another cognitive agent and an agent is an instance of the class and the cognitive agent possesses the agent and the cognitive agent is a customer of the other cognitive agent and the agent is an instance of process and the other cognitive agent is an agent of the agent or the other cognitive agent experiences the agent or the cognitive agent possesses the agent and the agent is an instance of object and the agent uses the other cognitive agent, then the agent is price 0 united states dollar(s) for the cognitive agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 790-811	If use of a kind of physical is free for a kind of hotel function room and an entity is an instance of a kind of hotel function room and the entity is an element of belongings of an agent and a process is an instance of renting and the entity is a patient of the process and the agent is an agent of the process and the process ends up at another entity and a kind of physical is a subclass of object, then the statement there exist a third entity and a fourth entity such that the third entity is an instance of the kind of physical and the fourth entity is an instance of process and the third entity is a resource for the fourth entity or the third entity is an instrument for the fourth entity or the third entity is a patient of the fourth entity and the other entity is an agent of the fourth entity or the other entity experiences the fourth entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27770-27782	If a process is an instance of Apologizing and the processG is an agent of the process and the process ends up at another agent, then there exists the processCT such that the other agent suffers from the processCT and the processG is an agent of the processCT and the processG doesn't want the processCT holds during the time of existence of the process
( ! [V__PAGE,V__ACCESSING,V__INTERVAL,V__REQUESTING,V__BROWSER,V__TRANSFER,V__SERVER] : (((s__instance(V__ACCESSING,s__AccessingWebPage) & s__instance(V__PAGE,s__WebPage) & s__instance(V__TRANSFER,s__DataTransfer) & s__instance(V__SERVER,s__Server) & s__instance(V__REQUESTING,s__Requesting) & s__instance(V__BROWSER,s__WebBrowser) & s__instance(V__INTERVAL,s__TimeInterval) & s__patient(V__ACCESSING,V__PAGE) & s__agent(V__REQUESTING,V__BROWSER) & s__destination(V__REQUESTING,V__SERVER) & s__patient(V__REQUESTING,V__PAGE) & s__origin(V__TRANSFER,V__SERVER) & s__destination(V__TRANSFER,V__BROWSER) & s__patient(V__TRANSFER,V__PAGE) & s__subProcess(V__TRANSFER,V__ACCESSING) & s__subProcess(V__REQUESTING,V__ACCESSING) & (s__EndFn(s__WhenFn(V__REQUESTING)) = s__BeginFn(V__INTERVAL)) & (s__EndFn(s__WhenFn(V__TRANSFER)) = s__EndFn(V__INTERVAL))) => ((s__SiteSpeedFn(V__ACCESSING) = V__INTERVAL))) ) )	UXExperimentalTerms.kif 3966-3991	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
No TPTP formula. May not be expressible in strict first order.	Dining.kif 725-748	If an agent is an instance of agent and a cognitive agent is a potential customer for the agent and the statement an entity is an instance of reserving and the entity ends up at the agent has the modal force of necessity and probability of there exists the entityES1 such that the entityES1 is an instance of reservation and the cognitive agent reserves the entityES1 and the agent fulfills the entityES1 provided that the agent is a customer of the cognitive agent holds is a real number and probability of there doesn't exist the entityES2 such that the entityES2 is an instance of reservation and the cognitive agent reserves the entityES2 and the agent fulfills the entityES2 provided that the agent is a customer of the cognitive agent holds is another real number, then the other real number is less than the real number
( ! [V__Amount,V__MinPayment,V__U,V__Account] : (((s__instance(V__Amount,s__RealNumber) & s__instance(V__MinPayment,s__RealNumber)) => (((s__instance(V__Account,s__LiabilityAccount) & s__minimumPayment(V__Account,s__MeasureFn(V__MinPayment,V__U) ,s__MonthDuration) & s__instance(V__U,s__UnitOfCurrency) & ( ? [V__Payment, V__Month] : ((s__instance(V__Payment,s__Process) & (s__instance(V__Month,s__Month) & s__destination(V__Payment,s__CurrencyFn(V__Account)) & s__paymentsPerPeriod(V__Account,s__MeasureFn(V__Amount,V__U) ,V__Month) & s__lessThan(V__Amount,V__MinPayment)))))) => (( ? [V__Penalty] : ((s__instance(V__Penalty,s__Penalty) & s__destination(V__Penalty,s__CurrencyFn(V__Account))))))))) ) )	FinancialOntology.kif 718-734	If a liability account is an instance of liability account and the liability account is minimum payment a real number an unit of measure(s) for month duration and the unit of measure is an instance of UnitOfCurrency and there exist a process and a time interval such that the time interval is an instance of month and the process ends up at the currency of the liability account and the liability account payments per period another real number the unit of measure(s) for the time interval and the other real number is less than the real number, 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 liability account
( ! [V__B,V__I] : (((s__instance(V__B,s__Bell) & s__instance(V__I,s__Impacting) & s__destination(V__I,V__B)) => (( ? [V__MT] : ((s__instance(V__MT,s__MusicalTone) & s__causes(V__I,V__MT)))))) ) )	Music.kif 1248-1256	If an entity is an instance of bell and a process is an instance of impacting and the process ends up at the entity, then there exists another process such that the other process is an instance of musical tone and the process causes the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16817-16833	If a transfer is an instance of bequeathing and an agent is an agent of the transfer and the transfer ends up at an entity and the object transferred in the transfer is the agentROP, then there exists a process such that the process is an instance of death and the agent experiences the process and the time of existence of the process happens earlier than the time of existence of the transfer and the agent possesses the agentROP holds during immediately before the time of existence of the process and the agent confers norm the entity possesses the agentROP for permission
No TPTP formula. May not be expressible in strict first order.	Cars.kif 693-707	If an object is an instance of brake pedal and a process is an instance of pushing and another object is an instance of vehicle and the process ends up at the object and the process is located at 2 and the object is a part of the other object, then the object has the purpose there exist an entity and another entity such that the entity is an instance of wearing friction surface and the other entity is an instance of friction and the entity is an instrument for the other entity and the process causes the other entity
( ! [V__AGENT,V__C,V__CUST,V__LOC2,V__LOC1] : (((s__instance(V__AGENT,s__CognitiveAgent) & s__instance(V__CUST,s__CognitiveAgent) & s__instance(V__LOC1,s__Object)) => (((s__instance(V__C,s__CateringService) & s__agent(V__C,V__AGENT) & s__destination(V__C,V__CUST) & s__located(V__AGENT,V__LOC1) & s__customer(V__CUST,V__AGENT) & ( ? [V__S, V__FOOD, V__E] : ((s__instance(V__S,s__Cooking) & s__agent(V__S,V__AGENT) & s__result(V__S,V__FOOD) & s__patient(V__C,V__FOOD) & s__instance(V__E,s__Eating) & s__agent(V__E,V__CUST) & s__eventLocated(V__E,V__LOC2))))) => (~((V__LOC1 = V__LOC2)))))) ) )	Dining.kif 540-556	If a process is an instance of catering and a cognitive agent is an agent of the process and the process ends up at the processUST and the cognitive agent is located at an object and the cognitive agent is a customer of the processUST and there exist another process, an entity and a third process such that the other process is an instance of cooking and the cognitive agent is an agent of the other process and the entity is a result of the other process and the entity is a patient of the process and the third process is an instance of eating and the processUST is an agent of the third process and the third process is located at 2, then the object is not equal to another entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11129-11139	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__AGENT,V__CONTRACT,V__CLOSE] : (((s__instance(V__AGENT,s__Agent) & s__instance(V__AGENT,s__Agreement) & s__instance(V__CONTRACT,s__CognitiveAgent)) => (((s__instance(V__CLOSE,s__ClosingContract) & s__agent(V__CLOSE,V__AGENT) & s__destination(V__CLOSE,V__CONTRACT)) => (s__partyToAgreement(V__CONTRACT,V__AGENT))))) ) )	Mid-level-ontology.kif 19578-19583	If a process is an instance of closing contract and an agent is an agent of the process and the process ends up at a cognitive agent, then the agent is a party to agreement of the cognitive agent
( ! [V__Agent,V__Give,V__Check,V__Organization] : (((s__instance(V__Agent,s__Agent) & s__instance(V__Organization,s__CognitiveAgent)) => (((s__instance(V__Check,s__PayCheck) & s__issuedBy(V__Check,V__Organization) & s__instance(V__Give,s__Giving) & s__destination(V__Give,V__Agent)) => (s__employs(V__Agent,V__Organization))))) ) )	FinancialOntology.kif 171-177	If a certificate is an instance of pay check and a cognitive agent is an issued by of the certificate and a process is an instance of giving and the process ends up at an agent, then the agent employs the cognitive agent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 507-516	If a process is an instance of delivery service and the process ends up at an entity and a geographic area is the delivery area of an agent and probability of the entity is located at the geographic area provided that the agent is an agent of the process holds is a real number and probability of the entity is not located at the geographic area provided that the agent is an agent of the process holds is another real number, then the other real number is less than the real number
( ! [V__D,V__LOC2,V__LOC1] : ((s__instance(V__LOC1,s__Object) => (((s__instance(V__D,s__DeliveryService) & s__origin(V__D,V__LOC1) & s__destination(V__D,V__LOC2)) => (~((V__LOC1 = V__LOC2)))))) ) )	Dining.kif 519-524	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
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 228-235	If a process is an instance of damaging and an agent is an agent of the process and the process ends up at a cognitive agent and the cognitive agent is an instance of cognitive agent, then the cognitive agent believes dangerous is an attribute of the agent
( ! [V__DRIVING,V__DEST,V__TRANSPORT] : (((s__instance(V__DRIVING,s__Driving) & s__subProcess(V__TRANSPORT,V__DRIVING) & s__instance(V__TRANSPORT,s__Transportation) & s__destination(V__DRIVING,V__DEST)) => (s__destination(V__TRANSPORT,V__DEST))) ) )	Mid-level-ontology.kif 21778-21784	If a process is an instance of driving and another process is a subprocess of the process and the other process is an instance of transportation and the process ends up at an entity, then the other process ends up at the entity
( ! [V__FINISH,V__START,V__DROP] : (((s__instance(V__FINISH,s__Object) & s__instance(V__START,s__Object)) => (((s__instance(V__DROP,s__Falling) & s__origin(V__DROP,V__START) & s__destination(V__DROP,V__FINISH)) => (s__orientation(V__FINISH,V__START,s__Below))))) ) )	Merge.kif 11060-11065	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
( ! [V__Amount,V__Balance2,V__Balance1,V__Deposit,V__Account] : (((s__instance(V__Amount,s__Number) & s__instance(V__Amount,s__CurrencyMeasure) & s__instance(V__Balance2,s__Number) & s__instance(V__Balance2,s__CurrencyMeasure) & s__instance(V__Balance1,s__Number) & s__instance(V__Balance1,s__CurrencyMeasure)) => (((s__instance(V__Deposit,s__Deposit) & s__instance(V__Account,s__FinancialAccount) & s__destination(V__Deposit,s__CurrencyFn(V__Account)) & s__transactionAmount(V__Deposit,V__Amount) & s__currentAccountBalance(V__Account,s__ImmediatePastFn(s__WhenFn(V__Deposit)) ,V__Balance1) & (V__Balance2 = s__AdditionFn(V__Balance1,V__Amount))) => (s__currentAccountBalance(V__Account,s__ImmediateFutureFn(s__FutureFn(V__Deposit)) ,V__Balance2))))) ) )	FinancialOntology.kif 428-436	If a financial transaction is an instance of deposit and a financial account is an instance of financial account and the financial transaction ends up at the currency of the financial account and a number is a transaction amount of the financial transaction and the financial account current account balance immediately before the time of existence of the financial transaction for another number and a third number is equal to (the other number and the number), then the financial account current account balance immediately after after the financial transaction for the third number

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

( ! [V__AGENT2,V__AGENT1] : (((s__instance(V__AGENT2,s__CognitiveAgent) & s__instance(V__AGENT1,s__CognitiveAgent)) => (((s__customer(V__AGENT1,V__AGENT2) => ( ? [V__SERVICE] : ((s__instance(V__SERVICE,s__FinancialTransaction) & s__agent(V__SERVICE,V__AGENT2) & s__destination(V__SERVICE,V__AGENT1))))) & (( ? [V__SERVICE] : ((s__instance(V__SERVICE,s__FinancialTransaction) & s__agent(V__SERVICE,V__AGENT2) & s__destination(V__SERVICE,V__AGENT1)))) => s__customer(V__AGENT1,V__AGENT2))))) ) )	Mid-level-ontology.kif 7084-7090	A cognitive agent is a customer of another cognitive agent if and only if there exists a process such that the process is an instance of financial transaction and the cognitive agent is an agent of the process and the process ends up at the other cognitive agent
( ! [V__Org,V__Person2,V__Person1] : (((s__instance(V__Org,s__Organization) & s__instance(V__Person2,s__CognitiveAgent) & s__instance(V__Person1,s__CognitiveAgent)) => (((s__customerRepresentative(V__Person1,V__Person2,V__Org) => ( ? [V__Service] : ((s__instance(V__Service,s__FinancialTransaction) & s__employs(V__Org,V__Person1) & s__agent(V__Service,V__Person1) & s__destination(V__Service,V__Person2))))) & (( ? [V__Service] : ((s__instance(V__Service,s__FinancialTransaction) & s__employs(V__Org,V__Person1) & s__agent(V__Service,V__Person1) & s__destination(V__Service,V__Person2)))) => s__customerRepresentative(V__Person1,V__Person2,V__Org))))) ) )	FinancialOntology.kif 3576-3583	A cognitive agent customer representative another cognitive agent for an organization if and only if there exists a process such that the process is an instance of financial transaction and the organization employs the cognitive agent and the cognitive agent is an agent of the process and the process ends up at the other cognitive agent
( ! [V__AGENT2,V__OBJECT,V__AGENT1] : (((s__instance(V__AGENT2,s__Agent) & s__instance(V__AGENT1,s__Agent)) => (((( ? [V__BORROW] : ((s__instance(V__BORROW,s__Borrowing) & s__agent(V__BORROW,V__AGENT1) & s__origin(V__BORROW,V__AGENT2) & s__patient(V__BORROW,V__OBJECT)))) => ( ? [V__LEND] : ((s__instance(V__LEND,s__Lending) & s__agent(V__LEND,V__AGENT2) & s__destination(V__LEND,V__AGENT1) & s__patient(V__LEND,V__OBJECT))))) & (( ? [V__LEND] : ((s__instance(V__LEND,s__Lending) & s__agent(V__LEND,V__AGENT2) & s__destination(V__LEND,V__AGENT1) & s__patient(V__LEND,V__OBJECT)))) => ( ? [V__BORROW] : ((s__instance(V__BORROW,s__Borrowing) & s__agent(V__BORROW,V__AGENT1) & s__origin(V__BORROW,V__AGENT2) & s__patient(V__BORROW,V__OBJECT)))))))) ) )	Merge.kif 11204-11216	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__OBJECT,V__AGENT1] : (((s__instance(V__AGENT2,s__Agent) & s__instance(V__AGENT1,s__Agent)) => (((( ? [V__BUY] : ((s__instance(V__BUY,s__Buying) & s__agent(V__BUY,V__AGENT1) & s__origin(V__BUY,V__AGENT2) & s__patient(V__BUY,V__OBJECT)))) => ( ? [V__SELL] : ((s__instance(V__SELL,s__Selling) & s__agent(V__SELL,V__AGENT2) & s__destination(V__SELL,V__AGENT1) & s__patient(V__SELL,V__OBJECT))))) & (( ? [V__SELL] : ((s__instance(V__SELL,s__Selling) & s__agent(V__SELL,V__AGENT2) & s__destination(V__SELL,V__AGENT1) & s__patient(V__SELL,V__OBJECT)))) => ( ? [V__BUY] : ((s__instance(V__BUY,s__Buying) & s__agent(V__BUY,V__AGENT1) & s__origin(V__BUY,V__AGENT2) & s__patient(V__BUY,V__OBJECT)))))))) ) )	Merge.kif 11366-11378	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__Feedback,V__Send] : ((s__instance(V__Send,s__Process) => (((s__instance(V__Feedback,s__Feedback) => ( ? [V__RM, V__Process, V__Program] : ((s__instance(V__RM,s__ResourceManagementProgram) & s__instance(V__Process,s__ComputerProcess) & s__instance(V__Program,s__SoftwareSystem) & (s__rMProgramOf(V__RM,V__Program) & s__programRunning(V__Process,V__Program) & s__instance(V__Send,s__DataTransfer) & s__patient(V__Send,V__Feedback) & s__destination(V__Send,V__RM)))))) & (( ? [V__RM, V__Process, V__Program] : ((s__instance(V__RM,s__ResourceManagementProgram) & s__instance(V__Process,s__ComputerProcess) & s__instance(V__Program,s__SoftwareSystem) & (s__rMProgramOf(V__RM,V__Program) & s__programRunning(V__Process,V__Program) & s__instance(V__Send,s__DataTransfer) & s__patient(V__Send,V__Feedback) & s__destination(V__Send,V__RM))))) => s__instance(V__Feedback,s__Feedback))))) ) )	QoSontology.kif 674-682	An entity is an instance of feedback if and only if there exist a resource management program, a computer process and a software system such that the software system is a rM program-of of the resource management program and the software system is a program running of the computer process and a process is an instance of data transfer and the entity is a patient of the process and the process ends up at the resource management program
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15058-15067	If a human's almaMater is a post secondary school, then there exists a process such that the process is an instance of educational process and the process ends up at the human and the process is located at 2 and student is an attribute of the human holds during the time of existence of the process
( ! [V__Object,V__Seller,V__Money,V__Purchase,V__Buyer] : (((s__instance(V__Object,s__Physical) & s__instance(V__Seller,s__Object) & s__instance(V__Money,s__CurrencyMeasure) & s__instance(V__Purchase,s__Process) & s__instance(V__Buyer,s__Agent)) => (((s__agent(V__Purchase,V__Buyer) & s__origin(V__Purchase,V__Seller) & s__patient(V__Purchase,V__Object) & s__monetaryValue(V__Object,V__Money)) => (( ? [V__Payment] : ((s__subProcess(V__Payment,V__Purchase) & s__instance(V__Payment,s__Payment) & s__transactionAmount(V__Payment,V__Money) & s__origin(V__Payment,V__Buyer) & s__destination(V__Payment,V__Seller)))))))) ) )	FinancialOntology.kif 463-475	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 originates at the agent and the financial transaction ends up at the object
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.	Music.kif 405-416	If demo recording is an attribute of an object and the object is an instance of recording, then the object has the purpose there exist an entity, another entity and the objectUSIC such that the entity is an instance of demonstrating and the object is a record of the objectUSIC and the objectUSIC is a patient of the entity and the entity ends up at the other entity and the other entity is an instance of group of people
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18705-18726	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 the 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__instance(V__Period,s__TimeInterval) & s__instance(V__Loan,s__Loan) & s__instance(V__Interest,s__Interest) & s__instance(V__Borrower,s__CognitiveAgent)) => (((s__borrower(V__Loan,V__Borrower) & s__lender(V__Loan,V__Lender) & s__agreementPeriod(V__Loan,V__Period) & s__interestEarned(V__Loan,V__Interest,V__Period)) => (( ? [V__Payment] : ((s__instance(V__Payment,s__FinancialTransaction) & (s__origin(V__Payment,V__Borrower) & s__transactionAmount(V__Payment,V__Interest) & s__destination(V__Payment,V__Lender))))))))) ) )	FinancialOntology.kif 1215-1225	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 is 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
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 153-171	If an organization is capable of doing valet parking as a agent and the organization is a customer of a cognitive agent and the organization is located at an object and a process is an instance of arriving and the cognitive agent is an agent of the process and an entity is a patient of the process and the process ends up at the object, then a human holds the position of valet in the organization and the statement there exists another entity such that the other entity is an instance of valet parking and the human is an agent of the other entity and the entity is a patient of the other entity and the other entity ends up at a third entity and the third entity is an instance of parking area has the modal force of possibility
( ! [V__COD,V__C] : (((s__subclass(V__COD,s__Process) & s__instance(V__C,s__Computer)) => (((s__connectedPeripheral(V__COD,V__C) & s__instance(V__COD,s__ComputerOutputDevice)) => (s__capability(V__COD,s__destination__m,s__DataTransfer))))) ) )	ComputingBrands.kif 3518-3522	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 output device, then data transfer is capable of doing the kind of process as a destination
( ! [V__AGENT,V__AMT,V__CUST,V__D,V__ITEM,V__X] : (((s__instance(V__AGENT,s__CognitiveAgent) & s__instance(V__AMT,s__CurrencyMeasure) & s__instance(V__CUST,s__CognitiveAgent) & s__subclass(V__ITEM,s__Object) & s__instance(V__ITEM,s__Class) & s__instance(V__X,s__Object)) => (((s__customer(V__CUST,V__AGENT) & s__corkageFee(V__AMT,V__ITEM,V__AGENT) & s__instance(V__X,V__ITEM) & ~(( ? [V__B] : ((s__instance(V__B,s__Buying) & s__patient(V__B,V__X) & s__destination(V__B,V__CUST) & s__origin(V__B,V__AGENT))))) & s__instance(V__D,s__Drinking) & s__agent(V__D,V__CUST) & s__resource(V__D,V__X)) => (( ? [V__C] : ((s__instance(V__C,s__Corkage) & s__agent(V__C,V__CUST) & s__refers(V__C,V__X) & s__destination(V__C,V__AGENT)))))))) ) )	Dining.kif 130-150	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 another object 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 other object 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 process is an instance of drinking and the other cognitive agent is an agent of the other process and the other object is a resource for the other process, then there exists a third process such that the third process is an instance of corkage and the other cognitive agent is an agent of the third process and the third process includes a reference to the other object and the third process ends up at the cognitive agent
( ! [V__AGENT,V__CUST,V__X,V__LUGGAGE] : (((s__instance(V__AGENT,s__CognitiveAgent) & s__instance(V__CUST,s__CognitiveAgent) & s__instance(V__X,s__CognitiveAgent)) => (((s__customer(V__CUST,V__AGENT) & s__employs(V__AGENT,V__X) & s__attribute(V__AGENT,s__TravelerAccommodation) & s__attribute(V__X,s__Porter) & s__possesses(V__CUST,V__LUGGAGE) & s__instance(V__LUGGAGE,s__TravelContainer)) => (( ? [V__ROOM, V__CARRY] : ((s__instance(V__ROOM,s__HotelUnit) & s__instance(V__CARRY,s__Carrying) & s__agent(V__CARRY,V__X) & (s__destination(V__CARRY,V__ROOM) \| s__origin(V__CARRY,V__ROOM))))))))) ) )	Hotel.kif 2352-2367	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
( ! [V__Amount,V__Loan,V__Date] : (((s__instance(V__Amount,s__CurrencyMeasure) & s__instance(V__Loan,s__Loan) & s__instance(V__Date,s__TimePoint) & s__instance(V__Date,s__Day)) => (((s__downPayment(V__Loan,V__Amount) & s__agreementEffectiveDate(V__Loan,V__Date)) => (( ? [V__Payment] : ((s__instance(V__Payment,s__FinancialTransaction) & (s__transactionAmount(V__Payment,V__Amount) & s__date(V__Payment,V__Date) & s__destination(V__Payment,s__CurrencyFn(V__Loan)))))))))) ) )	FinancialOntology.kif 766-774	If a currency measure is a down payment of a loan and a time point is an agreement effective date of the loan, then there exists a financial transaction such that the currency measure is a transaction amount of the financial transaction and date of the financial transaction is the time point and the financial transaction ends up at the currency of the loan
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1312-1323	If an engineering component is a component of internet and another engineering component is a component of internet and the engineering component is not equal to the other engineering component, then internet has the purpose there exists an entity such that the entity is an instance of communication and the engineering component is an agent of the entity and the entity ends up at the other engineering component and internet is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2581-2597	If the measure of an object is a function quantity holds during a time position and the idle speed of an internal combustion engine is the function quantity and another object is an instance of automobile and the internal combustion engine is a part of the other object and the object is a part of the internal combustion engine, then the statement there don't exist an entity and another entity such that the entity takes place during the time position and the entity is an instance of pushing and the entity ends up at the other entity and the other entity is a part of the other object has the modal force of likely
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
( ! [V__ARTERY,V__BLOOD,V__TRANSFER] : (((s__instance(V__ARTERY,s__PulmonaryArtery) & s__instance(V__TRANSFER,s__Transfer) & s__patient(V__TRANSFER,V__BLOOD) & s__instrument(V__TRANSFER,V__ARTERY) & s__instance(V__BLOOD,s__Blood)) => (( ? [V__LUNG] : ((s__instance(V__LUNG,s__Lung) & s__destination(V__TRANSFER,V__LUNG)))))) ) )	Mid-level-ontology.kif 9799-9809	If an object is an instance of pulmonary 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 entity such that the other entity is an instance of lung and the process ends up at the other entity
( ! [V__OFFER1,V__U,V__OFFER2,V__ITEM,V__BIDDER2,V__BIDDER1,V__AUCTIONING] : (((s__instance(V__OFFER1,s__RealNumber) & s__instance(V__OFFER2,s__RealNumber)) => (((s__instance(V__AUCTIONING,s__Auctioning) & s__instance(V__BIDDER1,s__Agent) & s__instance(V__BIDDER2,s__Agent) & s__instance(V__ITEM,s__Object) & s__instance(V__U,s__UnitOfCurrency) & s__patient(V__AUCTIONING,V__ITEM) & s__bidPrice(V__ITEM,s__MeasureFn(V__OFFER1,V__U) ,V__BIDDER1) & s__bidPrice(V__ITEM,s__MeasureFn(V__OFFER2,V__U) ,V__BIDDER2) & s__greaterThan(V__OFFER1,V__OFFER2)) => (s__destination(V__AUCTIONING,V__BIDDER1))))) ) )	UXExperimentalTerms.kif 437-448	If a process is an instance of auction and an agent is an instance of agent and another agent is an instance of agent and an object is an instance of object and an unit of measure is an instance of UnitOfCurrency and the object is a patient of the process and the agent bids a real number the unit of measure(s) for the object and the other agent bids another real number the unit of measure(s) for the object and the real number is greater than the other real number, then the process ends up at the agent
( ! [V__Period,V__Agent,V__Interest,V__Account,V__Organization] : (((s__instance(V__Period,s__TimeInterval) & s__instance(V__Agent,s__CognitiveAgent) & s__instance(V__Interest,s__Interest) & s__instance(V__Organization,s__FinancialOrganization)) => (((s__instance(V__Account,s__CreditAccount) & s__accountAt(V__Account,V__Organization) & s__accountHolder(V__Account,V__Agent) & s__interestEarned(V__Account,V__Interest,V__Period)) => (( ? [V__Payment] : ((s__instance(V__Payment,s__FinancialTransaction) & (s__origin(V__Payment,V__Agent) & s__transactionAmount(V__Payment,V__Interest) & s__destination(V__Payment,V__Organization))))))))) ) )	FinancialOntology.kif 1166-1176	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 is 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__Amount,V__Date,V__Balance,V__U,V__Account] : (((s__instance(V__Amount,s__RealNumber) & s__instance(V__Date,s__TimePoint) & s__instance(V__Date,s__Day) & s__instance(V__Balance,s__RealNumber)) => (((s__instance(V__Account,s__FinancialAccount) & s__minimumBalance(V__Account,s__OpeningAnAccount,s__MeasureFn(V__Balance,V__U)) & s__instance(V__U,s__UnitOfCurrency)) => (( ? [V__Payment] : ((s__instance(V__Payment,s__FinancialTransaction) & (s__destination(V__Payment,s__CurrencyFn(V__Account)) & s__transactionAmount(V__Payment,s__MeasureFn(V__Amount,V__U)) & s__greaterThanOrEqualTo(V__Amount,V__Balance) & s__agreementEffectiveDate(V__Account,V__Date) & s__date(V__Payment,V__Date))))))))) ) )	FinancialOntology.kif 646-659	If a financial account is an instance of financial account and the financial account is minimum balance opening an account for a real number an unit of measure(s) and the unit of measure is an instance of UnitOfCurrency, then there exists a financial transaction such that the financial transaction ends up at the currency of the financial account and another real number the unit of measure(s) is a transaction amount of the financial transaction and the other real number is greater than or equal to the real number and a time point is an agreement effective date of the financial account and date of the financial transaction is the time point
( ! [V__Amount,V__Date,V__Balance,V__U,V__Account] : (((s__instance(V__Amount,s__RealNumber) & s__instance(V__Date,s__Day) & s__instance(V__Balance,s__RealNumber)) => (((s__instance(V__Account,s__FinancialAccount) & s__minimumBalance(V__Account,s__UsingAnAccount,s__MeasureFn(V__Balance,V__U)) & s__instance(V__U,s__UnitOfCurrency) & s__currentAccountBalance(V__Account,V__Date,s__MeasureFn(V__Amount,V__U)) & s__lessThan(V__Amount,V__Balance)) => (( ? [V__Penalty] : ((s__instance(V__Penalty,s__Penalty) & s__date(V__Penalty,V__Date) & s__destination(V__Penalty,s__CurrencyFn(V__Account))))))))) ) )	FinancialOntology.kif 661-674	If a financial account is an instance of financial account and the financial account is minimum balance using an account for a real number an unit of measure(s) and the unit of measure is an instance of UnitOfCurrency and the financial account current account balance a day for another real number the unit of measure(s) and the other real number is less than the real number, then there exists a process such that the process is an instance of penalty and date of the process is the day and the process ends up at the currency of the financial account
( ! [V__Amount,V__MinPayment,V__U,V__Account] : (((s__instance(V__Amount,s__RealNumber) & s__instance(V__MinPayment,s__RealNumber)) => (((s__instance(V__Account,s__LiabilityAccount) & s__minimumPayment(V__Account,s__MeasureFn(V__MinPayment,V__U) ,s__MonthDuration) & s__instance(V__U,s__UnitOfCurrency) & ( ? [V__Payment, V__Month] : ((s__instance(V__Payment,s__Process) & (s__instance(V__Month,s__Month) & s__destination(V__Payment,s__CurrencyFn(V__Account)) & s__paymentsPerPeriod(V__Account,s__MeasureFn(V__Amount,V__U) ,V__Month) & s__lessThan(V__Amount,V__MinPayment)))))) => (( ? [V__Penalty] : ((s__instance(V__Penalty,s__Penalty) & s__destination(V__Penalty,s__CurrencyFn(V__Account))))))))) ) )	FinancialOntology.kif 718-734	If a liability account is an instance of liability account and the liability account is minimum payment a real number an unit of measure(s) for month duration and the unit of measure is an instance of UnitOfCurrency and there exist a process and a time interval such that the time interval is an instance of month and the process ends up at the currency of the liability account and the liability account payments per period another real number the unit of measure(s) for the time interval and the other real number is less than the real number, 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 liability account

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: