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 3979-3981
(documentation hasSkill JapaneseLanguage "ある程度まで実践/実証される能力の追加の制限を伴った capability Predicateと同様である。") japanese_format.kif 752-753
(domain hasSkill 2 AutonomousAgent) Merge.kif 3977-3977 有技能 的 2 数量 是 施事体instance
(domainSubclass hasSkill 1 Process) Merge.kif 3976-3976 有技能 的 1 数量 是 过程subclass
(instance hasSkill BinaryPredicate) Merge.kif 3975-3975 有技能二元谓语instance

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
(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 JapaneseLanguage hasSkill "%2 は %1 をする skill が %n{ない}") japanese_format.kif 1908-1908
(format PortugueseLanguage hasSkill "%2 tem %n a capacidade de fazer %1") portuguese_format.kif 33-33
(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 ro hasSkill "%2 %n{nu} are skill%t{calificarea} sã facã %1") relations-ro.kif 100-100
(format sv hasSkill "%2 har &n färdigheten att %1") relations-sv.txt 80-80
(format tg hasSkill "%2 &n may ang pagsanay sa %1") relations-tg.txt 258-258
(termFormat ChineseLanguage hasSkill "有技巧") domainEnglishFormat.kif 27586-27586
(termFormat ChineseLanguage hasSkill "有技能") chinese_format.kif 120-120
(termFormat ChineseTraditionalLanguage hasSkill "有技巧") domainEnglishFormat.kif 27585-27585
(termFormat EnglishLanguage hasSkill "has skill") domainEnglishFormat.kif 27584-27584
(termFormat de hasSkill "hatFaehigkeit") terms-de.txt 41-41
(termFormat tg hasSkill "may pagsanay") relations-tg.txt 259-259

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


(=>
    (hasSkill ?PROC ?AGENT)
    (capability ?PROC agent ?AGENT))
Merge.kif 3983-3985

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


(<=>
    (attribute ?H LiteracyAttribute)
    (and
        (hasSkill Reading ?H)
        (hasSkill Writing ?H)))
Mid-level-ontology.kif 16381-16385 识字属性 施事体attribute 若且唯若 那个 施事体 hasSkill 去做 朗读那个 施事体 hasSkill 去做 写作
(=>
    (and
        (attribute ?ATHLETE ?PA)
        (instance ?PA ProfessionalAthlete))
    (hasSkill Sport ?ATHLETE))
Sports.kif 1371-1375
(=>
    (and
        (attribute ?H ?ATHLETE)
        (instance ?ATHLETE Athlete))
    (hasSkill Sport ?ATHLETE))
Sports.kif 93-97
(=>
    (and
        (attribute ?X ?M)
        (instance ?M Musician))
    (hasSkill MusicalPerformance ?X))
Mid-level-ontology.kif 23842-23846
(=>
    (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 634-638
(=>
    (attribute ?ASTRONAUT Astronaut)
    (hasSkill SpaceTransportation ?ASTRONAUT))
Biography.kif 643-645
(=>
    (attribute ?ATHLETE BaseballPlayer)
    (hasSkill Baseball ?ATHLETE))
Sports.kif 404-406
(=>
    (attribute ?ATHLETE BasketballPlayer)
    (hasSkill Basketball ?ATHLETE))
Sports.kif 408-410
(=>
    (attribute ?ATHLETE Boxer)
    (hasSkill Boxing ?ATHLETE))
Sports.kif 412-414
(=>
    (attribute ?ATHLETE CarRacingDriver)
    (hasSkill CarRacing ?ATHLETE))
Sports.kif 436-438
(=>
    (attribute ?ATHLETE FigureSkater)
    (hasSkill FigureSkating ?ATHLETE))
Sports.kif 416-418
(=>
    (attribute ?ATHLETE FootballerSoccer)
    (hasSkill Soccer ?ATHLETE))
Sports.kif 424-426
(=>
    (attribute ?ATHLETE FootballerUS)
    (hasSkill Football ?ATHLETE))
Sports.kif 420-422
(=>
    (attribute ?ATHLETE Golfer)
    (hasSkill Golf ?ATHLETE))
Sports.kif 428-430
(=>
    (attribute ?ATHLETE Gymnast)
    (hasSkill Gymnastics ?ATHLETE))
Sports.kif 432-434
(=>
    (attribute ?ATHLETE MarksmanProfessional)
    (hasSkill ShootingSport ?ATHLETE))
Sports.kif 440-442
(=>
    (attribute ?ATHLETE MotorcycleRider)
    (hasSkill MotorcycleRacing ?ATHLETE))
Sports.kif 444-446
(=>
    (attribute ?ATHLETE RockClimber)
    (hasSkill RockClimbing ?ATHLETE))
Sports.kif 510-512
(=>
    (attribute ?ATHLETE Swimmer)
    (hasSkill SwimmingSport ?ATHLETE))
Sports.kif 448-450
(=>
    (attribute ?ATHLETE TennisProfessional)
    (hasSkill Tennis ?ATHLETE))
Sports.kif 1391-1393
(=>
    (attribute ?ATHLETE Wrestler)
    (hasSkill Wrestling ?ATHLETE))
Sports.kif 452-454
(=>
    (attribute ?P Carpenter)
    (hasSkill Carpentry ?P))
Mid-level-ontology.kif 22409-22411
(=>
    (attribute ?P PoliceOfficer)
    (hasSkill PlacingUnderArrest ?P))
Mid-level-ontology.kif 22553-22555
(=>
    (attribute ?PERSON Actor)
    (hasSkill DramaticActing ?PERSON))
Mid-level-ontology.kif 20388-20390

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