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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - origin
origin

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1879-1881
No TPTP formula. May not be expressible in strict first order. Merge.kif 2497-2502
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 503-506
No TPTP formula. May not be expressible in strict first order. Merge.kif 2493-2493 The number 1 argument of origin is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2494-2494 The number 2 argument of origin is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 2491-2491 origin is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2492-2492 origin is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2495-2495 origin 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 159-159
No TPTP formula. May not be expressible in strict first order. english_format.kif 160-160
No TPTP formula. May not be expressible in strict first order. french_format.kif 99-99
No TPTP formula. May not be expressible in strict first order. relations-it.txt 205-205
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1928-1928
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 51-51
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 84-84
No TPTP formula. May not be expressible in strict first order. relations-de.txt 194-194
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 243-243
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 118-118
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 99-99
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 392-392
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 160-160
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42590-42590
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42589-42589
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42588-42588
No TPTP formula. May not be expressible in strict first order. terms-de.txt 60-60
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 393-393

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1835-1845 A process is an instance of withdrawing from an account 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 penalizing 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. FinancialOntology.kif 489-501
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31672-31681
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. UXExperimentalTerms.kif 3759-3784
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1145-1158
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1255-1263
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1035-1043
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1117-1126
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25665-25674
No TPTP formula. May not be expressible in strict first order. Catalog.kif 337-352
No TPTP formula. May not be expressible in strict first order. Merge.kif 11881-11892
No TPTP formula. May not be expressible in strict first order. Merge.kif 12055-12066
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1089-1101
No TPTP formula. May not be expressible in strict first order. Weather.kif 881-892
No TPTP formula. May not be expressible in strict first order. Merge.kif 11806-11816
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. Merge.kif 11737-11742
No TPTP formula. May not be expressible in strict first order. Cars.kif 1724-1740
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7882-7890
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7871-7880
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2661-2677
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2607-2621
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2588-2603
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2550-2564

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. FinancialOntology.kif 489-501
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 657-669
No TPTP formula. May not be expressible in strict first order. Transportation.kif 4234-4241
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22218-22240
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1277-1287
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31855-31864
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31866-31876
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3547-3552
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2403-2418
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. ComputingBrands.kif 1990-1999
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2625-2638
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12439-12449
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1228-1238
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2350-2372
No TPTP formula. May not be expressible in strict first order. emotion.kif 1129-1139
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2661-2677
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2535-2545
No TPTP formula. May not be expressible in strict first order. Cars.kif 225-238
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 636-654
No TPTP formula. May not be expressible in strict first order. Cars.kif 1051-1068
No TPTP formula. May not be expressible in strict first order. Sports.kif 674-682
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 661-675
No TPTP formula. May not be expressible in strict first order. Transportation.kif 4180-4193
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1909-1922

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