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。"')

chinese_format.kif 1879-1881
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 2394-2399
s__domain(s__origin__m,n__1,s__Process)

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

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

s__instance(s__origin__m,s__CaseRole)

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

s__instance(s__origin__m,s__PartialValuedRelation)

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

Merge.kif 2392-2392 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 163-163
s__termFormat(s__ChineseLanguage,s__origin__m,'"源头"')

chinese_format.kif 160-160
s__termFormat(s__ChineseLanguage,s__origin__m,'"起源"')

domainEnglishFormat.kif 42565-42565
s__termFormat(s__ChineseTraditionalLanguage,s__origin__m,'"起源"')

domainEnglishFormat.kif 42564-42564
s__termFormat(s__EnglishLanguage,s__origin__m,'"origin"')

domainEnglishFormat.kif 42563-42563

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


( ! [V__Account,V__Withdrawal] :
   ((((s__instance(V__Withdrawal,s__Withdrawal) &
           s__instance(V__Account,s__FinancialAccount) &
           s__origin(V__Withdrawal,s__CurrencyFn(V__Account))
       &
       ~(( ? [V__Penalty] :
           ((s__instance(V__Penalty,s__Penalty) &
               s__destination(V__Penalty,s__CurrencyFn(V__Account))
           &
           s__causes(V__Withdrawal,V__Penalty))))))
=>
s__liquidity(V__Account,s__HighLiquidity))
&
(s__liquidity(V__Account,s__HighLiquidity) =>
(s__instance(V__Withdrawal,s__Withdrawal) &
s__instance(V__Account,s__FinancialAccount) &
s__origin(V__Withdrawal,s__CurrencyFn(V__Account))
&
~(( ? [V__Penalty] :
((s__instance(V__Penalty,s__Penalty) &
     s__destination(V__Penalty,s__CurrencyFn(V__Account))
&
s__causes(V__Withdrawal,V__Penalty))))))))
)
)

FinancialOntology.kif 1767-1777 A process is an instance of withdrawal and a financial account is an instance of financial account and the process originates at the currency of the financial account and there doesn't exist another process such that the other process is an instance of penalty and the other process ends up at the currency of the financial account and the process causes the other process if and only if the liqudity of the financial account is high liquidity
( ! [V__AGENT2,V__OBJECT,V__AGENT1] :
   (((s__instance(V__AGENT2,s__Agent) &
         s__instance(V__AGENT1,s__Agent))
       =>
       (((( ? [V__BORROW] :
               ((s__instance(V__BORROW,s__Borrowing) &
                   s__agent(V__BORROW,V__AGENT1)
                 &
                 s__origin(V__BORROW,V__AGENT2)
               &
               s__patient(V__BORROW,V__OBJECT))))
       =>
       ( ? [V__LEND] :
         ((s__instance(V__LEND,s__Lending) &
             s__agent(V__LEND,V__AGENT2)
           &
           s__destination(V__LEND,V__AGENT1)
         &
         s__patient(V__LEND,V__OBJECT)))))
&
(( ? [V__LEND] :
   ((s__instance(V__LEND,s__Lending) &
       s__agent(V__LEND,V__AGENT2)
     &
     s__destination(V__LEND,V__AGENT1)
   &
   s__patient(V__LEND,V__OBJECT))))
=>
( ? [V__BORROW] :
((s__instance(V__BORROW,s__Borrowing) &
s__agent(V__BORROW,V__AGENT1)
&
s__origin(V__BORROW,V__AGENT2)
&
s__patient(V__BORROW,V__OBJECT))))))))
)
)

