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 |