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 25333-25346 | |
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 14149-14163 |
|
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 15152-15164 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15124-15133 | |
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 14370-14375 | |
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 20568-20578 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17323-17345 |
|
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 9587-9598 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |