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 2445-2450
No TPTP formula. May not be expressible in strict first order. Merge.kif 2441-2441 The number 1 argument of origin is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2442-2442 The number 2 argument of origin is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 2439-2439 origin is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2440-2440 origin is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2443-2443 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 42572-42572
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42571-42571
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42570-42570

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1832-1842 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 29694-29703
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 3965-3990
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1129-1142
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1239-1247
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1033-1041
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1115-1124
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23963-23972
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 11654-11665
No TPTP formula. May not be expressible in strict first order. Merge.kif 11828-11839
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1087-1099
No TPTP formula. May not be expressible in strict first order. Merge.kif 11579-11589
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 11510-11515
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 2627-2643
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2573-2587
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2554-2569
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2516-2530
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2501-2511
No TPTP formula. May not be expressible in strict first order. Economy.kif 2423-2430
No TPTP formula. May not be expressible in strict first order. Economy.kif 2479-2487

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 20382-20404
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1261-1271
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29878-29887
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29889-29899
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3550-3555
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2392-2407
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 2127-2140
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10973-10983
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1212-1222
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2347-2369
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 2627-2643
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2501-2511
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 661-669
No TPTP formula. May not be expressible in strict first order. Merge.kif 11610-11614
No TPTP formula. May not be expressible in strict first order. Merge.kif 11596-11608
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17194-17210
No TPTP formula. May not be expressible in strict first order. Merge.kif 11667-11678
No TPTP formula. May not be expressible in strict first order. Dining.kif 610-627

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