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 17112-17117 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11656-11666 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12599-12610 |
|
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 12636-12650 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13979-13987 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10961-10974 | |
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 17171-17191 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20003-20015 | |
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 2492-2505 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12408-12415 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5503-5518 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18099-18106 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12777-12782 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13953-13966 |
|
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 17585-17600 | |
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 10740-10748 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |