Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
hasSkill
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 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 simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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