  destination
|
|
Sigma KEE - destination
|
appearance as argument number 1
|
|
|
| s__documentation(s__destination__m,s__ChineseLanguage,'"(destination ?PROCESS ?GOAL) 的意思是 ?GOAL 是 ?PROCESS 过程的目标或目的。例如：在以下鲍勃去了丹伯里这命题中，鲍勃会是终点。注：这是一个 非常概括的 CaseRole， 而特别是它包括接受者 和 受益者这两个概念，故此，在以下 汤姆给了约翰一本书这命题中，约翰会是 destination。"')
|
chinese_format.kif 1868-1871 |
|
| 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 2356-2362 |
|
| s__domain(s__destination__m,n__1,s__Process)
|
Merge.kif 2352-2352 |
The number 1 argument of destination is an instance of process |
| s__domain(s__destination__m,n__2,s__Entity)
|
Merge.kif 2353-2353 |
The number 2 argument of destination is an instance of entity |
| s__instance(s__destination__m,s__CaseRole)
s__instance(s__CaseRole,s__SetOrClass)
|
Merge.kif 2350-2350 |
destination is an instance of case role |
| s__instance(s__destination__m,s__PartialValuedRelation)
s__instance(s__PartialValuedRelation,s__SetOrClass)
|
Merge.kif 2351-2351 |
destination is an instance of partial valued relation |
| s__subrelation(s__destination__m,s__involvedInEvent__m)
|
Merge.kif 2354-2354 |
destination is a subrelation of involved in event |
|
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} end%p{s} up at %2"')
|
english_format.kif 93-93 |
|
| s__termFormat(s__ChineseLanguage,s__destination__m,'"目的地"')
|
domainEnglishFormat.kif 19263-19263 |
|
| s__termFormat(s__ChineseLanguage,s__destination__m,'"终点"')
|
chinese_format.kif 94-94 |
|
| s__termFormat(s__ChineseTraditionalLanguage,s__destination__m,'"目的地"')
|
domainEnglishFormat.kif 19262-19262 |
|
| s__termFormat(s__EnglishLanguage,s__destination__m,'"destination"')
|
domainEnglishFormat.kif 19261-19261 |
|
|
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__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 28205-28214 |
|
| No TPTP formula. May not be expressible in strict first order. |
TransportDetail.kif 153-171 |
|
( ! [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__TELEX,V__M,V__MSG] :
(((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__instance(V__PROC,s__Process) &
(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 2599-2617 |
|
( ! [V__AGENT,V__R,V__CUST,V__X,V__RM,V__FR,V__PHYS] :
(((s__instance(V__AGENT,s__CognitiveAgent) &
s__instance(V__CUST,s__CognitiveAgent) &
s__subclass(V__FR,s__HotelFunctionRoom) &
s__instance(V__FR,s__Class) &
s__instance(V__PHYS,s__Class))
=>
(((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(n__0,s__UnitedStatesDollar),V__AGENT)))))
)
)
|
Hotel.kif 820-841 |
|
| No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 790-811 |
|
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28046-28058 |
|
( ! [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 |
|
| No TPTP formula. May not be expressible in strict first order. |
Dining.kif 725-748 |
|
( ! [V__Amount,V__MinPayment,V__U,V__Account] :
(((s__instance(V__Amount,s__RealNumber) &
s__instance(V__MinPayment,s__RealNumber))
=>
(((s__instance(V__Account,s__LiabilityAccount) &
s__minimumPayment(V__Account,s__MeasureFn(V__MinPayment,V__U)
,s__MonthDuration) &
s__instance(V__U,s__UnitOfCurrency) &
( ? [V__Payment, V__Month] :
((s__instance(V__Payment,s__Process) &
(s__instance(V__Month,s__Month) &
s__destination(V__Payment,s__CurrencyFn(V__Account))
&
s__paymentsPerPeriod(V__Account,s__MeasureFn(V__Amount,V__U)
,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 718-734 |
|
( ! [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 1248-1256 |
|
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17094-17110 |
|
| No TPTP formula. May not be expressible in strict first order. |
Cars.kif 693-707 |
|
( ! [V__AGENT,V__C,V__CUST,V__LOC2,V__LOC1] :
(((s__instance(V__AGENT,s__CognitiveAgent) &
s__instance(V__CUST,s__CognitiveAgent) &
s__instance(V__LOC1,s__Object))
=>
(((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 540-556 |
|
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11129-11139 |
|
( ! [V__AGENT,V__CONTRACT,V__CLOSE] :
(((s__instance(V__AGENT,s__Agent) &
s__instance(V__AGENT,s__Agreement) &
s__instance(V__CONTRACT,s__CognitiveAgent))
=>
(((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 19855-19860 |
|
( ! [V__Agent,V__Give,V__Check,V__Organization] :
(((s__instance(V__Agent,s__Agent) &
s__instance(V__Organization,s__CognitiveAgent))
=>
(((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 507-516 |
|
( ! [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 |
|
| No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 228-235 |
|
( ! [V__DRIVING,V__DEST,V__TRANSPORT] :
(((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 22055-22061 |
|
( ! [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 |
|
( ! [V__Amount,V__Balance2,V__Balance1,V__Deposit,V__Account] :
(((s__instance(V__Amount,s__Number) &
s__instance(V__Amount,s__CurrencyMeasure) &
s__instance(V__Balance2,s__Number) &
s__instance(V__Balance2,s__CurrencyMeasure) &
s__instance(V__Balance1,s__Number) &
s__instance(V__Balance1,s__CurrencyMeasure))
=>
(((s__instance(V__Deposit,s__Deposit) &
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-436 |
|
| | Display limited to 25 items. Show next 25 |
| | Display limited to 25 items. Show next 25 |
|
consequent
|
|
|
( ! [V__AGENT2,V__AGENT1] :
(((s__instance(V__AGENT2,s__CognitiveAgent) &
s__instance(V__AGENT1,s__CognitiveAgent))
=>
(((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)))))
&
(( ? [V__SERVICE] :
((s__instance(V__SERVICE,s__FinancialTransaction) &
s__agent(V__SERVICE,V__AGENT2)
&
s__destination(V__SERVICE,V__AGENT1))))
=>
s__customer(V__AGENT1,V__AGENT2)))))
)
)
|
Mid-level-ontology.kif 7204-7210 |
A cognitive agent is a customer of another cognitive agent if and only if there exists a process such that the process is an instance of financial transaction and the cognitive agent is an agent of the process and the process ends up at the other cognitive agent |
( ! [V__Org,V__Person2,V__Person1] :
(((s__instance(V__Org,s__Organization) &
s__instance(V__Person2,s__CognitiveAgent) &
s__instance(V__Person1,s__CognitiveAgent))
=>
(((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)))))
&
(( ? [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))))
=>
s__customerRepresentative(V__Person1,V__Person2,V__Org)))))
)
)
|
FinancialOntology.kif 3576-3583 |
A cognitive agent customer representative another cognitive agent for an organization if and only if there exists a process such that the process is an instance of financial transaction and the organization employs the cognitive agent and the cognitive agent is an agent of the process and the process ends up at the other cognitive agent |
( ! [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__Feedback,V__Send] :
((s__instance(V__Send,s__Process) =>
(((s__instance(V__Feedback,s__Feedback) =>
( ? [V__RM, V__Process, V__Program] :
((s__instance(V__RM,s__ResourceManagementProgram) &
s__instance(V__Process,s__ComputerProcess) &
s__instance(V__Program,s__SoftwareSystem) &
(s__rMProgramOf(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))))))
&
(( ? [V__RM, V__Process, V__Program] :
((s__instance(V__RM,s__ResourceManagementProgram) &
s__instance(V__Process,s__ComputerProcess) &
s__instance(V__Program,s__SoftwareSystem) &
(s__rMProgramOf(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)))))
=>
s__instance(V__Feedback,s__Feedback)))))
)
)
|
QoSontology.kif 674-682 |
An entity is an instance of feedback if and only if there exist a resource management program, a computer process and a software system such that the software system is a rM program-of of the resource management program and the software system is a program running of the computer process and a process is an instance of data transfer and the entity is a patient of the process and the process ends up at the resource management program |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15335-15344 |
|
( ! [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. |
Music.kif 405-416 |
|
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18982-19003 |
|
( ! [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 |
|
| No TPTP formula. May not be expressible in strict first order. |
TransportDetail.kif 153-171 |
|
( ! [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__ComputerOutputDevice))
=>
(s__capability(V__COD,s__destination__m,s__DataTransfer)))))
)
)
|
ComputingBrands.kif 3518-3522 |
|
( ! [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__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 |
|
( ! [V__Amount,V__Loan,V__Date] :
(((s__instance(V__Amount,s__CurrencyMeasure) &
s__instance(V__Loan,s__Loan) &
s__instance(V__Date,s__TimePoint) &
s__instance(V__Date,s__Day))
=>
(((s__downPayment(V__Loan,V__Amount)
&
s__agreementEffectiveDate(V__Loan,V__Date))
=>
(( ? [V__Payment] :
((s__instance(V__Payment,s__FinancialTransaction) &
(s__transactionAmount(V__Payment,V__Amount)
&
s__date(V__Payment,V__Date)
&
s__destination(V__Payment,s__CurrencyFn(V__Loan))))))))))
)
)
|
FinancialOntology.kif 766-774 |
|
| No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1312-1323 |
|
| No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2581-2597 |
|
| No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 151-167 |
|
( ! [V__ARTERY,V__BLOOD,V__TRANSFER] :
(((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 9979-9989 |
|
( ! [V__OFFER1,V__U,V__OFFER2,V__ITEM,V__BIDDER2,V__BIDDER1,V__AUCTIONING] :
(((s__instance(V__OFFER1,s__RealNumber) &
s__instance(V__OFFER2,s__RealNumber))
=>
(((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__instance(V__U,s__UnitOfCurrency) &
s__patient(V__AUCTIONING,V__ITEM)
&
s__bidPrice(V__ITEM,s__MeasureFn(V__OFFER1,V__U)
,V__BIDDER1)
&
s__bidPrice(V__ITEM,s__MeasureFn(V__OFFER2,V__U)
,V__BIDDER2)
&
s__greaterThan(V__OFFER1,V__OFFER2))
=>
(s__destination(V__AUCTIONING,V__BIDDER1)))))
)
)
|
UXExperimentalTerms.kif 437-448 |
|
( ! [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__Amount,V__Date,V__Balance,V__U,V__Account] :
(((s__instance(V__Amount,s__RealNumber) &
s__instance(V__Date,s__TimePoint) &
s__instance(V__Date,s__Day) &
s__instance(V__Balance,s__RealNumber))
=>
(((s__instance(V__Account,s__FinancialAccount) &
s__minimumBalance(V__Account,s__OpeningAnAccount,s__MeasureFn(V__Balance,V__U))
&
s__instance(V__U,s__UnitOfCurrency))
=>
(( ? [V__Payment] :
((s__instance(V__Payment,s__FinancialTransaction) &
(s__destination(V__Payment,s__CurrencyFn(V__Account))
&
s__transactionAmount(V__Payment,s__MeasureFn(V__Amount,V__U))
&
s__greaterThanOrEqualTo(V__Amount,V__Balance)
&
s__agreementEffectiveDate(V__Account,V__Date)
&
s__date(V__Payment,V__Date)))))))))
)
)
|
FinancialOntology.kif 646-659 |
|
( ! [V__Amount,V__Date,V__Balance,V__U,V__Account] :
(((s__instance(V__Amount,s__RealNumber) &
s__instance(V__Date,s__Day) &
s__instance(V__Balance,s__RealNumber))
=>
(((s__instance(V__Account,s__FinancialAccount) &
s__minimumBalance(V__Account,s__UsingAnAccount,s__MeasureFn(V__Balance,V__U))
&
s__instance(V__U,s__UnitOfCurrency) &
s__currentAccountBalance(V__Account,V__Date,s__MeasureFn(V__Amount,V__U))
&
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 661-674 |
|
( ! [V__Amount,V__MinPayment,V__U,V__Account] :
(((s__instance(V__Amount,s__RealNumber) &
s__instance(V__MinPayment,s__RealNumber))
=>
(((s__instance(V__Account,s__LiabilityAccount) &
s__minimumPayment(V__Account,s__MeasureFn(V__MinPayment,V__U)
,s__MonthDuration) &
s__instance(V__U,s__UnitOfCurrency) &
( ? [V__Payment, V__Month] :
((s__instance(V__Payment,s__Process) &
(s__instance(V__Month,s__Month) &
s__destination(V__Payment,s__CurrencyFn(V__Account))
&
s__paymentsPerPeriod(V__Account,s__MeasureFn(V__Amount,V__U)
,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 718-734 |
|
| | Display limited to 25 items. Show next 25 |
| | Display limited to 25 items. Show next 25 |
|
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|