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 |