lessThanOrEqualTo |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 435-441 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2855-2866 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2092-2110 |
|
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. | Geography.kif 1141-1146 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1173-1178 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1109-1114 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1068-1073 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1214-1219 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 721-725 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 744-748 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 767-771 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 2210-2223 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 479-490 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 467-492 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2126-2139 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24399-24404 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1052-1060 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1040-1050 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 790-800 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1428-1443 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2051-2053 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2037-2039 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7128-7132 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2545-2547 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |