destination - Sigma Knowledge base Browser

appearance as argument number 1

(documentation destination ChineseLanguage "(destination ?PROCESS ?GOAL) 的意思是 ?GOAL 是 ?PROCESS 过程的目标或目的。例如：在以下'鲍勃去了丹伯里'这命题中，鲍勃会是终点。注：这是一个非常概括的 CaseRole，而特别是它包括'接受者' 和 '受益者'这两个概念，故此，在以下 '汤姆给了约翰一本书'这命题中，约翰会是 destination。")	chinese_format.kif 1868-1871
(documentation destination 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 2396-2402
(domain destination 1 Process)	Merge.kif 2392-2392	The number 1 argument of destination is an instance of process
(domain destination 2 Entity)	Merge.kif 2393-2393	The number 2 argument of destination is an instance of entity
(instance destination CaseRole)	Merge.kif 2390-2390	destination is an instance of case role
(instance destination PartialValuedRelation)	Merge.kif 2391-2391	destination is an instance of partial valued relation
(subrelation destination involvedInEvent)	Merge.kif 2394-2394	destination is a subrelation of involved in event

appearance as argument number 2

(format ChineseLanguage destination "%1 %n{doesn't} %n 在 %2 结束")	chinese_format.kif 93-93
(format EnglishLanguage destination "%1 %n{doesn't} end%p{s} up at %2")	english_format.kif 93-93
(termFormat ChineseLanguage destination "目的地")	domainEnglishFormat.kif 19263-19263
(termFormat ChineseLanguage destination "终点")	chinese_format.kif 94-94
(termFormat ChineseTraditionalLanguage destination "目的地")	domainEnglishFormat.kif 19262-19262
(termFormat EnglishLanguage destination "destination")	domainEnglishFormat.kif 19261-19261

antecedent

(<=> (and (instance ?Withdrawal Withdrawal) (instance ?Account FinancialAccount) (origin ?Withdrawal (CurrencyFn ?Account)) (not (exists (?Penalty) (and (instance ?Penalty Penalty) (destination ?Penalty (CurrencyFn ?Account)) (causes ?Withdrawal ?Penalty))))) (liquidity ?Account HighLiquidity))	FinancialOntology.kif 1829-1839	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
(=> (and (betweenOnPath ?O1 ?O2 ?O3 ?PATH) (instance ?T Transfer) (path ?T ?PATH) (origin ?T ?O1) (destination ?T ?O3)) (and (beforeOnPath ?O1 ?O2 ?PATH ?T) (beforeOnPath ?O2 ?O3 ?PATH ?T)))	Mid-level-ontology.kif 29283-29292	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
(=> (and (capability ValetParking agent ?AGENT) (customer ?CUST ?AGENT) (located ?AGENT ?LOC) (instance ?D Arriving) (agent ?D ?CUST) (patient ?D ?VEHICLE) (destination ?D ?LOC)) (and (occupiesPosition ?VALET Valet ?AGENT) (modalAttribute (exists (?VP) (and (instance ?VP ValetParking) (agent ?VP ?VALET) (patient ?VP ?VEHICLE) (destination ?VP ?PARK) (instance ?PARK ParkingRegion))) Possibility)))	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
(=> (and (customer ?CUST ?AGENT) (corkageFee ?AMT ?ITEM ?AGENT) (instance ?X ?ITEM) (not (exists (?B) (and (instance ?B Buying) (patient ?B ?X) (destination ?B ?CUST) (origin ?B ?AGENT)))) (instance ?D Drinking) (agent ?D ?CUST) (resource ?D ?X)) (exists (?C) (and (instance ?C Corkage) (agent ?C ?CUST) (refers ?C ?X) (destination ?C ?AGENT))))	Dining.kif 130-150	If an agent is a customer of a cognitive agent and the 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 cognitive agent and the process originates at the agent and another process is an instance of drinking and the 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 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 agent
(=> (and (destination ?MSG ?TELEX) (instance ?MSG Messaging) (patient ?MSG ?M) (instance ?TELEX Telex)) (exists (?PROC ?TEXT) (and (instrument ?PROC ?TELEX) (result ?PROC ?TEXT) (represents ?TEXT ?M) (instance ?TEXT Text) (before (BeginFn (WhenFn ?MSG)) (BeginFn (WhenFn ?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
(=> (and (engineIdleSpeed ?E (RotationFn (MeasureFn ?N1 MilesPerHour) ?M)) (instance ?A Automobile) (instance ?P GasPedal) (instance ?P Pushing) (destination ?P ?GP) (part ?E ?A) (part ?GP ?A) (instance ?C Crankshaft) (part ?C ?E) (holdsDuring (WhenFn ?P) (measure ?C (RotationFn (MeasureFn ?N2 MilesPerHour) ?M)))) (modalAttribute (greaterThan ?N2 ?N1) Likely))	Cars.kif 2585-2603	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
(=> (and (freeFunctionRoomAmenity ?FR ?PHYS) (instance ?RM ?FR) (element ?RM (PropertyFn ?AGENT)) (instance ?R Renting) (patient ?R ?RM) (destination ?R ?CUST) (instance ?X ?PHYS) (possesses ?AGENT ?X) (customer ?CUST ?AGENT) (or (and (instance ?X Process) (or (agent ?X ?CUST) (experiencer ?X ?CUST))) (and (possesses ?AGENT ?X) (instance ?X Object) (uses ?CUST ?X)))) (price ?X (MeasureFn 0 UnitedStatesDollar) ?AGENT))	Hotel.kif 841-862	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 an agent and a process is an instance of renting and the entity is a patient of the process and the process ends up at a cognitive agent and another agent is an instance of the class and the agent possesses the other agent and the agent is a customer of the cognitive agent and the other agent is an instance of process and the cognitive agent is an agent of the other agent or the cognitive agent experiences the other agent or the agent possesses the other agent and the other agent is an instance of object and the other agent uses the cognitive agent, then the other agent is price 0 united states dollar(s) for the agent
(=> (and (functionRoomAmenity ?FR ?PHY) (instance ?RM ?FR) (element ?RM (PropertyFn ?HOTEL)) (instance ?RENT Renting) (patient ?RENT ?RM) (agent ?RENT ?HOTEL) (destination ?RENT ?CUST) (subclass ?PHY Object)) (modalAttribute (exists (?O ?P) (and (instance ?O ?PHY) (instance ?P Process) (or (resource ?P ?O) (instrument ?P ?O) (patient ?P ?O)) (or (agent ?P ?CUST) (experiencer ?P ?CUST)))) Possibility))	Hotel.kif 811-832	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
(=> (and (instance ?A Apologizing) (agent ?A ?AG) (destination ?A ?P)) (exists (?ACT) (and (suffers ?ACT ?P) (agent ?ACT ?AG) (holdsDuring (WhenFn ?A) (not (wants ?AG ?ACT))))))	Mid-level-ontology.kif 29124-29136	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
(=> (and (instance ?ACCESSING AccessingWebPage) (instance ?PAGE WebPage) (instance ?TRANSFER DataTransfer) (instance ?SERVER Server) (instance ?REQUESTING Requesting) (instance ?BROWSER WebBrowser) (instance ?INTERVAL TimeInterval) (patient ?ACCESSING ?PAGE) (agent ?REQUESTING ?BROWSER) (destination ?REQUESTING ?SERVER) (patient ?REQUESTING ?PAGE) (origin ?TRANSFER ?SERVER) (destination ?TRANSFER ?BROWSER) (patient ?TRANSFER ?PAGE) (subProcess ?TRANSFER ?ACCESSING) (subProcess ?REQUESTING ?ACCESSING) (equal (EndFn (WhenFn ?REQUESTING)) (BeginFn ?INTERVAL)) (equal (EndFn (WhenFn ?TRANSFER)) (EndFn ?INTERVAL))) (equal (SiteSpeedFn ?ACCESSING) ?INTERVAL))	UXExperimentalTerms.kif 3968-3993	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
(=> (and (instance ?AGENT Agent) (potentialCustomer ?CUST ?AGENT) (modalAttribute (and (instance ?R Reserving) (destination ?R ?AGENT)) Necessity) (conditionalProbability (exists (?RES1) (and (instance ?RES1 Reservation) (reservingEntity ?CUST ?RES1) (fulfillingEntity ?AGENT ?RES1))) (customer ?CUST ?AGENT) ?NUM1) (conditionalProbability (not (exists (?RES2) (and (instance ?RES2 Reservation) (reservingEntity ?CUST ?RES2) (fulfillingEntity ?AGENT ?RES2)))) (customer ?CUST ?AGENT) ?NUM2)) (lessThan ?NUM2 ?NUM1))	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
(=> (and (instance ?Account LiabilityAccount) (minimumPayment ?Account (MeasureFn ?MinPayment ?U) MonthDuration) (instance ?U UnitOfCurrency) (exists (?Payment ?Month) (and (instance ?Month Month) (destination ?Payment (CurrencyFn ?Account)) (paymentsPerPeriod ?Account (MeasureFn ?Amount ?U) ?Month) (lessThan ?Amount ?MinPayment)))) (exists (?Penalty) (and (instance ?Penalty Penalty) (destination ?Penalty (CurrencyFn ?Account)))))	FinancialOntology.kif 758-774	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
(=> (and (instance ?B Bell) (instance ?I Impacting) (destination ?I ?B)) (exists (?MT) (and (instance ?MT MusicalTone) (causes ?I ?MT))))	Music.kif 1254-1262	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
(=> (and (instance ?B Bequeathing) (agent ?B ?P) (destination ?B ?H) (objectTransferred ?B ?PROP)) (exists (?D) (and (instance ?D Death) (experiencer ?D ?P) (earlier (WhenFn ?D) (WhenFn ?B)) (holdsDuring (ImmediatePastFn (WhenFn ?D)) (possesses ?P ?PROP)) (confersNorm ?P (possesses ?H ?PROP) Permission))))	Mid-level-ontology.kif 18114-18130	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
(=> (and (instance ?BP BrakePedal) (instance ?P Pushing) (instance ?V Vehicle) (destination ?P ?BP) (eventLocated ?P ?V) (part ?BP ?V)) (hasPurpose ?BP (exists (?FS ?F) (and (instance ?FS WearingFrictionSurface) (instance ?F Friction) (instrument ?F ?FS) (causes ?P ?F)))))	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
(=> (and (instance ?C CateringService) (agent ?C ?AGENT) (destination ?C ?CUST) (located ?AGENT ?LOC1) (customer ?CUST ?AGENT) (exists (?S ?FOOD ?E) (and (instance ?S Cooking) (agent ?S ?AGENT) (result ?S ?FOOD) (patient ?C ?FOOD) (instance ?E Eating) (agent ?E ?CUST) (eventLocated ?E ?LOC2)))) (not (equal ?LOC1 ?LOC2)))	Dining.kif 540-556	If a process is an instance of catering and an agent is an agent of the process and the process ends up at the processUST and the agent is located at an object and the 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 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
(=> (and (instance ?CHANGE ChangeOfPossession) (origin ?CHANGE ?AGENT1) (destination ?CHANGE ?AGENT2) (instance ?AGENT1 Agent) (instance ?AGENT2 Agent) (patient ?CHANGE ?OBJ)) (and (holdsDuring (BeginFn (WhenFn ?CHANGE)) (possesses ?AGENT1 ?OBJ)) (holdsDuring (EndFn (WhenFn ?CHANGE)) (possesses ?AGENT2 ?OBJ))))	Merge.kif 11502-11512	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
(=> (and (instance ?CLOSE ClosingContract) (agent ?CLOSE ?AGENT) (destination ?CLOSE ?CONTRACT)) (partyToAgreement ?CONTRACT ?AGENT))	Mid-level-ontology.kif 20913-20918	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
(=> (and (instance ?Check PayCheck) (issuedBy ?Check ?Organization) (instance ?Give Giving) (destination ?Give ?Agent)) (employs ?Agent ?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
(=> (and (instance ?D DeliveryService) (destination ?D ?LOC1) (deliveryRegion ?AGENT ?REGION) (conditionalProbability (located ?LOC1 ?REGION) (agent ?D ?AGENT) ?NUMBER1) (conditionalProbability (not (located ?LOC1 ?REGION)) (agent ?D ?AGENT) ?NUMBER2)) (lessThan ?NUMBER2 ?NUMBER1))	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
(=> (and (instance ?D DeliveryService) (origin ?D ?LOC1) (destination ?D ?LOC2)) (not (equal ?LOC1 ?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
(=> (and (instance ?DAMAGE Damaging) (agent ?DAMAGE ?PROP) (destination ?DAMAGE ?DEST) (instance ?DEST CognitiveAgent)) (believes ?DEST (attribute ?PROP Dangerous)))	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
(=> (and (instance ?DRIVING Driving) (subProcess ?TRANSPORT ?DRIVING) (instance ?TRANSPORT Transportation) (destination ?DRIVING ?DEST)) (destination ?TRANSPORT ?DEST))	Mid-level-ontology.kif 23115-23121	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
(=> (and (instance ?DROP Falling) (origin ?DROP ?START) (destination ?DROP ?FINISH)) (orientation ?FINISH ?START Below))	Merge.kif 11433-11438	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
(=> (and (instance ?Deposit Deposit) (instance ?Account FinancialAccount) (destination ?Deposit (CurrencyFn ?Account)) (transactionAmount ?Deposit (MeasureFn ?Amount ?CUNIT)) (currentAccountBalance ?Account (ImmediatePastFn (WhenFn ?Deposit)) (MeasureFn ?Balance1 ?CUNIT)) (equal ?Balance2 (AdditionFn ?Balance1 ?Amount))) (currentAccountBalance ?Account (ImmediateFutureFn (FutureFn ?Deposit)) (MeasureFn ?Balance2 ?CUNIT)))	FinancialOntology.kif 436-453	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 real number an unit of measure(s) 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 real number the unit of measure(s) and a third real number is equal to (the other real number and the real number), then the financial account current account balance immediately after after the financial transaction for the third real number the unit of measure(s)

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

(<=> (customer ?AGENT1 ?AGENT2) (exists (?SERVICE) (and (instance ?SERVICE FinancialTransaction) (agent ?SERVICE ?AGENT2) (destination ?SERVICE ?AGENT1))))	Mid-level-ontology.kif 7442-7448	An agent is a customer of a cognitive agent if and only if there exists a process such that the process is an instance of financial transaction and the agent is an agent of the process and the process ends up at the cognitive agent
(<=> (customerRepresentative ?Person1 ?Person2 ?Org) (exists (?Service) (and (instance ?Service FinancialTransaction) (employs ?Org ?Person1) (agent ?Service ?Person1) (destination ?Service ?Person2))))	FinancialOntology.kif 3639-3646	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
(<=> (instance ?Feedback Feedback) (exists (?RM ?Process ?Program) (and (rMProgramOf ?RM ?Program) (programRunning ?Process ?Program) (instance ?Send DataTransfer) (patient ?Send ?Feedback) (destination ?Send ?RM))))	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
(=> (almaMater ?PERSON ?SCHOOL) (exists (?EV) (and (instance ?EV EducationalProcess) (destination ?EV ?PERSON) (eventLocated ?EV ?SCHOOL) (holdsDuring (WhenFn ?EV) (attribute ?PERSON Student)))))	Mid-level-ontology.kif 16346-16355	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
(=> (and (agent ?Purchase ?Buyer) (origin ?Purchase ?Seller) (patient ?Purchase ?Object) (monetaryValue ?Object ?Money)) (exists (?Payment) (and (subProcess ?Payment ?Purchase) (instance ?Payment Payment) (transactionAmount ?Payment ?Money) (origin ?Payment ?Buyer) (destination ?Payment ?Seller))))	FinancialOntology.kif 487-499	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
(=> (and (amountDue ?Account ?Amount ?DueDate) (accountHolder ?Account ?Agent)) (holdsObligation (KappaFn ?Payment (and (instance ?Payment Payment) (transactionAmount ?Payment ?Amount) (or (destination ?Payment (CurrencyFn ?Account)) (origin ?Payment (CurrencyFn ?Account))) (date ?Payment ?Date) (beforeOrEqual (EndFn ?Date) (BeginFn ?DueDate)))) ?Agent))	FinancialOntology.kif 655-667	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
(=> (and (attribute ?M DemoRecording) (instance ?M Recording)) (hasPurpose ?M (exists (?D ?G ?MUSIC) (and (instance ?D Demonstrating) (record ?M ?MUSIC) (patient ?D ?MUSIC) (destination ?D ?G) (instance ?G GroupOfPeople)))))	Music.kif 407-418	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
(=> (and (attribute ?X Waiter) (instance ?X Human) (employs ?REST ?X) (instance ?REST Restaurant) (customer ?CUST ?REST) (located ?CUST ?TABLE) (instance ?TABLE Table)) (exists (?DINING ?C ?FOOD ?KITCHEN) (and (possesses ?REST ?KITCHEN) (instance ?KITCHEN KitchenArea) (instance ?DINING DiningArea) (located ?TABLE ?DINING) (hasPurpose ?X (and (instance ?C Carrying) (agent ?C ?X) (origin ?C ?KITCHEN) (destination ?C ?TABLE) (patient ?C ?FOOD) (instance ?FOOD (FoodForFn Human)))))))	Mid-level-ontology.kif 20005-20027	If waiter is an attribute of a cognitive agent and the cognitive agent is an instance of human and an agent employs the cognitive agent and the agent is an instance of restaurant and the agent is a customer of another cognitive agent and the other cognitive agent is located at an object and the object is an instance of table, then there exist another object, an entity,, , another entity and a third object such that the agent possesses the third object and the third object is an instance of kitchen area and the other object is an instance of dining area and the object is located at the other object and the cognitive agent has the purpose the entity is an instance of carrying and the cognitive agent is an agent of the entity and the entity originates at the third object and the entity ends up at the object and the other entity is a patient of the entity and the other entity is an instance of food for human
(=> (and (borrower ?Loan ?Borrower) (lender ?Loan ?Lender) (agreementPeriod ?Loan ?Period) (interestEarned ?Loan ?Interest ?Period)) (exists (?Payment) (and (origin ?Payment ?Borrower) (transactionAmount ?Payment ?Interest) (destination ?Payment ?Lender))))	FinancialOntology.kif 1260-1270	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
(=> (and (capability ValetParking agent ?AGENT) (customer ?CUST ?AGENT) (located ?AGENT ?LOC) (instance ?D Arriving) (agent ?D ?CUST) (patient ?D ?VEHICLE) (destination ?D ?LOC)) (and (occupiesPosition ?VALET Valet ?AGENT) (modalAttribute (exists (?VP) (and (instance ?VP ValetParking) (agent ?VP ?VALET) (patient ?VP ?VEHICLE) (destination ?VP ?PARK) (instance ?PARK ParkingRegion))) Possibility)))	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
(=> (and (connectedPeripheral ?COD ?C) (instance ?COD ComputerOutputDevice)) (capability ?COD destination DataTransfer))	ComputingBrands.kif 3510-3514	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
(=> (and (customer ?CUST ?AGENT) (corkageFee ?AMT ?ITEM ?AGENT) (instance ?X ?ITEM) (not (exists (?B) (and (instance ?B Buying) (patient ?B ?X) (destination ?B ?CUST) (origin ?B ?AGENT)))) (instance ?D Drinking) (agent ?D ?CUST) (resource ?D ?X)) (exists (?C) (and (instance ?C Corkage) (agent ?C ?CUST) (refers ?C ?X) (destination ?C ?AGENT))))	Dining.kif 130-150	If an agent is a customer of a cognitive agent and the 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 cognitive agent and the process originates at the agent and another process is an instance of drinking and the 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 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 agent
(=> (and (customer ?CUST ?AGENT) (employs ?AGENT ?X) (attribute ?AGENT TravelerAccommodation) (attribute ?X Porter) (possesses ?CUST ?LUGGAGE) (instance ?LUGGAGE TravelContainer)) (exists (?ROOM ?CARRY) (and (instance ?ROOM HotelUnit) (instance ?CARRY Carrying) (agent ?CARRY ?X) (or (destination ?CARRY ?ROOM) (origin ?CARRY ?ROOM)))))	Hotel.kif 2392-2407	If an agent is a customer of a cognitive agent and the agent employs another cognitive agent and traveler accommodation is an attribute of the agent and porter is an attribute of the other cognitive agent and the 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 other 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
(=> (and (downPayment ?Loan ?Amount) (agreementEffectiveDate ?Loan ?Date)) (exists (?Payment) (and (transactionAmount ?Payment ?Amount) (date ?Payment ?Date) (destination ?Payment (CurrencyFn ?Loan)))))	FinancialOntology.kif 806-815	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
(=> (and (engineeringSubcomponent ?DEVICE1 Internet) (engineeringSubcomponent ?DEVICE2 Internet) (not (equal ?DEVICE1 ?DEVICE2))) (hasPurpose Internet (exists (?COMM) (and (instance ?COMM Communication) (agent ?COMM ?DEVICE1) (destination ?COMM ?DEVICE2) (instrument ?COMM Internet)))))	Hotel.kif 1347-1358	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
(=> (and (holdsDuring ?T (measure ?C ?S)) (engineIdleSpeed ?E ?S) (instance ?A Automobile) (part ?E ?A) (part ?C ?E)) (modalAttribute (not (exists (?P ?GP) (and (during ?P ?T) (instance ?P Pushing) (destination ?P ?GP) (part ?GP ?A)))) Likely))	Cars.kif 2567-2583	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
(=> (and (holdsDuring ?T1 (and (attribute ?P Expellee) (citizen ?P ?HOME-NATION))) (instance ?T1 TimeInterval)) (exists (?TRANS ?NATION) (and (instance ?NATION Nation) (not (equal ?NATION ?HOME-NATION)) (instance ?TRANS Translocation) (origin ?TRANS ?NATION) (patient ?TRANS ?P) (destination ?TRANS ?HOME-NATION) (temporalPart ?T1 (WhenFn ?TRANS)))))	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
(=> (and (instance ?ARTERY PulmonaryArtery) (instance ?TRANSFER Transfer) (patient ?TRANSFER ?BLOOD) (instrument ?TRANSFER ?ARTERY) (instance ?BLOOD Blood)) (exists (?LUNG) (and (instance ?LUNG Lung) (destination ?TRANSFER ?LUNG))))	Mid-level-ontology.kif 10696-10706	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
(=> (and (instance ?AUCTIONING Auctioning) (instance ?BIDDER1 Agent) (instance ?BIDDER2 Agent) (instance ?ITEM Object) (instance ?U UnitOfCurrency) (patient ?AUCTIONING ?ITEM) (bidPrice ?ITEM (MeasureFn ?OFFER1 ?U) ?BIDDER1) (bidPrice ?ITEM (MeasureFn ?OFFER2 ?U) ?BIDDER2) (greaterThan ?OFFER1 ?OFFER2)) (destination ?AUCTIONING ?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
(=> (and (instance ?Account CreditAccount) (accountAt ?Account ?Organization) (accountHolder ?Account ?Agent) (interestEarned ?Account ?Interest ?Period)) (exists (?Payment) (and (origin ?Payment ?Agent) (transactionAmount ?Payment ?Interest) (destination ?Payment ?Organization))))	FinancialOntology.kif 1211-1221	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
(=> (and (instance ?Account FinancialAccount) (minimumBalance ?Account OpeningAnAccount (MeasureFn ?Balance ?U)) (instance ?U UnitOfCurrency)) (exists (?Payment) (and (destination ?Payment (CurrencyFn ?Account)) (transactionAmount ?Payment (MeasureFn ?Amount ?U)) (greaterThanOrEqualTo ?Amount ?Balance) (agreementEffectiveDate ?Account ?Date) (date ?Payment ?Date))))	FinancialOntology.kif 686-699	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
(=> (and (instance ?Account FinancialAccount) (minimumBalance ?Account UsingAnAccount (MeasureFn ?Balance ?U)) (instance ?U UnitOfCurrency) (currentAccountBalance ?Account ?Date (MeasureFn ?Amount ?U)) (lessThan ?Amount ?Balance)) (exists (?Penalty) (and (instance ?Penalty Penalty) (date ?Penalty ?Date) (destination ?Penalty (CurrencyFn ?Account)))))	FinancialOntology.kif 701-714	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
(=> (and (instance ?Account LiabilityAccount) (minimumPayment ?Account (MeasureFn ?MinPayment ?U) MonthDuration) (instance ?U UnitOfCurrency) (exists (?Payment ?Month) (and (instance ?Month Month) (destination ?Payment (CurrencyFn ?Account)) (paymentsPerPeriod ?Account (MeasureFn ?Amount ?U) ?Month) (lessThan ?Amount ?MinPayment)))) (exists (?Penalty) (and (instance ?Penalty Penalty) (destination ?Penalty (CurrencyFn ?Account)))))	FinancialOntology.kif 758-774	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
(=> (and (instance ?Account SavingsAccount) (accountHolder ?Account ?Agent) (interestEarned ?Account ?Interest ?Period)) (exists (?Payment) (and (destination ?Payment (CurrencyFn ?Account)) (transactionAmount ?Payment ?Interest) (destination ?Payment ?Agent))))	FinancialOntology.kif 1042-1051	If a financial account is an instance of savings account 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 ends up at the currency of the financial account and the interest is a transaction amount of the financial transaction and the financial transaction ends up at the cognitive agent
(=> (and (instance ?Account TraditionalSavingsAccount) (instance ?Withdrawal Withdrawal) (origin ?Withdrawal (CurrencyFn ?Account))) (not (exists (?Penalty) (and (instance ?Penalty Penalty) (destination ?Penalty (CurrencyFn ?Account)) (causes ?Withdrawal ?Penalty)))))	FinancialOntology.kif 1114-1123	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

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: