No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1778-1792 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2630-2643 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4467-4480 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15015-15023 |
|