result |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18084-18092 |
|
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 3155-3165 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12092-12106 |
|
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 14287-14292 |
|
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 12514-12520 |
|
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 14254-14259 |
|
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 |