lessThanOrEqualTo |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2530-2532 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1275-1277 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1257-1259 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3092-3097 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3105-3112 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3133-3140 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3147-3154 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3119-3126 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 368-373 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 287-292 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2738-2740 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2723-2725 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1313-1315 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1300-1302 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1341-1343 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 205-211 |
|
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2131-2135 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8635-8637 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2786-2798 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 644-654 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 700-711 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1415-1417 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1399-1401 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1229-1231 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1212-1214 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |