lessThan

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6704-6718
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 155-166
No TPTP formula. May not be expressible in strict first order. Weather.kif 2536-2549
No TPTP formula. May not be expressible in strict first order. Weather.kif 2565-2579
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1211-1216
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1256-1261
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1303-1308
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18933-18945
No TPTP formula. May not be expressible in strict first order. Geography.kif 3517-3537
No TPTP formula. May not be expressible in strict first order. Geography.kif 2564-2570
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23268-23285
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7517-7531
No TPTP formula. May not be expressible in strict first order. Geography.kif 6467-6480
No TPTP formula. May not be expressible in strict first order. Weather.kif 543-549
No TPTP formula. May not be expressible in strict first order. Weather.kif 627-646
No TPTP formula. May not be expressible in strict first order. Geography.kif 2692-2705
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1547-1556
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21409-21415
No TPTP formula. May not be expressible in strict first order. Economy.kif 440-446
No TPTP formula. May not be expressible in strict first order. Economy.kif 463-469
No TPTP formula. May not be expressible in strict first order. Economy.kif 486-492
No TPTP formula. May not be expressible in strict first order. Dining.kif 371-382
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 871-878
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2756-2767
No TPTP formula. May not be expressible in strict first order. Geography.kif 1537-1545

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