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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - origin
origin

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


s__documentation(s__origin__m,s__ChineseLanguage,'(origin ?PROCESS ?SOURCE) 的意思是 ?SOURCE 指出 ?Process 从哪开始。注:这个关系意味着 ?SOURCE 在过程开始时是存在的,但是它不一定有参与 整个过程中。例如:在以下导弹是从潜艇发射的这命题,潜艇是个 origin。')

Merge.kif 2632-2634
s__documentation(s__origin__m,s__EnglishLanguage,'(origin ?PROCESS ?SOURCE) means that ?SOURCE indicates where the ?Process began. Note that this relation implies that ?SOURCE is present at the beginning of the process, but need not participate throughout the process. For example, the submarine is the origin in the following proposition: the missile was launched from a submarine.')

Merge.kif 2626-2631
s__domain(s__origin__m,1,s__Process)

Merge.kif 2623-2623 The number 1 argument of origin is an instance of process
s__domain(s__origin__m,2,s__Object)

Merge.kif 2624-2624 The number 2 argument of origin is an instance of object
s__instance(s__CaseRole,s__SetOrClass)

Merge.kif 2621-2621 origin is an instance of case role
s__instance(s__origin__m,s__PartialValuedRelation)

Merge.kif 2622-2622 origin is an instance of partial valued relation
s__subrelation(s__origin__m,s__involvedInEvent__m)

Merge.kif 2625-2625 origin is a subrelation of involved in event

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__origin__m,'%2 %n 是 %1 的源头')

chinese_format.kif 159-159
s__format(s__EnglishLanguage,s__origin__m,'%1 %n{doesnt} originate%p{s} at %2')

english_format.kif 106-106
s__format(s__FrenchLanguage,s__origin__m,'%1 %n{ne} a %n{pas} pour origine %2')

french_format.kif 99-99
s__format(s__ItalianLanguage,s__origin__m,'%1 %n{non} si origina%p{s} in %2')

relations-it.txt 205-205
s__format(s__PortugueseLanguage,s__origin__m,'%1 %n{nao} tem %n como origem %2')

portuguese_format.kif 51-51
s__format(s__ar__m,s__origin__m,'%1 %n{لا} يَنْشَأ في %2')

arabic_format.kif 49-49
s__format(s__cz__m,s__origin__m,'%1 %n{ne}za��n� v %2')

relations-cz.txt 84-84
s__format(s__de__m,s__origin__m,'%1 beginnet an %2 %n{nicht}')

relations-de.txt 194-194
s__format(s__hi__m,s__origin__m,'%1 %2 kaa udgama-sthaana %n{nahiin} hai')

relations-hindi.txt 243-243
s__format(s__tg__m,s__origin__m,'%1 %n ay nagsisimula sa %2')

relations-tg.txt 392-392
s__termFormat(s__ChineseLanguage,s__origin__m,'源头')

chinese_format.kif 160-160 "源头" is the printable form of origin in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__origin__m,'origin')

domainEnglishFormat.kif 7516-7516 "origin" is the printable form of origin in english language
s__termFormat(s__ar__m,s__origin__m,'«يَنْشَأ في»')

arabic_format.kif 499-499 "«يَنْشَأ في»" is the printable form of origin in ar
s__termFormat(s__tg__m,s__origin__m,'nagsisimula')

relations-tg.txt 393-393 "nagsisimula" is the printable form of origin in tg

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 A process is an instance of withdrawal and a financial account is an instance of financial account and the process originates at the currency of the financial account and there doesn't exist another process such that the other process is an instance of penalty and the other process ends up at the currency of the financial account and the process causes the other process if and only if the liqudity of the financial account is high liquidity
( ! [V__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 There exists a process such that the process is an instance of borrowing and an agent is an agent of the process and the process originates at another agent and an entity is a patient of the process if and only if there exists another process such that the other process is an instance of lending and the other agent is an agent of the other process and the other process ends up at the agent and the entity is a patient of the other process
( ! [V__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 There exists a process such that the process is an instance of buying and an agent is an agent of the process and the process originates at another agent and an entity is a patient of the process if and only if there exists another process such that the other process is an instance of selling and the other agent is an agent of the other process and the other process ends up at the agent and the entity is a patient of the other process
( ! [V__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
( ! [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. Dining.kif 130-153
( ! [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
( ! [V__Account,V__Transaction] :
   ((s__instance(V__Account,s__CheckingAccount) &
       s__instance(V__Transaction,s__FinancialTransaction) &
       s__origin(V__Transaction,s__CurrencyFn(V__Account)))
=>
((? [V__Check] :
     (s__instance(V__Check,s__Check) &
       s__instrument(V__Transaction,V__Check)))
|
(? [V__DebitCard] :
   (s__instance(V__DebitCard,s__DebitCard) &
     s__instrument(V__Transaction,V__DebitCard)))))
)

FinancialOntology.kif 1074-1087
( ! [V__Account,V__Transaction] :
   ((s__instance(V__Account,s__CreditCardAccount) &
       s__instance(V__Transaction,s__FinancialTransaction) &
       s__origin(V__Transaction,s__CurrencyFn(V__Account)))
=>
(? [V__Card] :
   (s__instance(V__Card,s__CreditCard) &
     s__instrument(V__Transaction,V__Card))))
)

FinancialOntology.kif 1181-1189
( ! [V__Account,V__Transaction] :
   ((s__instance(V__Account,s__SavingsAccount) &
       s__instance(V__Transaction,s__FinancialTransaction) &
       s__origin(V__Transaction,s__CurrencyFn(V__Account)))
=>
(? [V__Authorization] :
   (s__instance(V__Authorization,s__AuthorizationOfTransaction) &
     s__subProcess(V__Authorization,V__Transaction))))
)

FinancialOntology.kif 978-986
( ! [V__Account,V__Withdrawal] :
   ((s__instance(V__Account,s__TraditionalSavingsAccount) &
       s__instance(V__Withdrawal,s__Withdrawal) &
       s__origin(V__Withdrawal,s__CurrencyFn(V__Account)))
=>
(~ (? [V__Penalty] :
     (s__instance(V__Penalty,s__Penalty) &
       s__destination(V__Penalty,s__CurrencyFn(V__Account))
   &
   s__causes(V__Withdrawal,V__Penalty)))))
)

FinancialOntology.kif 1060-1069
No TPTP formula. May not be expressible in strict first order. Catalog.kif 322-337
( ! [V__CD,V__MaturityDate,V__Withdrawal,V__DateOfWithdrawal] :
   ((s__instance(V__CD,s__CertificateOfDeposit) &
       s__maturityDate(V__CD,V__MaturityDate)
     &
     s__instance(V__Withdrawal,s__Withdrawal) &
     s__origin(V__Withdrawal,s__CurrencyFn(V__CD))
&
s__date(V__Withdrawal,V__DateOfWithdrawal)
&
s__before(s__EndFn(V__DateOfWithdrawal)
,s__BeginFn(V__MaturityDate)))
=>
(? [V__Penalty] :
(s__instance(V__Penalty,s__Penalty) &
s__destination(V__Penalty,s__CurrencyFn(V__CD))
&
s__causes(V__Withdrawal,V__Penalty))))
)

FinancialOntology.kif 1032-1044
No TPTP formula. May not be expressible in strict first order. Merge.kif 11551-11561
( ! [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__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
No TPTP formula. May not be expressible in strict first order. Cars.kif 1712-1728
( ! [V__EV,V__A,V__O] :
   ((s__instance(V__EV,s__Evacuation) &
       s__agent(V__EV,V__A)
     &
     s__origin(V__EV,V__O))
=>
(? [V__T,V__TA] :
   (s__instance(V__T,s__Translocation) &
     s__subProcess(V__T,V__EV)
   &
   s__origin(V__T,V__O)
&
(s__experiencer(V__T,V__TA)
|
s__agent(V__T,V__TA))
&
(s__subOrganization(V__TA,V__A)
|
s__member(V__TA,V__A)
|
(V__TA = V__A)))))
)

MilitaryProcesses.kif 2594-2610
( ! [V__EV,V__O,V__A] :
   ((s__instance(V__EV,s__Evacuation) &
       s__origin(V__EV,V__O)
     &
     s__agent(V__EV,V__A))
=>
(? [V__M,V__MA] :
   (s__instance(V__M,s__Maintaining) &
     s__eventLocated(V__M,V__O)
   &
   s__subProcess(V__M,V__EV)
&
(s__subOrganization(V__MA,V__A)
|
s__member(V__MA,V__A)
|
(V__MA = V__A))
&
s__agent(V__M,V__MA))))
)

MilitaryProcesses.kif 2540-2554
( ! [V__EV,V__O,V__A] :
   ((s__instance(V__EV,s__Evacuation) &
       s__origin(V__EV,V__O)
     &
     s__agent(V__EV,V__A))
=>
(? [V__T,V__TA] :
   (s__instance(V__T,s__Transportation) &
     s__destination(V__T,V__O)
   &
   (s__subOrganization(V__TA,V__A)
   |
   s__member(V__TA,V__A)
|
(V__TA = V__A))
&
(s__agent(V__T,V__TA)
|
s__patient(V__T,V__TA)))))
)

MilitaryProcesses.kif 2521-2536
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2483-2497
( ! [V__EV,V__OR,V__D] :
   ((s__instance(V__EV,s__Evacuation) &
       s__origin(V__EV,V__OR)
     &
     s__destination(V__EV,V__D))
=>
(? [V__L] :
   (s__instance(V__L,s__Translocation) &
     s__subProcess(V__L,V__EV)
   &
   s__destination(V__L,V__D)
&
s__origin(V__L,V__OR))))
)

MilitaryProcesses.kif 2468-2478
No TPTP formula. May not be expressible in strict first order. Economy.kif 2415-2422
( ! [V__EXPORT,V__ITEM,V__AREA1,V__AREA2] :
   ((s__instance(V__EXPORT,s__Exporting) &
       s__patient(V__EXPORT,V__ITEM)
     &
     s__instance(V__AREA1,s__GeopoliticalArea) &
     s__origin(V__EXPORT,V__AREA1)
   &
   s__instance(V__AREA2,s__GeopoliticalArea) &
   s__destination(V__EXPORT,V__AREA2))
=>
(~ (V__AREA1 = V__AREA2)))
)

Economy.kif 2471-2479
( ! [V__EXPORT,V__ITEM,V__AREA1,V__AREA2] :
   ((s__instance(V__EXPORT,s__Exporting) &
       s__patient(V__EXPORT,V__ITEM)
     &
     s__instance(V__AREA1,s__GeopoliticalArea) &
     s__origin(V__EXPORT,V__AREA1)
   &
   s__instance(V__AREA2,s__GeopoliticalArea) &
   s__destination(V__EXPORT,V__AREA2))
=>
(~ s__located(V__AREA2,V__AREA1)))
)

Economy.kif 2481-2489

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 615-627
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
( ! [V__CUST,V__AGENT,V__ITEM] :
   ((s__buys(V__CUST,V__AGENT,V__ITEM)
     &
     s__instance(V__ITEM,s__Physical))
   =>
   (? [V__TRANS] :
     (s__instance(V__TRANS,s__Buying) &
       s__patient(V__TRANS,V__ITEM)
     &
     s__agent(V__TRANS,V__CUST)
   &
   s__origin(V__TRANS,V__AGENT))))
)

Mid-level-ontology.kif 28049-28058
( ! [V__CUST,V__AGENT,V__ITEM] :
   ((s__buys(V__CUST,V__AGENT,V__ITEM)
     &
     s__instance(V__ITEM,s__Proposition))
   =>
   (? [V__TRANS,V__PROC] :
     (s__realization(V__PROC,V__ITEM)
     &
     s__instance(V__TRANS,s__Buying) &
     s__patient(V__TRANS,V__PROC)
   &
   s__origin(V__TRANS,V__AGENT))))
)

Mid-level-ontology.kif 28060-28069
( ! [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
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 151-167
( ! [V__ANI,V__D] :
   ((s__instance(V__ANI,s__Animal) &
       s__instance(V__D,s__DiseaseOrSyndrome) &
       (~ s__attribute(V__ANI,V__D)))
   =>
   (? [V__P,V__W] :
     (s__instance(V__P,s__BiologicalProcess) &
       s__instance(V__P,s__Removing) &
       s__origin(V__P,V__ANI)
     &
     s__instance(V__W,s__Sewage) &
     s__agent(V__P,V__ANI)
   &
   s__patient(V__P,V__W))))
)

Mid-level-ontology.kif 2621-2634
( ! [V__ARTERY,V__TRANSFER,V__BLOOD] :
   ((s__instance(V__ARTERY,s__Artery) &
       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__HEART] :
   (s__instance(V__HEART,s__Heart) &
     s__origin(V__TRANSFER,V__HEART))))
)

Mid-level-ontology.kif 9500-9510
( ! [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__Bond,V__Date,V__BondHolder,V__Principal,V__Period,V__Interest,V__Total,V__BondAccount] :
   ((s__instance(V__Bond,s__ZeroCouponBond) &
       s__maturityDate(s__AccountFn(V__Bond)
    ,V__Date)
   &
   s__possesses(V__BondHolder,V__Bond)
&
s__principalAmount(s__AccountFn(V__Bond)
,V__Principal)
&
s__agreementPeriod(s__AccountFn(V__Bond)
,V__Period)
&
s__interestEarned(s__AccountFn(V__Bond)
,V__Interest,V__Period)
&
(V__Total = s__AdditionFn(V__Principal,V__Interest)))
=>
(? [V__Payment] :
(s__instance(V__Payment,s__Payment) &
s__destination(V__Payment,V__BondHolder)
&
s__origin(V__Payment,s__CurrencyFn(V__BondAccount))
&
s__transactionAmount(V__Payment,V__Total))))
)

FinancialOntology.kif 2264-2278
( ! [V__EV,V__A,V__O] :
   ((s__instance(V__EV,s__Evacuation) &
       s__agent(V__EV,V__A)
     &
     s__origin(V__EV,V__O))
=>
(? [V__T,V__TA] :
   (s__instance(V__T,s__Translocation) &
     s__subProcess(V__T,V__EV)
   &
   s__origin(V__T,V__O)
&
(s__experiencer(V__T,V__TA)
|
s__agent(V__T,V__TA))
&
(s__subOrganization(V__TA,V__A)
|
s__member(V__TA,V__A)
|
(V__TA = V__A)))))
)

MilitaryProcesses.kif 2594-2610
( ! [V__EV,V__OR,V__D] :
   ((s__instance(V__EV,s__Evacuation) &
       s__origin(V__EV,V__OR)
     &
     s__destination(V__EV,V__D))
=>
(? [V__L] :
   (s__instance(V__L,s__Translocation) &
     s__subProcess(V__L,V__EV)
   &
   s__destination(V__L,V__D)
&
s__origin(V__L,V__OR))))
)

MilitaryProcesses.kif 2468-2478
( ! [V__F,V__C,V__I] :
   ((s__instance(V__F,s__FourStrokeExhaust) &
       s__instance(V__C,s__EngineCylinder) &
       s__instance(V__I,s__InternalCombustionChamber) &
       (V__C = s__HoleHostFn(V__I))
     &
     s__eventLocated(V__F,V__C))
=>
(? [V__E,V__M] :
   (s__instance(V__M,s__GasMotion) &
     s__instance(V__E,s__Exhaust) &
     s__subProcess(V__M,V__F)
   &
   s__origin(V__M,V__I)
&
s__patient(V__M,V__E))))
)

Cars.kif 225-238
No TPTP formula. May not be expressible in strict first order. Cars.kif 1041-1058
( ! [V__G,V__P] :
   ((s__instance(V__G,s__Baseball) &
       s__instance(V__P,s__Pitching) &
       s__subProcess(V__P,V__G))
   =>
   (? [V__M] :
     (s__instance(V__M,s__PitchersMound) &
       s__origin(V__P,V__M))))
)

Sports.kif 548-556
( ! [V__GIVE,V__AGENT] :
   ((s__instance(V__GIVE,s__Giving) &
       s__agent(V__GIVE,V__AGENT))
   =>
   s__origin(V__GIVE,V__AGENT))
)

Merge.kif 11583-11587
( ! [V__GIVE,V__AGENT1,V__AGENT2,V__OBJ] :
   ((s__instance(V__GIVE,s__Giving) &
       s__agent(V__GIVE,V__AGENT1)
     &
     s__destination(V__GIVE,V__AGENT2)
   &
   s__instance(V__AGENT2,s__Agent) &
   s__patient(V__GIVE,V__OBJ))
=>
(? [V__GET] :
(s__instance(V__GET,s__Getting) &
   s__agent(V__GET,V__AGENT2)
&
s__origin(V__GET,V__AGENT1)
&
s__patient(V__GET,V__OBJ))))
)

Merge.kif 11569-11581
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14912-14928
( ! [V__P,V__AGENT,V__CUST,V__FOOD] :
   ((s__instance(V__P,s__FoodPickup) &
       s__agent(V__P,V__AGENT)
     &
     s__destination(V__P,V__CUST)
   &
   s__patient(V__P,V__FOOD))
=>
(s__instance(V__FOOD,s__FoodForFn(s__Human))
&
(? [V__LOC,V__T,V__G] :
(s__located(V__AGENT,V__LOC)
&
s__instance(V__T,s__Translocation) &
s__agent(V__T,V__CUST)
&
s__destination(V__T,V__LOC)
&
s__instance(V__G,s__Getting) &
s__origin(V__G,V__AGENT)
&
s__destination(V__G,V__CUST)
&
s__patient(V__G,V__FOOD)))))
)

Dining.kif 568-585
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14161-14175
( ! [V__PLUG,V__DEVICE,V__OUTLET,V__POWER] :
   ((s__instance(V__PLUG,s__ElectricalPlug) &
       s__instance(V__DEVICE,s__ElectricDevice) &
       s__instance(V__OUTLET,s__ElectricalOutlet) &
       s__connectedEngineeringComponents(V__DEVICE,V__PLUG)
     &
     s__completelyFills(V__PLUG,V__OUTLET)
   &
   s__instance(V__POWER,s__PowerSource) &
   s__connectedEngineeringComponents(V__POWER,V__OUTLET))
=>
(? [V__RE] :
(s__instance(V__RE,s__RadiatingElectromagnetic) &
   s__origin(V__RE,V__POWER)
&
s__destination(V__RE,V__DEVICE))))
)

Mid-level-ontology.kif 23853-23866
( ! [V__REPAYMENT,V__REPAYMENT_DESTINATION,V__REPAYMENT_ORIGIN] :
   ((s__instance(V__REPAYMENT,s__Repayment) &
       s__instance(V__REPAYMENT_DESTINATION,s__Object) &
       s__destination(V__REPAYMENT,V__REPAYMENT_DESTINATION)
     &
     s__instance(V__REPAYMENT_ORIGIN,s__Object) &
     s__origin(V__REPAYMENT,V__REPAYMENT_ORIGIN))
=>
(? [V__PAYMENT,V__PAYMENT_ORIGIN,V__PAYMENT_DESTINATION] :
   (s__instance(V__PAYMENT,s__Payment) &
     s__instance(V__PAYMENT_ORIGIN,s__Object) &
     s__instance(V__PAYMENT_DESTINATION,s__Object) &
     (~ (V__PAYMENT = V__REPAYMENT))
     &
     s__destination(V__PAYMENT,V__PAYMENT_DESTINATION)
   &
   s__origin(V__PAYMENT,V__PAYMENT_ORIGIN)
&
(V__PAYMENT_ORIGIN = V__REPAYMENT_DESTINATION)
&
(V__PAYMENT_DESTINATION = V__REPAYMENT_ORIGIN))))
)

UXExperimentalTerms.kif 2089-2106
( ! [V__Refinancing,V__Time,V__Loan,V__Collateral,V__Borrower,V__Date,V__Amount] :
   ((s__instance(V__Refinancing,s__Refinancing) &
       s__time(V__Refinancing,V__Time)
     &
     s__instance(V__Loan,s__Loan) &
     s__securedBy(V__Loan,V__Collateral)
   &
   s__borrower(V__Loan,V__Borrower)
&
s__currentAccountBalance(V__Loan,V__Date,V__Amount)
&
s__patient(V__Refinancing,V__Loan))
=>
(? [V__NewLoan,V__Payment] :
(s__instance(V__NewLoan,s__Loan) &
s__borrower(V__NewLoan,V__Borrower)
&
s__securedBy(V__Loan,V__Collateral)
&
s__destination(V__Payment,s__CurrencyFn(V__Loan))
&
s__time(V__Payment,V__Time)
&
s__origin(V__Payment,s__CurrencyFn(V__NewLoan))
&
s__transactionAmount(V__Payment,V__Amount))))
)

FinancialOntology.kif 1392-1409
( ! [V__SELL,V__AGENT] :
   ((s__instance(V__SELL,s__Selling) &
       s__agent(V__SELL,V__AGENT))
   =>
   s__origin(V__SELL,V__AGENT))
)

Merge.kif 11828-11832

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