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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - destination
destination

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2577-2580
No TPTP formula. May not be expressible in strict first order. Merge.kif 2570-2576
No TPTP formula. May not be expressible in strict first order. Merge.kif 2567-2567 The number 1 argument of destination is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2568-2568 The number 2 argument of destination is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2565-2565 destination is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2566-2566 destination is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2569-2569 destination is a subrelation of involved in event

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 93-93
No TPTP formula. May not be expressible in strict first order. english_format.kif 73-73
No TPTP formula. May not be expressible in strict first order. french_format.kif 69-69
No TPTP formula. May not be expressible in strict first order. relations-it.txt 71-71
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 21-21
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 19-19
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 105-105
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 81-81
No TPTP formula. May not be expressible in strict first order. relations-de.txt 104-104
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 112-112
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 158-158
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 94-94 "终点" is the printable form of destination in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3633-3633 "destination" is the printable form of destination in english language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 469-469 "«يَنْتَهِي في»" is the printable form of destination in ar
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 159-159 "tapusin" is the printable form of destination in tg

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Facebook.kif 710-710 The number 2 argument of automatedNotification is an instance of destination

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


No TPTP formula. May not be expressible in strict first order. 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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27514-27523
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 151-169
No TPTP formula. May not be expressible in strict first order. Dining.kif 130-153
No TPTP formula. May not be expressible in strict first order. Communications.kif 202-214
No TPTP formula. May not be expressible in strict first order. Cars.kif 2612-2625
No TPTP formula. May not be expressible in strict first order. Hotel.kif 810-831
No TPTP formula. May not be expressible in strict first order. Hotel.kif 780-801
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27350-27362
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3955-3980
No TPTP formula. May not be expressible in strict first order. Dining.kif 729-752
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 712-725
No TPTP formula. May not be expressible in strict first order. Music.kif 1270-1278
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15929-15945
No TPTP formula. May not be expressible in strict first order. Cars.kif 693-707
No TPTP formula. May not be expressible in strict first order. Dining.kif 544-560
No TPTP formula. May not be expressible in strict first order. Merge.kif 11470-11480
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18719-18724
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 171-177
No TPTP formula. May not be expressible in strict first order. Dining.kif 511-520
No TPTP formula. May not be expressible in strict first order. Dining.kif 523-528
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 228-235
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21104-21110
No TPTP formula. May not be expressible in strict first order. Merge.kif 11397-11402
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 428-437

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. Mid-level-ontology.kif 7426-7432 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
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3527-3534 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
No TPTP formula. May not be expressible in strict first order. Merge.kif 11552-11564 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
No TPTP formula. May not be expressible in strict first order. Merge.kif 11733-11745 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
No TPTP formula. May not be expressible in strict first order. 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 14148-14157
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 465-476
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 427-438
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17900-17921
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1203-1213
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 151-169
No TPTP formula. May not be expressible in strict first order. Dining.kif 130-153
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2333-2348
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 757-765
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1294-1305
No TPTP formula. May not be expressible in strict first order. Cars.kif 2594-2610
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. LinkedInDegrees.kif 86-93
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9521-9531
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 438-448
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 646-656
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 658-668
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1154-1164
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 712-725

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