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