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 22832-22849 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23640-23657 |
|
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 23677-23694 |
|
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 24645-24655 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16152-16155 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9768-9774 |
|
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 |
|