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 2388-2394
No TPTP formula. May not be expressible in strict first order. Merge.kif 2384-2384 The number 1 argument of destination is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2385-2385 The number 2 argument of destination is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2382-2382 destination is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2383-2383 destination is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2386-2386 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. Mid-level-ontology.kif 29167-29176
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 29008-29020
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. Music.kif 1249-1257
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18030-18046
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 11489-11499
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20805-20810
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 23006-23012
No TPTP formula. May not be expressible in strict first order. Merge.kif 11420-11425
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 436-453
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17441-17445
No TPTP formula. May not be expressible in strict first order. Cars.kif 1717-1733

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 7396-7402 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. 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 16271-16280
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. Music.kif 406-417
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19919-19940
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. 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 10643-10653
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. Merge.kif 11564-11575
No TPTP formula. May not be expressible in strict first order. Merge.kif 11728-11732
No TPTP formula. May not be expressible in strict first order. Merge.kif 11751-11762
No TPTP formula. May not be expressible in strict first order. Military.kif 108-122
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23006-23012
No TPTP formula. May not be expressible in strict first order. Weather.kif 1274-1295
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 340-351
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9532-9544
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2553-2568
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2500-2510

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