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 10496-10506 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10478-10488 |
|