greaterThan |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13809-13818 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13820-13829 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8690-8697 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8699-8704 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 191-199 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 219-227 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 135-143 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 577-585 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 163-171 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 246-254 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 551-559 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 274-282 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 308-316 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 610-618 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3735-3756 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2653-2658 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 863-872 | |
No TPTP formula. May not be expressible in strict first order. | Law.kif 554-571 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11082-11092 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14624-14638 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1718-1736 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1482-1491 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 493-501 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 107-115 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 665-673 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |