resource |
No TPTP formula. May not be expressible in strict first order. | Food.kif 844-851 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 20-25 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1680-1687 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 675-684 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12557-12567 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19601-19611 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1914-1919 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5452-5459 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3547-3554 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2569-2574 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1112-1124 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20665-20672 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20402-20409 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 47-55 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3151-3161 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5377-5384 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9238-9243 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10247-10254 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16068-16076 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23614-23619 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3231-3238 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2748-2755 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6017-6036 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3099-3106 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2900-2905 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |