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. chinese_format.kif 1868-1871
No TPTP formula. May not be expressible in strict first order. Merge.kif 2407-2413
No TPTP formula. May not be expressible in strict first order. Merge.kif 2403-2403 The number 1 argument of destination is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2404-2404 The number 2 argument of destination is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2401-2401 destination is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2402-2402 destination is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2405-2405 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 19262-19262
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 19261-19261
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19260-19260

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1832-1842 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 29694-29703
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 153-172
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 841-862
No TPTP formula. May not be expressible in strict first order. Hotel.kif 811-832
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29535-29547
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3965-3990
No TPTP formula. May not be expressible in strict first order. Dining.kif 772-795
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 759-775
No TPTP formula. May not be expressible in strict first order. Music.kif 1254-1262
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18460-18476
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 586-602
No TPTP formula. May not be expressible in strict first order. Merge.kif 11579-11589
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21290-21295
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 552-561
No TPTP formula. May not be expressible in strict first order. Dining.kif 564-569
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 23532-23538
No TPTP formula. May not be expressible in strict first order. Merge.kif 11510-11515
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 7686-7692 An agent is a customer of a cognitive agent if and only if there exists a process such that the process is an instance of financial transaction and the agent is an agent of the process and the process ends up at the cognitive agent
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3646-3653 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. Mid-level-ontology.kif 16694-16703
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 407-418
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20382-20404
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1261-1271
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 153-172
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3543-3548
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 2392-2407
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 807-816
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1347-1358
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 11006-11016
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 1212-1222
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 759-775
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1043-1052
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1115-1124
No TPTP formula. May not be expressible in strict first order. Merge.kif 11654-11665

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 3.0 is open source software produced by Articulate Software and its partners