eventLocated

-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 1532-1547
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30030-30060
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26457-26475
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26973-26999
No TPTP formula. May not be expressible in strict first order. naics.kif 8184-8197
No TPTP formula. May not be expressible in strict first order. naics.kif 8207-8225
No TPTP formula. May not be expressible in strict first order. naics.kif 8139-8150
No TPTP formula. May not be expressible in strict first order. naics.kif 8159-8175
No TPTP formula. May not be expressible in strict first order. Weather.kif 1769-1775
No TPTP formula. May not be expressible in strict first order. Merge.kif 4376-4386
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12211-12220
No TPTP formula. May not be expressible in strict first order. Weather.kif 2709-2726
No TPTP formula. May not be expressible in strict first order. Geography.kif 1831-1833
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6004-6011
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6175-6182
No TPTP formula. May not be expressible in strict first order. naics.kif 11934-11946
No TPTP formula. May not be expressible in strict first order. Biography.kif 192-198
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24256-24262
No TPTP formula. May not be expressible in strict first order. Biography.kif 208-214
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24300-24306
No TPTP formula. May not be expressible in strict first order. Geography.kif 2463-2468
No TPTP formula. May not be expressible in strict first order. Merge.kif 4127-4132
No TPTP formula. May not be expressible in strict first order. Merge.kif 4102-4107
No TPTP formula. May not be expressible in strict first order. Merge.kif 4399-4410
No TPTP formula. May not be expressible in strict first order. Merge.kif 4319-4332

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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