exists |
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 |
|