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


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners