greaterThan |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2890-2908 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23915-23931 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5918-5925 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30650-30671 |
|
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 25710-25725 |
|
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 9838-9860 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9899-9921 |
|
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 17142-17163 |
|
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 939-945 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 929-937 | |
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 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10054-10077 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |