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. Merge.kif 2622-2624
No TPTP formula. May not be expressible in strict first order. Merge.kif 2616-2621
No TPTP formula. May not be expressible in strict first order. Merge.kif 2613-2613 The number 1 argument of origin is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2614-2614 The number 2 argument of origin is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 2611-2611 origin is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2612-2612 origin is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2615-2615 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 106-106
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. portuguese_format.kif 51-51
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 49-49
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-tg.txt 392-392
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 7517-7517 "origin" is the printable form of origin in english language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 499-499 "«يَنْشَأ في»" is the printable form of origin in ar
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 393-393 "nagsisimula" is the printable form of origin in tg

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1756-1766 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 11552-11564 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 11733-11745 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 465-476
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27514-27523
No TPTP formula. May not be expressible in strict first order. Dining.kif 130-153
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3955-3980
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1074-1087
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1181-1189
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 978-986
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1060-1069
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 1032-1044
No TPTP formula. May not be expressible in strict first order. Merge.kif 11470-11480
No TPTP formula. May not be expressible in strict first order. Dining.kif 523-528
No TPTP formula. May not be expressible in strict first order. Merge.kif 11397-11402
No TPTP formula. May not be expressible in strict first order. Cars.kif 1753-1769
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2594-2610
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2540-2554
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2521-2536
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2483-2497
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2468-2478
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 615-627
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17900-17921
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1203-1213
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27688-27697
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27699-27708
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2333-2348
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 2621-2634
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9488-9498
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1154-1164
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2264-2278
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2594-2610
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2468-2478
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 1082-1099
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 11502-11506
No TPTP formula. May not be expressible in strict first order. Merge.kif 11488-11500
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14652-14668
No TPTP formula. May not be expressible in strict first order. Dining.kif 568-585
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13901-13915
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23492-23505
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2090-2107
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1392-1409
No TPTP formula. May not be expressible in strict first order. Merge.kif 11747-11751

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