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 |