Merge.kif 11204-11216 There exists a process such that the process is an instance of borrowing and an agent is an agent of the process and the process originates at another agent and an entity is a patient of the process if and only if there exists another process such that the other process is an instance of lending and the other agent is an agent of the other process and the other process ends up at the agent and the entity is a patient of the other process
( ! [V__AGENT2,V__OBJECT,V__AGENT1] :
   (((s__instance(V__AGENT2,s__Agent) &
         s__instance(V__AGENT1,s__Agent))
       =>
       (((( ? [V__BUY] :
               ((s__instance(V__BUY,s__Buying) &
                   s__agent(V__BUY,V__AGENT1)
                 &
                 s__origin(V__BUY,V__AGENT2)
               &
               s__patient(V__BUY,V__OBJECT))))
       =>
       ( ? [V__SELL] :
         ((s__instance(V__SELL,s__Selling) &
             s__agent(V__SELL,V__AGENT2)
           &
           s__destination(V__SELL,V__AGENT1)
         &
         s__patient(V__SELL,V__OBJECT)))))
&
(( ? [V__SELL] :
   ((s__instance(V__SELL,s__Selling) &
       s__agent(V__SELL,V__AGENT2)
     &
     s__destination(V__SELL,V__AGENT1)
   &
   s__patient(V__SELL,V__OBJECT))))
=>
( ? [V__BUY] :
((s__instance(V__BUY,s__Buying) &
s__agent(V__BUY,V__AGENT1)
&
s__origin(V__BUY,V__AGENT2)
&
s__patient(V__BUY,V__OBJECT))))))))
)
)

Merge.kif 11366-11378 There exists a process such that the process is an instance of buying and an agent is an agent of the process and the process originates at another agent and an entity is a patient of the process if and only if there exists another process such that the other process is an instance of selling and the other agent is an agent of the other process and the other process ends up at the agent and the entity is a patient of the other process
( ! [V__Object,V__Seller,V__Money,V__Purchase,V__Buyer] :
   (((s__instance(V__Object,s__Physical) &
         s__instance(V__Seller,s__Object) &
         s__instance(V__Money,s__CurrencyMeasure) &
         s__instance(V__Purchase,s__Process) &
         s__instance(V__Buyer,s__Agent))
       =>
       (((s__agent(V__Purchase,V__Buyer)
           &
           s__origin(V__Purchase,V__Seller)
         &
         s__patient(V__Purchase,V__Object)
       &
       s__monetaryValue(V__Object,V__Money))
   =>
   (( ? [V__Payment] :
       ((s__subProcess(V__Payment,V__Purchase)
         &
         s__instance(V__Payment,s__Payment) &
         s__transactionAmount(V__Payment,V__Money)
       &
       s__origin(V__Payment,V__Buyer)
     &
     s__destination(V__Payment,V__Seller))))))))
)
)

FinancialOntology.kif 463-475
( ! [V__O1,V__O2,V__O3,V__T,V__PATH] :
   (((s__instance(V__O1,s__Object) &
         s__instance(V__O2,s__Object) &
         s__instance(V__O3,s__Object) &
         s__instance(V__PATH,s__Object))
       =>
       (((s__betweenOnPath(V__O1,V__O2,V__O3,V__PATH)
           &
           s__instance(V__T,s__Transfer) &
           s__path(V__T,V__PATH)
         &
         s__origin(V__T,V__O1)
       &
       s__destination(V__T,V__O3))
   =>
   ((s__beforeOnPath(V__O1,V__O2,V__PATH,V__T)
     &
     s__beforeOnPath(V__O2,V__O3,V__PATH,V__T))))))
)
)

Mid-level-ontology.kif 27929-27938
( ! [V__AGENT,V__AMT,V__CUST,V__D,V__ITEM,V__X] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__AMT,s__CurrencyMeasure) &
         s__instance(V__CUST,s__CognitiveAgent) &
         s__subclass(V__ITEM,s__Object) &
         s__instance(V__ITEM,s__Class) &
         s__instance(V__X,s__Object))
       =>
       (((s__customer(V__CUST,V__AGENT)
           &
           s__corkageFee(V__AMT,V__ITEM,V__AGENT)
         &
         s__instance(V__X,V__ITEM)
       &
       ~(( ? [V__B] :
           ((s__instance(V__B,s__Buying) &
               s__patient(V__B,V__X)
             &
             s__destination(V__B,V__CUST)
           &
           s__origin(V__B,V__AGENT)))))
&
s__instance(V__D,s__Drinking) &
s__agent(V__D,V__CUST)
&
s__resource(V__D,V__X))
=>
(( ? [V__C] :
((s__instance(V__C,s__Corkage) &
   s__agent(V__C,V__CUST)
&
s__refers(V__C,V__X)
&
s__destination(V__C,V__AGENT))))))))
)
)

