( ! [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 1754-1764 |
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 10921-10933 |
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 11083-11095 |
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 27961-27970 |
|
( ! [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__SetOrClass) &
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 3961-3986 |
|
( ! [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 1073-1086 |
|
( ! [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 1180-1188 |
|
( ! [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 977-985 |
|
( ! [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 1059-1068 |
|
| No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 322-337 |
|
( ! [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 1031-1043 |
|
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10846-10856 |
|
( ! [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 10777-10782 |
|
| No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1713-1729 |
|
( ! [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 |
|
( ! [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))
=>
~(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 |
