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

Formal Language: 



KB Term:  Term intersection
English Word: 

  origin

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 2432-2437
No TPTP formula. May not be expressible in strict first order. Merge.kif 2428-2428 The number 1 argument of origin is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2429-2429 The number 2 argument of origin is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 2426-2426 origin is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2427-2427 origin is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2430-2430 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. chinese_format.kif 160-160
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42565-42565
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42564-42564
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42563-42563

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. FinancialOntology.kif 487-499
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. Dining.kif 130-150
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. FinancialOntology.kif 1128-1141
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1238-1246
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1032-1040
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1114-1123
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23458-23467
No TPTP formula. May not be expressible in strict first order. Catalog.kif 332-347
No TPTP formula. May not be expressible in strict first order. Merge.kif 11570-11581
No TPTP formula. May not be expressible in strict first order. Merge.kif 11757-11768
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1086-1098
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. Dining.kif 519-524
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. Cars.kif 1717-1733
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2626-2642
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2572-2586
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 2515-2529
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2500-2510
No TPTP formula. May not be expressible in strict first order. Economy.kif 2422-2429
No TPTP formula. May not be expressible in strict first order. Economy.kif 2478-2486

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 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. 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. Mid-level-ontology.kif 29371-29380
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29382-29392
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3516-3520
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. MilitaryPersons.kif 151-167
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1958-1967
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2121-2134
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10614-10624
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 2341-2363
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 2626-2642
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2500-2510
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. Cars.kif 1051-1068
No TPTP formula. May not be expressible in strict first order. Sports.kif 593-601
No TPTP formula. May not be expressible in strict first order. Merge.kif 11526-11530
No TPTP formula. May not be expressible in strict first order. Merge.kif 11512-11524
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16793-16809
No TPTP formula. May not be expressible in strict first order. Merge.kif 11583-11594
No TPTP formula. May not be expressible in strict first order. Dining.kif 564-581

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