greaterThanOrEqualTo

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


No TPTP formula. May not be expressible in strict first order. Government.kif 990-1001
No TPTP formula. May not be expressible in strict first order. Government.kif 1882-1892
No TPTP formula. May not be expressible in strict first order. Weather.kif 2365-2384
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1497-1502
No TPTP formula. May not be expressible in strict first order. Economy.kif 4962-4968
No TPTP formula. May not be expressible in strict first order. Food.kif 2993-3011
No TPTP formula. May not be expressible in strict first order. Food.kif 3018-3036
No TPTP formula. May not be expressible in strict first order. Food.kif 2851-2869
No TPTP formula. May not be expressible in strict first order. Transportation.kif 427-433
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1029-1033
No TPTP formula. May not be expressible in strict first order. Weather.kif 2096-2114
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3838-3852
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3815-3827
No TPTP formula. May not be expressible in strict first order. Transportation.kif 587-592
No TPTP formula. May not be expressible in strict first order. Weather.kif 349-366
No TPTP formula. May not be expressible in strict first order. Economy.kif 456-463
No TPTP formula. May not be expressible in strict first order. Economy.kif 481-488
No TPTP formula. May not be expressible in strict first order. Merge.kif 13895-13899
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22679-22683
No TPTP formula. May not be expressible in strict first order. Military.kif 852-860
No TPTP formula. May not be expressible in strict first order. Military.kif 840-850
No TPTP formula. May not be expressible in strict first order. Media.kif 2174-2187
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2925-2940
No TPTP formula. May not be expressible in strict first order. Government.kif 2074-2078
No TPTP formula. May not be expressible in strict first order. Weather.kif 2130-2143

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