Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - destination
destination

appearance as argument number 1
-------------------------


s__documentation(s__destination__m,s__ChineseLanguage,'(destination ?PROCESS ?GOAL) 的意思是 ?GOAL 是 ?PROCESS 过程的目标或目的。例如:在以下鲍勃去了丹伯里这命题中,鲍勃会是终点。注:这是一个 非常概括的 CaseRole, 而特别是它包括接受者 和 受益者这两个概念,故此,在以下 汤姆给了约翰一本书这命题中,约翰会是 destination。')

Merge.kif 2577-2580
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 2570-2576
s__domain(s__destination__m,1,s__Process)

Merge.kif 2567-2567 The number 1 argument of destination is an instance of process
s__domain(s__destination__m,2,s__Entity)

Merge.kif 2568-2568 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 2565-2565 destination is an instance of case role
s__instance(s__destination__m,s__PartialValuedRelation)

s__instance(s__PartialValuedRelation,s__SetOrClass)

Merge.kif 2566-2566 destination is an instance of partial valued relation
s__subrelation(s__destination__m,s__involvedInEvent__m)

Merge.kif 2569-2569 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} %n end%p{s} up at %2')

english_format.kif 73-73
s__format(s__FrenchLanguage,s__destination__m,'%1 %n{n} %n aboutit %n{pas} � %2')

french_format.kif 69-69
s__format(s__ItalianLanguage,s__destination__m,'%1 %n{non} %n fine%p{s} in %2')

relations-it.txt 71-71
s__format(s__PortugueseLanguage,s__destination__m,'%1 %n{nao} %n termina %n em %2')

portuguese_format.kif 21-21
s__format(s__ar__m,s__destination__m,'%1 %n يَنْتَهِي في %2')

arabic_format.kif 19-19
s__format(s__cb__m,s__destination__m,'%1 %n ihuman sa %2')

relations-cb.txt 105-105
s__format(s__cz__m,s__destination__m,'%1 %n{ne}kon�� v %2')

relations-cz.txt 81-81
s__format(s__de__m,s__destination__m,'%1 endet an %2 %n{nicht}')

relations-de.txt 104-104
s__format(s__hi__m,s__destination__m,'%1 %2 para samaapta %n{nahiin} hotaa hai')

relations-hindi.txt 112-112
s__format(s__tg__m,s__destination__m,'%1 %n tapusin sa %2')

relations-tg.txt 158-158
s__termFormat(s__ChineseLanguage,s__destination__m,'终点')

chinese_format.kif 94-94 "终点" is the printable form of destination in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__destination__m,'destination')

domainEnglishFormat.kif 3633-3633 "destination" is the printable form of destination in english language
s__termFormat(s__ar__m,s__destination__m,'«يَنْتَهِي في»')

arabic_format.kif 469-469 "«يَنْتَهِي في»" is the printable form of destination in ar
s__termFormat(s__tg__m,s__destination__m,'tapusin')

relations-tg.txt 159-159 "tapusin" is the printable form of destination in tg

appearance as argument number 3
-------------------------


s__domain(s__automatedNotification__m,2,s__destination__m)

Facebook.kif 710-710 The number 2 argument of automatedNotification is an instance of destination

antecedent
-------------------------


( ! [V__Withdrawal,V__Account] :
   ((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))
)

