No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1979-1988 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 802-815 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11864-11871 |
|
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 27006-27032 |
|
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 9629-9635 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3388-3393 |
|
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 5118-5129 |
|
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 30279-30290 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9670-9677 |
|
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 16992-17000 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3496-3501 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16542-16550 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |