hasSkill

-------------------------


(=>
    (attribute ?PERSON ChessPlayer)
    (hasSkill Chess ?PERSON))
Sports.kif 448-450
(=>
    (attribute ?PERSON Composer)
    (hasSkill ComposingMusic ?PERSON))
Music.kif 1384-1386
(=>
    (attribute ?PERSON Dancer)
    (hasSkill Dancing ?PERSON))
Biography.kif 673-675
(=>
    (attribute ?PERSON DartsPlayer)
    (hasSkill Darts ?PERSON))
Sports.kif 478-480
(=>
    (attribute ?PERSON Designer)
    (hasSkill Designing ?PERSON))
Biography.kif 680-682
(=>
    (attribute ?PERSON Draftsman)
    (hasSkill Drawing ?PERSON))
Biography.kif 687-689
(=>
    (attribute ?PERSON Drummer)
    (hasSkill
        (PlayingInstrumentFn Drum) ?PERSON))
Music.kif 1430-1433
(=>
    (attribute ?PERSON GoPlayer)
    (hasSkill GoGame ?PERSON))
Sports.kif 483-485
(=>
    (attribute ?PERSON Guitarist)
    (hasSkill
        (PlayingInstrumentFn Guitar) ?PERSON))
Music.kif 1407-1410
(=>
    (attribute ?PERSON Painter)
    (hasSkill ArtPainting ?PERSON))
Biography.kif 694-696
(=>
    (attribute ?PERSON Photographer)
    (hasSkill Photographing ?PERSON))
Biography.kif 650-652
(=>
    (attribute ?PERSON Pianist)
    (hasSkill
        (PlayingInstrumentFn Piano) ?PERSON))
Music.kif 1391-1394
(=>
    (attribute ?PERSON PokerPlayer)
    (hasSkill Poker ?PERSON))
Sports.kif 487-489
(=>
    (attribute ?PERSON RadioOperator)
    (hasSkill
        (OperatingFn CommunicationRadio) ?PERSON))
Transportation.kif 3283-3285
(=>
    (attribute ?PERSON Saxophonist)
    (hasSkill
        (PlayingInstrumentFn Saxophone) ?PERSON))
Music.kif 1422-1425
(=>
    (attribute ?PERSON Sculptor)
    (hasSkill Sculpting ?PERSON))
Biography.kif 701-703
(=>
    (attribute ?PERSON SnookerPlayer)
    (hasSkill Snooker ?PERSON))
Sports.kif 491-493
(=>
    (attribute ?PERSON SoloSinger)
    (hasSkill Singing ?PERSON))
Music.kif 1438-1440
(=>
    (attribute ?PERSON Tailor)
    (hasSkill Sewing ?PERSON))
Biography.kif 657-659
(=>
    (attribute ?PERSON Violinist)
    (hasSkill
        (PlayingInstrumentFn Violin) ?PERSON))
Music.kif 1399-1402
(=>
    (attribute ?PERSON Writer)
    (hasSkill Writing ?PERSON))
Biography.kif 713-715
(=>
    (attribute ?PERSON Writer)
    (hasSkill WrittenCommunication ?PERSON))
Biography.kif 709-711
(=>
    (attribute ?T Teacher)
    (hasSkill EducationalProcess ?T))
Mid-level-ontology.kif 18912-18914
(=>
    (attribute ?X AeronauticalEngineer)
    (exists (?SKILL)
        (and
            (hasSkill ?SKILL ?X)
            (forall (?P)
                (=>
                    (instance ?P ?SKILL)
                    (or
                        (exists (?CONS ?OBJ ?PT)
                            (and
                                (instance ?CONS Making)
                                (or
                                    (instance ?OBJ Aircraft)
                                    (and
                                        (instance ?OBJ ?PT)
                                        (typicalPart ?PT Aircraft)))
                                (result ?CONS ?OBJ)
                                (subProcess ?P ?CONS)))
                        (exists (?DESIGN ?PLAN ?OBJ ?PT)
                            (and
                                (instance ?DESIGN Designing)
                                (or
                                    (instance ?OBJ Aircraft)
                                    (and
                                        (instance ?OBJ ?PT)
                                        (typicalPart ?PT Aircraft)))
                                (result ?DESIGN ?PLAN)
                                (represents ?PLAN ?OBJ)
                                (subProcess ?P ?DESIGN)))))))))
Biography.kif 436-465
(=>
    (instance ?GRP MarchingBand)
    (exists (?P)
        (and
            (hasSkill MakingInstrumentalMusic ?P)
            (member ?P ?GRP))))
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