greaterThan |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13831-13840 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13842-13851 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8712-8719 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8721-8726 | |
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 11104-11114 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14623-14637 |
|
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 |