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 |