Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - hasSkill
hasSkill

appearance as argument number 1
-------------------------


(documentation hasSkill ChineseLanguage "这个是类似 capability Predicate 但有额外的限制, 就是这个能力是可以用某种可量度的程度实践/ 演示出来。") Merge.kif 4111-4112
(documentation hasSkill EnglishLanguage "Similar to the capability Predicate with the additional restriction that the ability be practised/ demonstrated to some measurable degree.") Merge.kif 4108-4110
(domain hasSkill 2 Agent) Merge.kif 4107-4107 The number 2 argument of has skill is an instance of agent
(domainSubclass hasSkill 1 Process) Merge.kif 4106-4106 The number 1 argument of has skill is a subclass of process
(instance hasSkill AsymmetricRelation) Merge.kif 4105-4105 has skill is an instance of asymmetric relation
(instance hasSkill BinaryPredicate) Merge.kif 4104-4104 has skill is an instance of binary predicate

appearance as argument number 2
-------------------------


(format ChineseLanguage hasSkill "%2 %n hasSkill 去做 %1") chinese_format.kif 119-119
(format EnglishLanguage hasSkill "%2 has %n skill to do %1") english_format.kif 86-86
(format FrenchLanguage hasSkill "%2 a %n la capacit� de faire %1") french_format.kif 81-81
(format ItalianLanguage hasSkill "%2 ha &n la capacit� di fare %1") relations-it.txt 126-126
(format PortugueseLanguage hasSkill "%2 tem %n a capacidade de fazer %1") portuguese_format.kif 33-33
(format ar hasSkill "%2 عِندَه %n مَهَارَة لِعَمَل %1") arabic_format.kif 31-31
(format cz hasSkill "%2 has %n skill to do %1") relations-cz.txt 122-122
(format de hasSkill "%2 hat die F�higkeit, zum %1 zu tun %n{nicht}") relations-de.txt 139-139
(format hi hasSkill "%2 men %1 ko karane kii dakshataa %n hai") relations-hindi.txt 166-166
(format tg hasSkill "%2 &n may ang pagsanay sa %1") relations-tg.txt 258-258
(termFormat ChineseLanguage hasSkill "有技能") chinese_format.kif 120-120 "有技能" is the printable form of has skill in ChineseLanguage
(termFormat EnglishLanguage hasSkill "has skill") domainEnglishFormat.kif 5014-5014 "has skill" is the printable form of has skill in english language
(termFormat ar hasSkill "«عِندَه مَهَارَة لِعَمَل»") arabic_format.kif 481-481 "«عِندَه مَهَارَة لِعَمَل»" is the printable form of has skill in ar
(termFormat tg hasSkill "may pagsanay") relations-tg.txt 259-259 "may pagsanay" is the printable form of has skill in tg

antecedent
-------------------------


(=>
    (hasSkill ?PROC ?AGENT)
    (capability ?PROC agent ?AGENT))
Merge.kif 4114-4116

consequent
-------------------------


(<=>
    (attribute ?H LiteracyAttribute)
    (and
        (hasSkill Reading ?H)
        (hasSkill Writing ?H)))
Mid-level-ontology.kif 12702-12706 Literacy attribute is an attribute of an agent if and only if the agent has skill to do reading and the agent has skill to do writing
(=>
    (ClassOnSportFn ?SPORT)
    (exists (?PERSON1 ?PERSON2 ?CLASS)
        (and
            (hasSkill ?SPORT ?PERSON1)
            (not
                (hasSkill ?SPORT ?PERSON2))
            (instance ?CLASS LearningClass)
            (refers ?CLASS ?SPORT))))
Offers.kif 74-81
(=>
    (and
        (attribute ?ATHLETE ?PA)
        (instance ?PA ProfessionalAthlete))
    (hasSkill Sport ?ATHLETE))
Sports.kif 1207-1211
(=>
    (and
        (attribute ?X ?M)
        (instance ?M Musician))
    (hasSkill MusicalPerformance ?X))
Mid-level-ontology.kif 19944-19948
(=>
    (and
        (instance ?PILOT Human)
        (attribute ?PILOT Pilot))
    (hasSkill FlyingAircraft ?PILOT))
Biography.kif 396-400
(=>
    (attribute ?ASTRONAUT Astronaut)
    (hasSkill SpaceTransportation ?ASTRONAUT))
Biography.kif 405-407
(=>
    (attribute ?ATHLETE BaseballPlayer)
    (hasSkill Baseball ?ATHLETE))
Sports.kif 278-280
(=>
    (attribute ?ATHLETE BasketballPlayer)
    (hasSkill Basketball ?ATHLETE))
Sports.kif 282-284
(=>
    (attribute ?ATHLETE Boxer)
    (hasSkill Boxing ?ATHLETE))
Sports.kif 286-288
(=>
    (attribute ?ATHLETE CarRacingDriver)
    (hasSkill CarRacing ?ATHLETE))
Sports.kif 310-312
(=>
    (attribute ?ATHLETE FigureSkater)
    (hasSkill FigureSkating ?ATHLETE))
Sports.kif 290-292
(=>
    (attribute ?ATHLETE FootballerSoccer)
    (hasSkill Soccer ?ATHLETE))
Sports.kif 298-300
(=>
    (attribute ?ATHLETE FootballerUS)
    (hasSkill Football ?ATHLETE))
Sports.kif 294-296
(=>
    (attribute ?ATHLETE Golfer)
    (hasSkill Golf ?ATHLETE))
Sports.kif 302-304
(=>
    (attribute ?ATHLETE Gymnast)
    (hasSkill Gymnastics ?ATHLETE))
Sports.kif 306-308
(=>
    (attribute ?ATHLETE MarksmanProfessional)
    (hasSkill ShootingSport ?ATHLETE))
Sports.kif 314-316
(=>
    (attribute ?ATHLETE MotorcycleRider)
    (hasSkill MotorcycleRacing ?ATHLETE))
Sports.kif 318-320
(=>
    (attribute ?ATHLETE RockClimber)
    (hasSkill RockClimbing ?ATHLETE))
Sports.kif 384-386
(=>
    (attribute ?ATHLETE Swimmer)
    (hasSkill SwimmingSport ?ATHLETE))
Sports.kif 322-324
(=>
    (attribute ?ATHLETE TennisProfessional)
    (hasSkill Tennis ?ATHLETE))
Sports.kif 1227-1229
(=>
    (attribute ?ATHLETE Wrestler)
    (hasSkill Wrestling ?ATHLETE))
Sports.kif 326-328
(=>
    (attribute ?H Mausaharati)
    (hasSkill Drumming ?H))
ArabicCulture.kif 53-55
(=>
    (attribute ?P Carpenter)
    (hasSkill Carpentry ?P))
Mid-level-ontology.kif 18381-18383
(=>
    (attribute ?P PoliceOfficer)
    (hasSkill PlacingUnderArrest ?P))
Mid-level-ontology.kif 18540-18542
(=>
    (attribute ?PERSON Actor)
    (hasSkill DramaticActing ?PERSON))
Mid-level-ontology.kif 16364-16366

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners