( ! [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 |
