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 |