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

Formal Language: 



KB Term:  Term intersection
English Word: 

  destination

Sigma KEE - destination
destination

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1868-1871
No TPTP formula. May not be expressible in strict first order. Merge.kif 2394-2400
No TPTP formula. May not be expressible in strict first order. Merge.kif 2390-2390 The number 1 argument of destination is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2391-2391 The number 2 argument of destination is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2388-2388 destination is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2389-2389 destination is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2392-2392 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 93-93
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19263-19263
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 94-94
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19262-19262
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19261-19261

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1829-1839 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 29191-29200
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 153-171
No TPTP formula. May not be expressible in strict first order. Dining.kif 130-150
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 2585-2603
No TPTP formula. May not be expressible in strict first order. 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 29032-29044
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3966-3991
No TPTP formula. May not be expressible in strict first order. Dining.kif 725-748
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 758-774
No TPTP formula. May not be expressible in strict first order. Music.kif 1249-1257
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18054-18070
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 540-556
No TPTP formula. May not be expressible in strict first order. Merge.kif 11495-11505
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20829-20834
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 507-516
No TPTP formula. May not be expressible in strict first order. Dining.kif 519-524
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 23030-23036
No TPTP formula. May not be expressible in strict first order. Merge.kif 11426-11431
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 436-453

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 7400-7406 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 3639-3646 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. 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 16295-16304
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 487-499
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 655-667
No TPTP formula. May not be expressible in strict first order. Music.kif 406-417
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19943-19964
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1260-1270
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 153-171
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3510-3514
No TPTP formula. May not be expressible in strict first order. Dining.kif 130-150
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2365-2380
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 806-815
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1325-1336
No TPTP formula. May not be expressible in strict first order. Cars.kif 2567-2583
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. Mid-level-ontology.kif 10647-10657
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 437-448
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1211-1221
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 686-699
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 701-714
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 758-774
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1042-1051
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1114-1123

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)

Show without tree


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