result |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18083-18091 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2159-2164 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1419-1431 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3163-3173 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12114-12128 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2886-2892 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2922-2928 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1441-1451 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1477-1484 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1488-1496 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1426-1432 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2910-2916 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14286-14291 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5210-5222 |
|
No TPTP formula. May not be expressible in strict first order. | Biography.kif 742-751 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1535-1541 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1573-1580 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1812-1818 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12536-12542 | |
No TPTP formula. May not be expressible in strict first order. | Law.kif 526-540 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5629-5635 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14253-14258 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 153-160 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 121-127 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 58-65 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |