hasSkill |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 448-450 |
|
No TPTP formula. May not be expressible in strict first order. | Music.kif 1384-1386 |
|
No TPTP formula. May not be expressible in strict first order. | Biography.kif 673-675 |
|
No TPTP formula. May not be expressible in strict first order. | Sports.kif 478-480 |
|
No TPTP formula. May not be expressible in strict first order. | Biography.kif 680-682 |
|
No TPTP formula. May not be expressible in strict first order. | Biography.kif 687-689 |
|
No TPTP formula. May not be expressible in strict first order. | Music.kif 1430-1433 |
|
No TPTP formula. May not be expressible in strict first order. | Sports.kif 483-485 |
|
No TPTP formula. May not be expressible in strict first order. | Music.kif 1407-1410 |
|
No TPTP formula. May not be expressible in strict first order. | Biography.kif 694-696 |
|
No TPTP formula. May not be expressible in strict first order. | Biography.kif 650-652 |
|
No TPTP formula. May not be expressible in strict first order. | Music.kif 1391-1394 |
|
No TPTP formula. May not be expressible in strict first order. | Sports.kif 487-489 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3283-3285 |
|
No TPTP formula. May not be expressible in strict first order. | Music.kif 1422-1425 |
|
No TPTP formula. May not be expressible in strict first order. | Biography.kif 701-703 |
|
No TPTP formula. May not be expressible in strict first order. | Sports.kif 491-493 |
|
No TPTP formula. May not be expressible in strict first order. | Music.kif 1438-1440 |
|
No TPTP formula. May not be expressible in strict first order. | Biography.kif 657-659 |
|
No TPTP formula. May not be expressible in strict first order. | Music.kif 1399-1402 |
|
No TPTP formula. May not be expressible in strict first order. | Biography.kif 713-715 |
|
No TPTP formula. May not be expressible in strict first order. | Biography.kif 709-711 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18912-18914 |
|
No TPTP formula. May not be expressible in strict first order. | Biography.kif 436-465 |
|
No TPTP formula. May not be expressible in strict first order. | Music.kif 976-981 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |