No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 694-702 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5968-5982 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 799-817 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3629-3642 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3657-3670 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10469-10479 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10451-10461 |
|