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 2587-2590
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 2580-2586
s__domain(s__destination__m,1,s__Process)

Merge.kif 2577-2577
s__domain(s__destination__m,2,s__Entity)

Merge.kif 2578-2578
s__instance(s__CaseRole,s__SetOrClass)

Merge.kif 2575-2575
s__instance(s__PartialValuedRelation,s__SetOrClass)

Merge.kif 2576-2576
s__subrelation(s__destination__m,s__involvedInEvent__m)

Merge.kif 2579-2579

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
s__termFormat(s__EnglishLanguage,s__destination__m,'destination')

domainEnglishFormat.kif 3633-3633
s__termFormat(s__ar__m,s__destination__m,'«يَنْتَهِي في»')

arabic_format.kif 469-469
s__termFormat(s__tg__m,s__destination__m,'tapusin')

relations-tg.txt 159-159

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


s__domain(s__automatedNotification__m,2,s__destination__m)

Facebook.kif 710-710

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
( ! [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 27875-27884
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 151-169
No TPTP formula. May not be expressible in strict first order. 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
No TPTP formula. May not be expressible in strict first order. Cars.kif 2571-2584
( ! [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
No TPTP formula. May not be expressible in strict first order. Hotel.kif 780-801
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27711-27723
( ! [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 3954-3979
No TPTP formula. May not be expressible in strict first order. 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)
     &
     s__lessThan(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 1254-1262
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16230-16246
No TPTP formula. May not be expressible in strict first order. 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
No TPTP formula. May not be expressible in strict first order. Merge.kif 11551-11561
( ! [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 19080-19085
( ! [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
No TPTP formula. May not be expressible in strict first order. 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
No TPTP formula. May not be expressible in strict first order. 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 21465-21471
( ! [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 11477-11482
( ! [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 = s__AdditionFn(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 7430-7436
( ! [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
( ! [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 11633-11645
( ! [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 11814-11826
( ! [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 657-665
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14408-14417
( ! [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
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 615-627
No TPTP formula. May not be expressible in strict first order. Music.kif 411-422
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18201-18222
( ! [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
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 151-169
No TPTP formula. May not be expressible in strict first order. 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
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1294-1305
No TPTP formula. May not be expressible in strict first order. Cars.kif 2553-2569
No TPTP formula. May not be expressible in strict first order. 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 9533-9543
( ! [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)
&
s__greaterThan(V__OFFER1,V__OFFER2))
=>
s__destination(V__AUCTIONING,V__BIDDER1))
)

UXExperimentalTerms.kif 437-447
( ! [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)
&
s__greaterThanOrEqualTo(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)
&
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 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
( ! [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)
     &
     s__lessThan(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