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 |