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 但有额外的限制, 就是这个能力是可以用某种可量度的程度实践/ 演示出来。") chinese_format.kif 2101-2102
(documentation hasSkill EnglishLanguage "Similar to the capability Predicate with the additional restriction that the ability be practised/ demonstrated to some measurable degree.") Merge.kif 3933-3935
(domain hasSkill 2 AutonomousAgent) Merge.kif 3931-3931
(domainSubclass hasSkill 1 Process) Merge.kif 3930-3930
(instance hasSkill AsymmetricRelation) Merge.kif 3929-3929
(instance hasSkill BinaryPredicate) Merge.kif 3928-3928

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


(format ChineseLanguage hasSkill "%2 %n hasSkill 去做 %1") chinese_format.kif 119-119
(format EnglishLanguage hasSkill "%2 %p{has} %n{does not have} the skill to do %1") english_format.kif 119-120
(termFormat ChineseLanguage hasSkill "有技巧") domainEnglishFormat.kif 27548-27548
(termFormat ChineseLanguage hasSkill "有技能") chinese_format.kif 120-120
(termFormat ChineseTraditionalLanguage hasSkill "有技巧") domainEnglishFormat.kif 27547-27547
(termFormat EnglishLanguage hasSkill "has skill") domainEnglishFormat.kif 27546-27546

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


(=>
    (hasSkill ?PROC ?AGENT)
    (capability ?PROC agent ?AGENT))
Merge.kif 3937-3939

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


(<=>
    (attribute ?H LiteracyAttribute)
    (and
        (hasSkill Reading ?H)
        (hasSkill Writing ?H)))
Mid-level-ontology.kif 14846-14850
(=>
    (and
        (attribute ?ATHLETE ?PA)
        (instance ?PA ProfessionalAthlete))
    (hasSkill Sport ?ATHLETE))
Sports.kif 1357-1361
(=>
    (and
        (attribute ?X ?M)
        (instance ?M Musician))
    (hasSkill MusicalPerformance ?X))
Mid-level-ontology.kif 22141-22145
(=>
    (and
        (instance ?H Man)
        (attribute ?H Mausaharati))
    (hasSkill Drumming ?H))
ArabicCulture.kif 59-63
(=>
    (and
        (instance ?PILOT Human)
        (attribute ?PILOT Pilot))
    (hasSkill FlyingAircraft ?PILOT))
Biography.kif 402-406
(=>
    (attribute ?ASTRONAUT Astronaut)
    (hasSkill SpaceTransportation ?ASTRONAUT))
Biography.kif 411-413
(=>
    (attribute ?ATHLETE BaseballPlayer)
    (hasSkill Baseball ?ATHLETE))
Sports.kif 391-393
(=>
    (attribute ?ATHLETE BasketballPlayer)
    (hasSkill Basketball ?ATHLETE))
Sports.kif 395-397
(=>
    (attribute ?ATHLETE Boxer)
    (hasSkill Boxing ?ATHLETE))
Sports.kif 399-401
(=>
    (attribute ?ATHLETE CarRacingDriver)
    (hasSkill CarRacing ?ATHLETE))
Sports.kif 423-425
(=>
    (attribute ?ATHLETE FigureSkater)
    (hasSkill FigureSkating ?ATHLETE))
Sports.kif 403-405
(=>
    (attribute ?ATHLETE FootballerSoccer)
    (hasSkill Soccer ?ATHLETE))
Sports.kif 411-413
(=>
    (attribute ?ATHLETE FootballerUS)
    (hasSkill Football ?ATHLETE))
Sports.kif 407-409
(=>
    (attribute ?ATHLETE Golfer)
    (hasSkill Golf ?ATHLETE))
Sports.kif 415-417
(=>
    (attribute ?ATHLETE Gymnast)
    (hasSkill Gymnastics ?ATHLETE))
Sports.kif 419-421
(=>
    (attribute ?ATHLETE MarksmanProfessional)
    (hasSkill ShootingSport ?ATHLETE))
Sports.kif 427-429
(=>
    (attribute ?ATHLETE MotorcycleRider)
    (hasSkill MotorcycleRacing ?ATHLETE))
Sports.kif 431-433
(=>
    (attribute ?ATHLETE RockClimber)
    (hasSkill RockClimbing ?ATHLETE))
Sports.kif 497-499
(=>
    (attribute ?ATHLETE Swimmer)
    (hasSkill SwimmingSport ?ATHLETE))
Sports.kif 435-437
(=>
    (attribute ?ATHLETE TennisProfessional)
    (hasSkill Tennis ?ATHLETE))
Sports.kif 1377-1379
(=>
    (attribute ?ATHLETE Wrestler)
    (hasSkill Wrestling ?ATHLETE))
Sports.kif 439-441
(=>
    (attribute ?P Carpenter)
    (hasSkill Carpentry ?P))
Mid-level-ontology.kif 20566-20568
(=>
    (attribute ?P PoliceOfficer)
    (hasSkill PlacingUnderArrest ?P))
Mid-level-ontology.kif 20710-20712
(=>
    (attribute ?PERSON Actor)
    (hasSkill DramaticActing ?PERSON))
Mid-level-ontology.kif 18591-18593
(=>
    (attribute ?PERSON Cellist)
    (hasSkill
        (PlayingInstrumentFn Cello) ?PERSON))
Music.kif 1412-1415

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 3.0 is open source software produced by Articulate Software and its partners