No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2956-2983 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2999-3026 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3282-3302 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5997-6017 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4241-4267 |
|
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 22831-22848 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23639-23656 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1453-1470 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23676-23693 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1493-1510 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24644-24654 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16174-16177 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9790-9796 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1270-1284 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1254-1268 |
|