| 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 3851-3853 | |
| (domain hasSkill 2 Agent) | Merge.kif 3849-3849 | |
| (domainSubclass hasSkill 1 Process) | Merge.kif 3848-3848 | |
| (instance hasSkill AsymmetricRelation) | Merge.kif 3847-3847 | |
| (instance hasSkill BinaryPredicate) | Merge.kif 3846-3846 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage hasSkill "%2 %n hasSkill 去做 %1") | chinese_format.kif 119-119 | |
| (format EnglishLanguage hasSkill "%2 %n{does not have} the skill to do %1") | english_format.kif 119-120 | |
| (termFormat ChineseLanguage hasSkill "有技巧") | domainEnglishFormat.kif 27556-27556 | |
| (termFormat ChineseLanguage hasSkill "有技能") | chinese_format.kif 120-120 | |
| (termFormat ChineseTraditionalLanguage hasSkill "有技巧") | domainEnglishFormat.kif 27555-27555 | |
| (termFormat EnglishLanguage hasSkill "has skill") | domainEnglishFormat.kif 27554-27554 |
| antecedent |
|
|
| (=> (hasSkill ?PROC ?AGENT) (capability ?PROC agent ?AGENT)) |
Merge.kif 3855-3857 |
| consequent |
|
|
| (<=> (attribute ?H LiteracyAttribute) (and (hasSkill Reading ?H) (hasSkill Writing ?H))) |
Mid-level-ontology.kif 12729-12733 | |
| (=> (and (attribute ?ATHLETE ?PA) (instance ?PA ProfessionalAthlete)) (hasSkill Sport ?ATHLETE)) |
Sports.kif 1209-1213 | |
| (=> (and (attribute ?X ?M) (instance ?M Musician)) (hasSkill MusicalPerformance ?X)) |
Mid-level-ontology.kif 20046-20050 | |
| (=> (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 1229-1231 | |
| (=> (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 18472-18474 | |
| (=> (attribute ?P PoliceOfficer) (hasSkill PlacingUnderArrest ?P)) |
Mid-level-ontology.kif 18631-18633 | |
| (=> (attribute ?PERSON Actor) (hasSkill DramaticActing ?PERSON)) |
Mid-level-ontology.kif 16513-16515 | |
| (=> (attribute ?PERSON Cellist) (hasSkill ?PERSON (PlayingInstrumentFn Cello))) |
Music.kif 1406-1409 | |
| 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