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 1674-1681 |
|
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 12535-12545 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19602-19612 |
|
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 5453-5460 |
|
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 20666-20673 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20403-20410 |
|
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 3143-3153 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5378-5385 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9239-9244 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10248-10255 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16046-16054 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23615-23620 |
|
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 |