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 2386-2391
No TPTP formula. May not be expressible in strict first order. Merge.kif 2382-2382 The number 1 argument of origin is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2383-2383 The number 2 argument of origin is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 2380-2380 origin is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2381-2381 origin is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2384-2384 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 163-163
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 160-160 "源头" is the printable form of origin in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42499-42499 "起源" is the printable form of origin in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42498-42498 "起源" is the printable form of origin in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42497-42497 "origin" is the printable form of origin in english language

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. Merge.kif 10830-10842 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 10992-11004 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. FinancialOntology.kif 463-475
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27949-27958
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 3961-3986
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1073-1086
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1180-1188
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 977-985
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1059-1068
No TPTP formula. May not be expressible in strict first order. Catalog.kif 322-337
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1031-1043
No TPTP formula. May not be expressible in strict first order. Merge.kif 10755-10765
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 10686-10691
No TPTP formula. May not be expressible in strict first order. Cars.kif 1712-1728
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2607-2623
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2553-2567
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2534-2549
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2496-2510
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2481-2491
No TPTP formula. May not be expressible in strict first order. Economy.kif 2415-2422
No TPTP formula. May not be expressible in strict first order. Economy.kif 2471-2479
No TPTP formula. May not be expressible in strict first order. Economy.kif 2481-2489

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 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. Mid-level-ontology.kif 18260-18281
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. Mid-level-ontology.kif 28122-28131
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28133-28143
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3545-3549
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. MilitaryPersons.kif 151-167
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1970-1979
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2616-2629
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9502-9512
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 2262-2276
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2607-2623
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2481-2491
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 1041-1058
No TPTP formula. May not be expressible in strict first order. Sports.kif 548-556
No TPTP formula. May not be expressible in strict first order. Merge.kif 10786-10790
No TPTP formula. May not be expressible in strict first order. Merge.kif 10772-10784
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14912-14928
No TPTP formula. May not be expressible in strict first order. Dining.kif 564-581
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14161-14175
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23934-23947

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners