EndFn |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3226-3247 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17111-17116 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11678-11688 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12621-12632 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2438-2445 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12658-12672 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14001-14009 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10983-10996 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2597-2607 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2609-2617 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17170-17190 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20002-20014 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6997-7014 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2488-2501 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12430-12437 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5502-5517 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18098-18105 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12799-12804 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13975-13988 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2447-2454 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2421-2430 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2432-2445 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17584-17599 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 191-200 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10762-10770 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |