not |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1632-1644 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6304-6313 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30230-30241 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1008-1019 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 983-992 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2440-2445 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2268-2277 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2332-2343 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2761-2772 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 211-217 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2200-2216 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12678-12691 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12638-12651 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 487-499 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1964-1975 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1940-1954 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1865-1870 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1858-1863 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1879-1884 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1872-1877 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 924-932 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 983-987 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14681-14690 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 43-52 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12382-12389 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |