modalAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1986-1995 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 698-715 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1766-1776 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1748-1758 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1602-1610 |
|
No TPTP formula. May not be expressible in strict first order. | Sports.kif 796-805 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 295-303 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25304-25314 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1706-1716 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1793-1803 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1776-1786 |
|
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. | Merge.kif 17334-17338 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 276-289 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1314-1326 |
|
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. | Catalog.kif 354-370 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 372-387 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1890-1900 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |