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 2426-2431
No TPTP formula. May not be expressible in strict first order. Merge.kif 2422-2422 The number 1 argument of origin is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2423-2423 The number 2 argument of origin is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 2420-2420 origin is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2421-2421 origin is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2424-2424 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 487-499
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29167-29176
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. Mid-level-ontology.kif 23434-23443
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 11564-11575
No TPTP formula. May not be expressible in strict first order. Merge.kif 11751-11762
No TPTP formula. May not be expressible in strict first order. Merge.kif 11489-11499
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 11420-11425
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
No TPTP formula. May not be expressible in strict first order. Economy.kif 2488-2496
No TPTP formula. May not be expressible in strict first order. Geography.kif 5459-5468
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1379-1389
No TPTP formula. May not be expressible in strict first order. Cars.kif 1070-1090
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17972-17990
No TPTP formula. May not be expressible in strict first order. Merge.kif 10906-10911

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. Mid-level-ontology.kif 19919-19940
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29347-29356
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29358-29368
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 2117-2130
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10610-10620
No TPTP formula. May not be expressible in strict first order. emotion.kif 1137-1147
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 11520-11524
No TPTP formula. May not be expressible in strict first order. Merge.kif 11506-11518
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16769-16785
No TPTP formula. May not be expressible in strict first order. Merge.kif 11577-11588
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 15981-15995
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25314-25327
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2092-2109
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6256-6268

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