not |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 163-183 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1986-1995 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 809-822 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11836-11843 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4523-4528 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1920-1929 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1964-1972 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 2622-2630 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2763-2776 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3464-3472 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26961-26987 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3907-3914 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3735-3756 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4638-4652 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9615-9621 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3406-3411 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 206-221 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 189-204 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5117-5128 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1314-1326 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30243-30254 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9656-9663 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6201-6209 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16943-16951 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3496-3501 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |