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 2354-2360
No TPTP formula. May not be expressible in strict first order. Merge.kif 2350-2350 The number 1 argument of destination is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2351-2351 The number 2 argument of destination is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2348-2348 destination is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2349-2349 destination is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2352-2352 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 19204-19204
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 19203-19203
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19202-19202

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


No TPTP formula. May not be expressible in strict first order. 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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27994-28003
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 2572-2588
No TPTP formula. May not be expressible in strict first order. Hotel.kif 814-835
No TPTP formula. May not be expressible in strict first order. Hotel.kif 784-805
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27830-27842
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3963-3988
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 711-724
No TPTP formula. May not be expressible in strict first order. Music.kif 1248-1256
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16379-16395
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 10896-10906
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19181-19186
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 21540-21546
No TPTP formula. May not be expressible in strict first order. Merge.kif 10827-10832
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 428-436

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 7413-7419 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 3534-3541 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 10971-10983 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 11133-11145 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 14436-14445
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 463-475
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 614-626
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 18291-18312
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1202-1212
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 3534-3538
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 2338-2353
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 756-764
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1298-1309
No TPTP formula. May not be expressible in strict first order. Cars.kif 2554-2570
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 9517-9527
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 437-447
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1153-1163
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 645-655
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 657-667
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 711-724

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