| 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 3902-3904 | |
| (domain hasSkill 2 Agent) | Merge.kif 3900-3900 | |
| (domainSubclass hasSkill 1 Process) | Merge.kif 3899-3899 | |
| (instance hasSkill AsymmetricRelation) | Merge.kif 3898-3898 | |
| (instance hasSkill BinaryPredicate) | Merge.kif 3897-3897 |
| 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 27549-27549 | |
| (termFormat ChineseLanguage hasSkill "有技能") | chinese_format.kif 120-120 | |
| (termFormat ChineseTraditionalLanguage hasSkill "有技巧") | domainEnglishFormat.kif 27548-27548 | |
| (termFormat EnglishLanguage hasSkill "has skill") | domainEnglishFormat.kif 27547-27547 |
| antecedent |
|
|
| (=> (hasSkill ?PROC ?AGENT) (capability ?PROC agent ?AGENT)) |
Merge.kif 3906-3908 |
| consequent |
|
|
| (<=> (attribute ?H LiteracyAttribute) (and (hasSkill Reading ?H) (hasSkill Writing ?H))) |
Mid-level-ontology.kif 14444-14448 | |
| (=> (and (attribute ?ATHLETE ?PA) (instance ?PA ProfessionalAthlete)) (hasSkill Sport ?ATHLETE)) |
Sports.kif 1285-1289 | |
| (=> (and (attribute ?X ?M) (instance ?M Musician)) (hasSkill MusicalPerformance ?X)) |
Mid-level-ontology.kif 21649-21653 | |
| (=> (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 323-325 | |
| (=> (attribute ?ATHLETE BasketballPlayer) (hasSkill Basketball ?ATHLETE)) |
Sports.kif 327-329 | |
| (=> (attribute ?ATHLETE Boxer) (hasSkill Boxing ?ATHLETE)) |
Sports.kif 331-333 | |
| (=> (attribute ?ATHLETE CarRacingDriver) (hasSkill CarRacing ?ATHLETE)) |
Sports.kif 355-357 | |
| (=> (attribute ?ATHLETE FigureSkater) (hasSkill FigureSkating ?ATHLETE)) |
Sports.kif 335-337 | |
| (=> (attribute ?ATHLETE FootballerSoccer) (hasSkill Soccer ?ATHLETE)) |
Sports.kif 343-345 | |
| (=> (attribute ?ATHLETE FootballerUS) (hasSkill Football ?ATHLETE)) |
Sports.kif 339-341 | |
| (=> (attribute ?ATHLETE Golfer) (hasSkill Golf ?ATHLETE)) |
Sports.kif 347-349 | |
| (=> (attribute ?ATHLETE Gymnast) (hasSkill Gymnastics ?ATHLETE)) |
Sports.kif 351-353 | |
| (=> (attribute ?ATHLETE MarksmanProfessional) (hasSkill ShootingSport ?ATHLETE)) |
Sports.kif 359-361 | |
| (=> (attribute ?ATHLETE MotorcycleRider) (hasSkill MotorcycleRacing ?ATHLETE)) |
Sports.kif 363-365 | |
| (=> (attribute ?ATHLETE RockClimber) (hasSkill RockClimbing ?ATHLETE)) |
Sports.kif 429-431 | |
| (=> (attribute ?ATHLETE Swimmer) (hasSkill SwimmingSport ?ATHLETE)) |
Sports.kif 367-369 | |
| (=> (attribute ?ATHLETE TennisProfessional) (hasSkill Tennis ?ATHLETE)) |
Sports.kif 1305-1307 | |
| (=> (attribute ?ATHLETE Wrestler) (hasSkill Wrestling ?ATHLETE)) |
Sports.kif 371-373 | |
| (=> (attribute ?H Mausaharati) (hasSkill Drumming ?H)) |
ArabicCulture.kif 53-55 | |
| (=> (attribute ?P Carpenter) (hasSkill Carpentry ?P)) |
Mid-level-ontology.kif 20102-20104 | |
| (=> (attribute ?P PoliceOfficer) (hasSkill PlacingUnderArrest ?P)) |
Mid-level-ontology.kif 20246-20248 | |
| (=> (attribute ?PERSON Actor) (hasSkill DramaticActing ?PERSON)) |
Mid-level-ontology.kif 18161-18163 | |
| (=> (attribute ?PERSON Cellist) (hasSkill ?PERSON (PlayingInstrumentFn Cello))) |
Music.kif 1407-1410 | |
| 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