length |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31053-31058 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2803-2816 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13431-13440 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13415-13423 |
|
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. | MilitaryDevices.kif 1967-1973 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1305-1310 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3841-3845 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3784-3788 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3815-3819 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3867-3871 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 433-440 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 758-760 |
|