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 2391-2396
No TPTP formula. May not be expressible in strict first order. Merge.kif 2387-2387 The number 1 argument of origin is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2388-2388 The number 2 argument of origin is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 2385-2385 origin is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2386-2386 origin is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2389-2389 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
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 1767-1777 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 10986-10998 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 11148-11160 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 26013-26022
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 1083-1096
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1193-1201
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 987-995
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1069-1078
No TPTP formula. May not be expressible in strict first order. Catalog.kif 328-343
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1041-1053
No TPTP formula. May not be expressible in strict first order. Merge.kif 10911-10921
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 10842-10847
No TPTP formula. May not be expressible in strict first order. Cars.kif 1731-1747
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 615-627
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17007-17028
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1215-1225
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26193-26202
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26204-26214
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3524-3528
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2352-2367
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 1957-1966
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2098-2111
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8626-8636
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1166-1176
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2282-2296
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 1051-1068
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 10942-10946
No TPTP formula. May not be expressible in strict first order. Merge.kif 10928-10940
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13957-13973
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 13208-13222
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22160-22173

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