Dining.kif 130-150
( ! [V__PAGE,V__ACCESSING,V__INTERVAL,V__REQUESTING,V__BROWSER,V__TRANSFER,V__SERVER] :
   (((s__instance(V__ACCESSING,s__AccessingWebPage) &
         s__instance(V__PAGE,s__WebPage) &
         s__instance(V__TRANSFER,s__DataTransfer) &
         s__instance(V__SERVER,s__Server) &
         s__instance(V__REQUESTING,s__Requesting) &
         s__instance(V__BROWSER,s__WebBrowser) &
         s__instance(V__INTERVAL,s__TimeInterval) &
         s__patient(V__ACCESSING,V__PAGE)
       &
       s__agent(V__REQUESTING,V__BROWSER)
     &
     s__destination(V__REQUESTING,V__SERVER)
   &
   s__patient(V__REQUESTING,V__PAGE)
&
s__origin(V__TRANSFER,V__SERVER)
&
s__destination(V__TRANSFER,V__BROWSER)
&
s__patient(V__TRANSFER,V__PAGE)
&
s__subProcess(V__TRANSFER,V__ACCESSING)
&
s__subProcess(V__REQUESTING,V__ACCESSING)
&
(s__EndFn(s__WhenFn(V__REQUESTING))
= s__BeginFn(V__INTERVAL))
&
(s__EndFn(s__WhenFn(V__TRANSFER))
= s__EndFn(V__INTERVAL)))
=>
((s__SiteSpeedFn(V__ACCESSING)
= V__INTERVAL)))
)
)