FinancialOntology.kif 1756-1766 ?Withdrawal is an instance of withdrawal and ?Account is an instance of financial account and ?Withdrawal originates at the currency of ?Account and there doesn't exist ?Penalty such that ?Penalty is an instance of penalty and ?Penalty ends up at the currency of ?Account and ?Withdrawal causes ?Penalty if and only if the liqudity of ?Account is high liquidity
( ! [V__O1,V__O2,V__O3,V__PATH,V__T] :
   ((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 27514-27523
  • If ?O1 between on path ?O2 for ?O3 and ?T is an instance of transfer and ?PATH is path along which ?T occurs and ?T originates at ?O1 and ?T ends up at ?O3,
  • then ?O1 before ?O2 on path ?PATH during ?T and ?O2 before ?O3 on path ?PATH during ?T
( ! [V__AGENT,V__CUST,V__LOC,V__D,V__VEHICLE,V__VALET,V__PARK] :
   ((s__capability(s__ValetParking,s__agent__m,V__AGENT)
     &
     s__customer(V__CUST,V__AGENT)
   &
   s__located(V__AGENT,V__LOC)
&
s__instance(V__D,s__Arriving) &
s__agent(V__D,V__CUST)
&
s__patient(V__D,V__VEHICLE)
&
s__destination(V__D,V__LOC))
=>
(s__occupiesPosition(V__VALET,s__Valet,V__AGENT)
&
s__modalAttribute('(? [V__VP] : (s__instance(V__VP,s__ValetParking) & s__agent(V__VP,V__VALET) & s__patient(V__VP,V__VEHICLE) & s__destination(V__VP,V__PARK) & s__instance(V__PARK,s__ParkingRegion)))',s__Possibility)))
)

TransportDetail.kif 151-169
( ! [V__CUST,V__AGENT,V__AMT,V__ITEM,V__X,V__LOC,V__P] :
   ((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__holdsDuring(s__WhenFn('s__located(V__CUST,V__LOC)')
,'(s__instance(V__P,s__IntentionalProcess) & (s__patient(V__P,V__X) | s__resource(V__P,V__X) | s__instrument(V__P,V__X)) & s__agent(V__P,V__CUST))'))
=>
(? [V__C] :
(s__instance(V__C,s__Corkage) &
s__agent(V__C,V__CUST)
&
s__destination(V__C,V__AGENT))))
)

Dining.kif 130-153
( ! [V__MSG,V__TELEX,V__M] :
   ((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__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
( ! [V__E,V__N1,V__M,V__A,V__P,V__GP,V__C,V__N2] :
   ((s__engineIdleSpeed(V__E,s__RotationFn(V__N1,V__M))
   &
   s__instance(V__A,s__Automobile) &
   s__instance(V__P,s__GasPedal) &
   s__instance(V__P,s__Pushing) &
   s__destination(V__P,V__GP)
&
s__part(V__GP,V__A)
&
s__instance(V__C,s__Crankshaft) &
s__part(V__C,V__A)
&
s__measure(V__C,s__RotationFn(V__N2,V__M)))
=>
s__modalAttribute('greater(V__N2,V__N1)',s__Likely))
)

Cars.kif 2612-2625
( ! [V__FR,V__PHYS,V__RM,V__AGENT,V__R,V__CUST,V__X] :
   ((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(0,s__UnitedStatesDollar),V__AGENT))
)

Hotel.kif 810-831
( ! [V__FR,V__PHY,V__RM,V__HOTEL,V__RENT,V__CUST] :
   ((s__functionRoomAmenity(V__FR,V__PHY)
     &
     s__instance(V__RM,V__FR)
   &
   s__element(V__RM,s__PropertyFn(V__HOTEL))
&
s__instance(V__RENT,s__Renting) &
s__patient(V__RENT,V__RM)
&
s__agent(V__RENT,V__HOTEL)
&
s__destination(V__RENT,V__CUST)
&
s__subclass(V__PHY,s__Object))
=>
s__modalAttribute('(? [V__O,V__P] : (s__instance(V__O,V__PHY) & s__instance(V__P,s__Process) & (s__resource(V__P,V__O) | s__instrument(V__P,V__O) | s__patient(V__P,V__O)) & (s__agent(V__P,V__CUST) | s__experiencer(V__P,V__CUST))))',s__Possibility))
)

Hotel.kif 780-801
( ! [V__A,V__AG,V__P] :
   ((s__instance(V__A,s__Apologizing) &
       s__agent(V__A,V__AG)
     &
     s__destination(V__A,V__P))
=>
(? [V__ACT] :
   (s__suffers(V__ACT,V__P)
   &
   s__agent(V__ACT,V__AG)
&
s__holdsDuring(s__WhenFn(V__A)
,'(~ s__wants(V__AG,V__ACT))'))))
)

Mid-level-ontology.kif 27350-27362
( ! [V__ACCESSING,V__PAGE,V__TRANSFER,V__SERVER,V__REQUESTING,V__BROWSER,V__INTERVAL] :
   ((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 3955-3980
( ! [V__AGENT,V__CUST,V__R,V__NUM1,V__NUM2] :
   ((s__instance(V__AGENT,s__Agent) &
       s__potentialCustomer(V__CUST,V__AGENT)
     &
     s__modalAttribute('(s__instance(V__R,s__Reserving) & s__destination(V__R,V__AGENT))',s__Necessity) &
     s__conditionalProbability('(? [V__RES1] : (s__instance(V__RES1,s__Reservation) & s__reservingEntity(V__CUST,V__RES1) & s__fulfillingEntity(V__AGENT,V__RES1)))','s__customer(V__CUST,V__AGENT)',V__NUM1)
   &
   s__conditionalProbability('(~ (? [V__RES2] : (s__instance(V__RES2,s__Reservation) & s__reservingEntity(V__CUST,V__RES2) & s__fulfillingEntity(V__AGENT,V__RES2))))','s__customer(V__CUST,V__AGENT)',V__NUM2))
=>
less(V__NUM2,V__NUM1))
)

Dining.kif 729-752
( ! [V__Account,V__MinPayment,V__Amount] :
   ((s__instance(V__Account,s__LiabilityAccount) &
       s__minimumPayment(V__Account,V__MinPayment,s__MonthDuration) &
       (? [V__Payment,V__Month] :
         (s__instance(V__Month,s__Month) &
           s__destination(V__Payment,s__CurrencyFn(V__Account))
       &
       s__paymentsPerPeriod(V__Account,V__Amount,V__Month)
     &
     less(V__Amount,V__MinPayment))))
=>
(? [V__Penalty] :
(s__instance(V__Penalty,s__Penalty) &
   s__destination(V__Penalty,s__CurrencyFn(V__Account)))))
)

FinancialOntology.kif 712-725
( ! [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 1270-1278
( ! [V__B,V__P,V__H,V__I,V__PROP] :
   ((s__instance(V__B,s__Bequeathing) &
       s__agent(V__B,V__P)
     &
     s__destination(V__B,V__H)
   &
   s__patient(V__I,V__PROP))
=>
(? [V__D] :
(s__instance(V__D,s__Death) &
   s__experiencer(V__D,V__P)
&
s__earlier(s__WhenFn(V__D)
,s__WhenFn(V__B))
&
s__holdsDuring(s__ImmediatePastFn(s__WhenFn(V__D))
,'s__possesses(V__P,V__PROP)')
&
s__confersNorm(V__P,'s__possesses(V__H,V__PROP)',s__Permission))))
)

Mid-level-ontology.kif 15929-15945
( ! [V__BP,V__P,V__V] :
   ((s__instance(V__BP,s__BrakePedal) &
       s__instance(V__P,s__Pushing) &
       s__instance(V__V,s__Vehicle) &
       s__destination(V__P,V__BP)
     &
     s__eventLocated(V__P,V__V)
   &
   s__part(V__BP,V__V))
=>
s__hasPurpose(V__BP,'(? [V__FS,V__F] : (s__instance(V__FS,s__WearingFrictionSurface) & s__instance(V__F,s__Friction) & s__instrument(V__F,V__FS) & s__causes(V__P,V__F)))'))
)

Cars.kif 693-707
( ! [V__C,V__AGENT,V__CUST,V__LOC1,V__LOC2] :
   ((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 544-560
( ! [V__CHANGE,V__AGENT1,V__AGENT2,V__OBJ] :
   ((s__instance(V__CHANGE,s__ChangeOfPossession) &
       s__origin(V__CHANGE,V__AGENT1)
     &
     s__destination(V__CHANGE,V__AGENT2)
   &
   s__instance(V__AGENT1,s__Agent) &
   s__instance(V__AGENT2,s__Agent) &
   s__patient(V__CHANGE,V__OBJ))
=>
(s__holdsDuring(s__BeginFn(s__WhenFn(V__CHANGE))
,'s__possesses(V__AGENT1,V__OBJ)')
&
s__holdsDuring(s__EndFn(s__WhenFn(V__CHANGE))
,'s__possesses(V__AGENT2,V__OBJ)')))
)

Merge.kif 11471-11481
( ! [V__CLOSE,V__AGENT,V__CONTRACT] :
   ((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 18719-18724
( ! [V__Check,V__Organization,V__Give,V__Agent] :
   ((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
( ! [V__D,V__LOC1,V__AGENT,V__REGION,V__NUMBER1,V__NUMBER2] :
   ((s__instance(V__D,s__DeliveryService) &
       s__destination(V__D,V__LOC1)
     &
     s__deliveryRegion(V__AGENT,V__REGION)
   &
   s__conditionalProbability('s__located(V__LOC1,V__REGION)','s__agent(V__D,V__AGENT)',V__NUMBER1)
&
s__conditionalProbability('(~ s__located(V__LOC1,V__REGION))','s__agent(V__D,V__AGENT)',V__NUMBER2))
=>
less(V__NUMBER2,V__NUMBER1))
)

Dining.kif 511-520
( ! [V__D,V__LOC1,V__LOC2] :
   ((s__instance(V__D,s__DeliveryService) &
       s__origin(V__D,V__LOC1)
     &
     s__destination(V__D,V__LOC2))
=>
(~ (V__LOC1 = V__LOC2)))
)

Dining.kif 523-528
( ! [V__DAMAGE,V__PROP,V__DEST] :
   ((s__instance(V__DAMAGE,s__Damaging) &
       s__agent(V__DAMAGE,V__PROP)
     &
     s__destination(V__DAMAGE,V__DEST)
   &
   s__instance(V__DEST,s__CognitiveAgent))
=>
s__believes(V__DEST,'s__attribute(V__PROP,s__Dangerous)'))
)

MilitaryPersons.kif 228-235
( ! [V__DRIVING,V__TRANSPORT,V__DEST] :
   ((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 21104-21110
( ! [V__DROP,V__START,V__FINISH] :
   ((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 11398-11403
( ! [V__Deposit,V__TimeOfDeposit,V__Account,V__Amount,V__Balance1,V__Balance2] :
   ((s__instance(V__Deposit,s__Deposit) &
       s__time(V__Deposit,V__TimeOfDeposit)
     &
     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 = plus(V__Balance1,V__Amount)))
=>
s__currentAccountBalance(V__Account,s__ImmediateFutureFn(s__FutureFn(V__Deposit))
,V__Balance2))
)

FinancialOntology.kif 428-437

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


( ! [V__AGENT1,V__AGENT2] :
   (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))))
)

Mid-level-ontology.kif 7426-7432 ?AGENT2 is a customer of ?AGENT1 if and only if there exists ?SERVICE such that ?SERVICE is an instance of financial transaction and ?AGENT2 is an agent of ?SERVICE and ?SERVICE ends up at ?AGENT1
( ! [V__Person1,V__Person2,V__Org] :
   (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))))
)

FinancialOntology.kif 3527-3534 ?Person1 customer representative ?Person2 for ?Org if and only if there exists ?Service such that ?Service is an instance of financial transaction and ?Org employs ?Person1 and ?Person1 is an agent of ?Service and ?Service ends up at ?Person2
( ! [V__AGENT1,V__AGENT2,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)))
<=>
(? [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))))
)

Merge.kif 11553-11565 There exists ?BORROW such that ?BORROW is an instance of borrowing and ?AGENT1 is an agent of ?BORROW and ?BORROW originates at ?AGENT2 and ?OBJECT is a patient of ?BORROW if and only if there exists ?LEND such that ?LEND is an instance of lending and ?AGENT2 is an agent of ?LEND and ?LEND ends up at ?AGENT1 and ?OBJECT is a patient of ?LEND
( ! [V__AGENT1,V__AGENT2,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)))
<=>
(? [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))))
)

Merge.kif 11734-11746 There exists ?BUY such that ?BUY is an instance of buying and ?AGENT1 is an agent of ?BUY and ?BUY originates at ?AGENT2 and ?OBJECT is a patient of ?BUY if and only if there exists ?SELL such that ?SELL is an instance of selling and ?AGENT2 is an agent of ?SELL and ?SELL ends up at ?AGENT1 and ?OBJECT is a patient of ?SELL
( ! [V__Feedback,V__Send] :
   (s__instance(V__Feedback,s__Feedback) <=>
     (? [V__RM,V__Process,V__Program] :
       (s__rMProgram_of(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))))
)

QoSontology.kif 674-682 ?Feedback is an instance of feedback if and only if there exist ?RM, ?Process and ?Program such that ?Program is a rM program-of of ?RM and ?Program is a program running of ?Process and ?Send is an instance of data transfer and ?Feedback is a patient of ?Send and ?Send ends up at ?RM
( ! [V__PERSON,V__SCHOOL] :
   (s__almaMater(V__PERSON,V__SCHOOL)
   =>
   (? [V__EV] :
     (s__instance(V__EV,s__EducationalProcess) &
       s__destination(V__EV,V__PERSON)
     &
     s__eventLocated(V__EV,V__SCHOOL)
   &
   s__holdsDuring(s__WhenFn(V__EV)
,'s__attribute(V__PERSON,s__Student)'))))
)

Mid-level-ontology.kif 14148-14157
( ! [V__Purchase,V__Buyer,V__Seller,V__Object,V__Money] :
   ((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__destination(V__Payment,V__Seller))))
)

FinancialOntology.kif 465-476
  • If ?Buyer is an agent of ?Purchase and ?Purchase originates at ?Seller and ?Object is a patient of ?Purchase and value of ?Object is ?Money,
  • then there exists ?Payment such that ?Payment is a subprocess of ?Purchase and ?Payment is an instance of payment and ?Money is a transaction amount of ?Payment and ?Payment ends up at ?Seller
( ! [V__Account,V__Amount,V__DueDate,V__Agent,V__Payment,V__Date] :
   ((s__amountDue(V__Account,V__Amount,V__DueDate)
     &
     s__accountHolder(V__Account,V__Agent))
=>
s__holdsObligation(s__KappaFn(V__Payment,'(s__instance(V__Payment,s__Payment) & s__transactionAmount(V__Payment,V__Amount) & (s__destination(V__Payment,s__CurrencyFn(V__Account)) | s__origin(V__Payment,s__CurrencyFn(V__Account))) & s__date(V__Payment,V__Date) & s__beforeOrEqual(s__EndFn(V__Date),s__BeginFn(V__DueDate)))')
,V__Agent))
)

FinancialOntology.kif 615-627
  • If ?Account amount due ?Amount for ?DueDate and ?Agent holds account ?Account,
  • then ?Agent is obliged to perform tasks of type the class described by ?Payment
( ! [V__M] :
   ((s__attribute(V__M,s__DemoRecording) &
       s__instance(V__M,s__Recording))
     =>
     s__hasPurpose(V__M,'(? [V__D,V__G,V__MUSIC] : (s__instance(V__D,s__Demonstrating) & s__record(V__M,V__MUSIC) & s__patient(V__D,V__MUSIC) & s__destination(V__D,V__G) & s__instance(V__G,s__GroupOfPeople)))'))
)

Music.kif 427-438
( ! [V__X,V__REST,V__CUST,V__TABLE,V__KITCHEN,V__DINING,V__C,V__FOOD] :
   ((s__attribute(V__X,s__Waiter) &
       s__instance(V__X,s__Human) &
       s__employs(V__REST,V__X)
     &
     s__instance(V__REST,s__Restaurant) &
     s__customer(V__CUST,V__REST)
   &
   s__located(V__CUST,V__TABLE)
&
s__instance(V__TABLE,s__Table))
=>
(s__possesses(V__REST,V__KITCHEN)
&
s__instance(V__KITCHEN,s__KitchenArea) &
s__instance(V__DINING,s__DiningArea) &
s__located(V__TABLE,V__DINING)
&
s__hasPurpose(V__X,'(s__instance(V__C,s__Carrying) & s__agent(V__C,V__X) & s__origin(V__C,V__KITCHEN) & s__destination(V__C,V__TABLE) & s__patient(V__C,V__FOOD) & s__instance(V__FOOD,s__FoodForFn(s__Human)))')))
)

Mid-level-ontology.kif 17900-17921
( ! [V__Loan,V__Borrower,V__Lender,V__Period,V__Interest] :
   ((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__origin(V__Payment,V__Borrower)
&
s__transactionAmount(V__Payment,V__Interest)
&
s__destination(V__Payment,V__Lender))))
)

FinancialOntology.kif 1203-1213
  • If ?Loan is the borrower of ?Borrower and ?Lender lends ?Loan and ?Period is an agreement period of ?Loan and ?Loan interest earned ?Interest for ?Period,
  • then there exists ?Payment such that ?Payment originates at ?Borrower and ?Interest is a transaction amount of ?Payment and ?Payment ends up at ?Lender
( ! [V__AGENT,V__CUST,V__LOC,V__D,V__VEHICLE,V__VALET,V__PARK] :
   ((s__capability(s__ValetParking,s__agent__m,V__AGENT)
     &
     s__customer(V__CUST,V__AGENT)
   &
   s__located(V__AGENT,V__LOC)
&
s__instance(V__D,s__Arriving) &
s__agent(V__D,V__CUST)
&
s__patient(V__D,V__VEHICLE)
&
s__destination(V__D,V__LOC))
=>
(s__occupiesPosition(V__VALET,s__Valet,V__AGENT)
&
s__modalAttribute('(? [V__VP] : (s__instance(V__VP,s__ValetParking) & s__agent(V__VP,V__VALET) & s__patient(V__VP,V__VEHICLE) & s__destination(V__VP,V__PARK) & s__instance(V__PARK,s__ParkingRegion)))',s__Possibility)))
)

TransportDetail.kif 151-169
( ! [V__CUST,V__AGENT,V__AMT,V__ITEM,V__X,V__LOC,V__P] :
   ((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__holdsDuring(s__WhenFn('s__located(V__CUST,V__LOC)')
,'(s__instance(V__P,s__IntentionalProcess) & (s__patient(V__P,V__X) | s__resource(V__P,V__X) | s__instrument(V__P,V__X)) & s__agent(V__P,V__CUST))'))
=>
(? [V__C] :
(s__instance(V__C,s__Corkage) &
s__agent(V__C,V__CUST)
&
s__destination(V__C,V__AGENT))))
)

Dining.kif 130-153
( ! [V__CUST,V__AGENT,V__X,V__LUGGAGE] :
   ((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 2333-2348
( ! [V__Loan,V__Amount,V__Date] :
   ((s__downPayment(V__Loan,V__Amount)
     &
     s__agreementEffectiveDate(V__Loan,V__Date))
=>
(? [V__Payment] :
   (s__transactionAmount(V__Payment,V__Amount)
   &
   s__date(V__Payment,V__Date)
&
s__destination(V__Payment,s__CurrencyFn(V__Loan)))))
)

FinancialOntology.kif 757-765
  • If ?Amount is a down payment of ?Loan and ?Date is an agreement effective date of ?Loan,
  • then there exists ?Payment such that ?Amount is a transaction amount of ?Payment and date of ?Payment is ?Date and ?Payment ends up at the currency of ?Loan
( ! [V__DEVICE1,V__DEVICE2] :
   ((s__engineeringSubcomponent(V__DEVICE1,s__Internet) &
       s__engineeringSubcomponent(V__DEVICE2,s__Internet) &
       (~ (V__DEVICE1 = V__DEVICE2)))
     =>
     s__hasPurpose(s__Internet,'(? [V__COMM] : (s__instance(V__COMM,s__Communication) & s__agent(V__COMM,V__DEVICE1) & s__destination(V__COMM,V__DEVICE2) & s__instrument(V__COMM,s__Internet)))'))
)

Hotel.kif 1294-1305
( ! [V__T,V__C,V__S,V__E,V__A] :
   ((s__holdsDuring(V__T,'s__measure(V__C,V__S)')
     &
     s__engineIdleSpeed(V__E,V__S)
   &
   s__instance(V__A,s__Automobile) &
   s__part(V__E,V__A)
&
s__part(V__C,V__E))
=>
s__modalAttribute('(~ (? [V__P,V__GP] : (s__during(V__P,V__T) & s__instance(V__P,s__Pushing) & s__destination(V__P,V__GP) & s__part(V__GP,V__A))))',s__Likely))
)

Cars.kif 2594-2610
( ! [V__T1,V__P,V__HOME_NATION] :
   ((s__holdsDuring(V__T1,'(s__attribute(V__P,s__Expellee) & s__citizen(V__P,V__HOME_NATION))')
     &
     s__instance(V__T1,s__TimeInterval))
   =>
   (? [V__TRANS,V__NATION] :
     (s__instance(V__NATION,s__Nation) &
       (~ (V__NATION = V__HOME_NATION))
       &
       s__instance(V__TRANS,s__Translocation) &
       s__origin(V__TRANS,V__NATION)
     &
     s__patient(V__TRANS,V__P)
   &
   s__destination(V__TRANS,V__HOME_NATION)
&
s__temporalPart(V__T1,s__WhenFn(V__TRANS)))))
)

MilitaryPersons.kif 151-167
( ! [V__A,V__FIELDOFSTUDY,V__SCHOOL,V__H] :
   ((s__instance(V__A,s__AwardingADegree) &
       s__patient(V__A,s__DegreeFn(V__FIELDOFSTUDY,V__SCHOOL)))
=>
(s__instance(V__H,s__Human) &
   s__agent(V__A,V__SCHOOL)
&
s__destination(V__A,V__H)))
)

LinkedInDegrees.kif 86-93
( ! [V__ARTERY,V__TRANSFER,V__BLOOD] :
   ((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 9521-9531
( ! [V__AUCTIONING,V__BIDDER1,V__BIDDER2,V__ITEM,V__OFFER1,V__OFFER2] :
   ((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__patient(V__AUCTIONING,V__ITEM)
     &
     s__bidPrice(V__ITEM,V__OFFER1,V__BIDDER1)
   &
   s__bidPrice(V__ITEM,V__OFFER2,V__BIDDER2)
&
greater(V__OFFER1,V__OFFER2))
=>
s__destination(V__AUCTIONING,V__BIDDER1))
)

UXExperimentalTerms.kif 438-448
( ! [V__Account,V__FinancialAccount,V__Balance,V__Amount,V__Date] :
   ((s__instance(V__Account,V__FinancialAccount)
     &
     s__minimumBalance(V__Account,s__OpeningAnAccount,V__Balance))
=>
(? [V__Payment] :
   (s__destination(V__Payment,s__CurrencyFn(V__Account))
&
s__transactionAmount(V__Payment,V__Amount)
&
greatereq(V__Amount,V__Balance)
&
s__agreementEffectiveDate(V__Account,V__Date)
&
s__date(V__Payment,V__Date))))
)

FinancialOntology.kif 646-656
( ! [V__Account,V__FinancialAccount,V__Balance,V__Date,V__Amount] :
   ((s__instance(V__Account,V__FinancialAccount)
     &
     s__minimumBalance(V__Account,s__UsingAnAccount,V__Balance)
   &
   s__currentAccountBalance(V__Account,V__Date,V__Amount)
&
less(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 658-668
( ! [V__Account,V__Organization,V__Agent,V__Interest,V__Period] :
   ((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__origin(V__Payment,V__Agent)
&
s__transactionAmount(V__Payment,V__Interest)
&
s__destination(V__Payment,V__Organization))))
)

FinancialOntology.kif 1154-1164
  • If ?Account is an instance of credit account and ?Account is held by ?Organization and ?Agent holds account ?Account and ?Account interest earned ?Interest for ?Period,
  • then there exists ?Payment such that ?Payment originates at ?Agent and ?Interest is a transaction amount of ?Payment and ?Payment ends up at ?Organization
( ! [V__Account,V__MinPayment,V__Amount] :
   ((s__instance(V__Account,s__LiabilityAccount) &
       s__minimumPayment(V__Account,V__MinPayment,s__MonthDuration) &
       (? [V__Payment,V__Month] :
         (s__instance(V__Month,s__Month) &
           s__destination(V__Payment,s__CurrencyFn(V__Account))
       &
       s__paymentsPerPeriod(V__Account,V__Amount,V__Month)
     &
     less(V__Amount,V__MinPayment))))
=>
(? [V__Penalty] :
(s__instance(V__Penalty,s__Penalty) &
   s__destination(V__Penalty,s__CurrencyFn(V__Account)))))
)

FinancialOntology.kif 712-725

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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



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