greaterThan

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 2884-2902
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23916-23932
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5919-5926
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30662-30683
No TPTP formula. May not be expressible in strict first order. Economy.kif 1558-1562
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1172-1184
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25722-25737
No TPTP formula. May not be expressible in strict first order. Merge.kif 2606-2611
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9839-9861
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4848-4852
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9900-9922
No TPTP formula. May not be expressible in strict first order. Cars.kif 853-866
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17143-17164
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 211-217
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2018-2023
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1464-1474
No TPTP formula. May not be expressible in strict first order. Geography.kif 1964-1975
No TPTP formula. May not be expressible in strict first order. Weather.kif 943-949
No TPTP formula. May not be expressible in strict first order. Weather.kif 933-941
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 606-611
No TPTP formula. May not be expressible in strict first order. Cars.kif 1252-1267
No TPTP formula. May not be expressible in strict first order. Geography.kif 2873-2884
No TPTP formula. May not be expressible in strict first order. Food.kif 3124-3136
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 812-817
No TPTP formula. May not be expressible in strict first order. Medicine.kif 620-630

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