No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31091-31096 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31098-31103 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2782-2795 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2823-2836 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13365-13374 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13349-13357 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1662-1674 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1235-1247 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1155-1167 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1900-1912 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1189-1201 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1860-1872 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1788-1800 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1744-1756 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1542-1554 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6017-6036 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 121-138 |
|