UXExperimentalTerms.kif 3966-3991
( ! [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 1083-1096
( ! [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 1193-1201
( ! [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 987-995
( ! [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 1069-1078
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22206-22215
No TPTP formula. May not be expressible in strict first order. Catalog.kif 328-343
( ! [V__CD,V__DateOfWithdrawal,V__Withdrawal,V__MaturityDate] :
   (((s__instance(V__DateOfWithdrawal,s__Day) &
         s__instance(V__MaturityDate,s__Day))
       =>
       (((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 1041-1053
No TPTP formula. May not be expressible in strict first order. Merge.kif 11129-11139
( ! [V__D,V__LOC2,V__LOC1] :
   ((s__instance(V__LOC1,s__Object) =>
       (((s__instance(V__D,s__DeliveryService) &
             s__origin(V__D,V__LOC1)
           &
           s__destination(V__D,V__LOC2))
       =>
       (~((V__LOC1 = V__LOC2))))))
)
)

Dining.kif 519-524
( ! [V__FINISH,V__START,V__DROP] :
   (((s__instance(V__FINISH,s__Object) &
         s__instance(V__START,s__Object))
       =>
       (((s__instance(V__DROP,s__Falling) &
             s__origin(V__DROP,V__START)
           &
           s__destination(V__DROP,V__FINISH))
       =>
       (s__orientation(V__FINISH,V__START,s__Below)))))
)
)

Merge.kif 11060-11065
No TPTP formula. May not be expressible in strict first order. Cars.kif 1731-1747
( ! [V__O,V__EV,V__A] :
   (((s__instance(V__O,s__Object) &
         s__instance(V__A,s__Organization))
       =>
       (((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__TA,s__Organization) &
               (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 2607-2623
( ! [V__O,V__EV,V__A] :
   (((s__instance(V__O,s__Object) &
         s__instance(V__A,s__Organization))
       =>
       (((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__MA,s__Organization) &
               (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 2553-2567
( ! [V__O,V__EV,V__A] :
   (((s__instance(V__O,s__Object) &
         s__instance(V__A,s__Organization))
       =>
       (((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__TA,s__Organization) &
               (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 2534-2549
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2496-2510
( ! [V__EV,V__OR,V__D] :
   ((s__instance(V__OR,s__Object) =>
       (((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 2481-2491
No TPTP formula. May not be expressible in strict first order. Economy.kif 2415-2422
( ! [V__EXPORT,V__ITEM,V__AREA2,V__AREA1] :
   (((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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [V__Object,V__Seller,V__Money,V__Purchase,V__Buyer] :
   (((s__instance(V__Object,s__Physical) &
         s__instance(V__Seller,s__Object) &
         s__instance(V__Money,s__CurrencyMeasure) &
         s__instance(V__Purchase,s__Process) &
         s__instance(V__Buyer,s__Agent))
       =>
       (((s__agent(V__Purchase,V__Buyer)
           &
           s__origin(V__Purchase,V__Seller)
         &
         s__patient(V__Purchase,V__Object)
       &
       s__monetaryValue(V__Object,V__Money))
   =>
   (( ? [V__Payment] :
       ((s__subProcess(V__Payment,V__Purchase)
         &
         s__instance(V__Payment,s__Payment) &
         s__transactionAmount(V__Payment,V__Money)
       &
       s__origin(V__Payment,V__Buyer)
     &
     s__destination(V__Payment,V__Seller))))))))
)
)

FinancialOntology.kif 463-475
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 18705-18726
( ! [V__Lender,V__Period,V__Loan,V__Interest,V__Borrower] :
   (((s__instance(V__Lender,s__CognitiveAgent) &
         s__instance(V__Period,s__TimeInterval) &
         s__instance(V__Loan,s__Loan) &
         s__instance(V__Interest,s__Interest) &
         s__instance(V__Borrower,s__CognitiveAgent))
       =>
       (((s__borrower(V__Loan,V__Borrower)
           &
           s__lender(V__Loan,V__Lender)
         &
         s__agreementPeriod(V__Loan,V__Period)
       &
       s__interestEarned(V__Loan,V__Interest,V__Period))
   =>
   (( ? [V__Payment] :
       ((s__instance(V__Payment,s__FinancialTransaction) &
           (s__origin(V__Payment,V__Borrower)
           &
           s__transactionAmount(V__Payment,V__Interest)
         &
         s__destination(V__Payment,V__Lender)))))))))
)
)

FinancialOntology.kif 1215-1225
( ! [V__AGENT,V__CUST,V__ITEM] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__CUST,s__CognitiveAgent))
       =>
       (((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 28109-28118
( ! [V__AGENT,V__CUST,V__ITEM] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__CUST,s__CognitiveAgent))
       =>
       (((s__buys(V__CUST,V__AGENT,V__ITEM)
           &
           s__instance(V__ITEM,s__Proposition))
         =>
         (( ? [V__TRANS, V__PROC] :
             ((s__instance(V__PROC,s__Process) &
                 (s__agent(V__TRANS,V__CUST)
                 &
                 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 28120-28130
( ! [V__COD,V__C] :
   (((s__subclass(V__COD,s__Process) &
         s__instance(V__C,s__Computer))
       =>
       (((s__connectedPeripheral(V__COD,V__C)
           &
           s__instance(V__COD,s__ComputerInputDevice))
         =>
         (s__capability(V__COD,s__origin__m,s__DataTransfer)))))
   )
)

ComputingBrands.kif 3524-3528
( ! [V__AGENT,V__CUST,V__X,V__LUGGAGE] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__CUST,s__CognitiveAgent) &
         s__instance(V__X,s__CognitiveAgent))
       =>
       (((s__customer(V__CUST,V__AGENT)
           &
           s__employs(V__AGENT,V__X)
         &
         s__attribute(V__AGENT,s__TravelerAccommodation) &
         s__attribute(V__X,s__Porter) &
         s__possesses(V__CUST,V__LUGGAGE)
       &
       s__instance(V__LUGGAGE,s__TravelContainer))
     =>
     (( ? [V__ROOM, V__CARRY] :
         ((s__instance(V__ROOM,s__HotelUnit) &
             s__instance(V__CARRY,s__Carrying) &
             s__agent(V__CARRY,V__X)
           &
           (s__destination(V__CARRY,V__ROOM)
           |
           s__origin(V__CARRY,V__ROOM)))))))))
)
)

Hotel.kif 2352-2367
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 151-167
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1957-1966
( ! [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 2098-2111
( ! [V__ARTERY,V__BLOOD,V__TRANSFER] :
   (((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 9766-9776
( ! [V__Period,V__Agent,V__Interest,V__Account,V__Organization] :
   (((s__instance(V__Period,s__TimeInterval) &
         s__instance(V__Agent,s__CognitiveAgent) &
         s__instance(V__Interest,s__Interest) &
         s__instance(V__Organization,s__FinancialOrganization))
       =>
       (((s__instance(V__Account,s__CreditAccount) &
             s__accountAt(V__Account,V__Organization)
           &
           s__accountHolder(V__Account,V__Agent)
         &
         s__interestEarned(V__Account,V__Interest,V__Period))
     =>
     (( ? [V__Payment] :
         ((s__instance(V__Payment,s__FinancialTransaction) &
             (s__origin(V__Payment,V__Agent)
             &
             s__transactionAmount(V__Payment,V__Interest)
           &
           s__destination(V__Payment,V__Organization)))))))))
)
)

FinancialOntology.kif 1166-1176
( ! [V__Period,V__Total,V__BondHolder,V__Date,V__Bond,V__Interest,V__Principal] :
   (((s__instance(V__Period,s__TimeInterval) &
         s__instance(V__Total,s__Number) &
         s__instance(V__Total,s__CurrencyMeasure) &
         s__instance(V__BondHolder,s__Agent) &
         s__instance(V__Date,s__Day) &
         s__instance(V__Interest,s__Interest) &
         s__instance(V__Interest,s__Number) &
         s__instance(V__Principal,s__Number) &
         s__instance(V__Principal,s__CurrencyMeasure))
       =>
       (((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__AccountFn(V__Bond))
&
s__transactionAmount(V__Payment,V__Total))))))))
)
)

FinancialOntology.kif 2282-2296
( ! [V__O,V__EV,V__A] :
   (((s__instance(V__O,s__Object) &
         s__instance(V__A,s__Organization))
       =>
       (((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__TA,s__Organization) &
               (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 2607-2623
( ! [V__EV,V__OR,V__D] :
   ((s__instance(V__OR,s__Object) =>
       (((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 2481-2491
( ! [V__C,V__F,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 1051-1068
( ! [V__P,V__G] :
   (((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__AGENT,V__GIVE] :
   ((s__instance(V__AGENT,s__Agent) =>
       (((s__instance(V__GIVE,s__Giving) &
             s__agent(V__GIVE,V__AGENT))
         =>
         (s__origin(V__GIVE,V__AGENT)))))
)
)

Merge.kif 11160-11164
( ! [V__AGENT2,V__OBJ,V__AGENT1,V__GIVE] :
   ((s__instance(V__AGENT1,s__Agent) =>
       (((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 11146-11158
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15556-15572
( ! [V__AGENT,V__P,V__CUST,V__FOOD] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__CUST,s__Agent))
       =>
       (((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__instance(V__LOC,s__Object) &
             (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 564-581
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14807-14821
( ! [V__PLUG,V__OUTLET,V__DEVICE,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 24076-24089

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