Possibility(possibility) |
No TPTP formula. May not be expressible in strict first order. | Media.kif 768-788 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7380-7392 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7352-7363 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25332-25345 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 479-490 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 109-119 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 51-62 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 64-76 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1890-1900 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14148-14162 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 317-332 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 954-967 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15151-15163 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15123-15132 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2698-2714 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3918-3924 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 790-800 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1939-1945 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14369-14374 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5876-5885 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20567-20577 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17322-17344 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1161-1165 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1167-1172 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9586-9597 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |