Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
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 3983-3985
(
documentation
hasSkill
JapaneseLanguage
"ある程度まで実践/実証される能力の追加の制限を伴った
capability
Predicate
と同様である。")
japanese_format.kif 752-753
(
domain
hasSkill
2
AutonomousAgent
)
Merge.kif 3981-3981
域
有技巧
, 2 and
AutonomousAgent
(
domainSubclass
hasSkill
1
Process
)
Merge.kif 3980-3980
域子類
有技巧
, 1 and
Process
(
instance
hasSkill
AsymmetricRelation
)
Merge.kif 3979-3979
例
有技巧
and
AsymmetricRelation
(
instance
hasSkill
BinaryPredicate
)
Merge.kif 3978-3978
例
有技巧
and
BinaryPredicate
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 27558-27558
(
termFormat
ChineseLanguage
hasSkill
"有技能")
chinese_format.kif 120-120
(
termFormat
ChineseTraditionalLanguage
hasSkill
"有技巧")
domainEnglishFormat.kif 27557-27557
(
termFormat
EnglishLanguage
hasSkill
"has skill")
domainEnglishFormat.kif 27556-27556
(
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 3987-3989
有技巧
Process
and
AutonomousAgent
能力
Process
,
agent
and
AutonomousAgent
consequent
(<=>
(
attribute
?H
LiteracyAttribute
)
(
and
(
hasSkill
Reading
?H)
(
hasSkill
Writing
?H)))
Mid-level-ontology.kif 14999-15003
attribute
AutonomousAgent
and
識字屬性
有技巧
Reading
and
AutonomousAgent
有技巧
Writing
and
AutonomousAgent
(=>
(
and
(
attribute
?ATHLETE ?PA)
(
instance
?PA
ProfessionalAthlete
))
(
hasSkill
Sport
?ATHLETE))
Sports.kif 1358-1362
attribute
AutonomousAgent
and
Attribute
例
Attribute
and
ProfessionalAthlete
有技巧
Sport
and
AutonomousAgent
(=>
(
and
(
attribute
?X ?M)
(
instance
?M
Musician
))
(
hasSkill
MusicalPerformance
?X))
Mid-level-ontology.kif 22192-22196
attribute
AutonomousAgent
and
Attribute
例
Attribute
and
音樂家
有技巧
音樂表演
and
AutonomousAgent
(=>
(
and
(
instance
?H
Man
)
(
attribute
?H
Mausaharati
))
(
hasSkill
Drumming
?H))
ArabicCulture.kif 59-63
例
AutonomousAgent
and
人
attribute
AutonomousAgent
and
mausaharati
有技巧
鼓聲
and
AutonomousAgent
(=>
(
and
(
instance
?PILOT
Human
)
(
attribute
?PILOT
Pilot
))
(
hasSkill
FlyingAircraft
?PILOT))
Biography.kif 634-638
例
AutonomousAgent
and
Human
attribute
AutonomousAgent
and
飛行員
有技巧
FlyingAircraft
and
AutonomousAgent
(=>
(
attribute
?ASTRONAUT
Astronaut
)
(
hasSkill
SpaceTransportation
?ASTRONAUT))
Biography.kif 643-645
attribute
AutonomousAgent
and
Astronaut
有技巧
太空運輸
and
AutonomousAgent
(=>
(
attribute
?ATHLETE
BaseballPlayer
)
(
hasSkill
Baseball
?ATHLETE))
Sports.kif 392-394
attribute
AutonomousAgent
and
BaseballPlayer
有技巧
棒球
and
AutonomousAgent
(=>
(
attribute
?ATHLETE
BasketballPlayer
)
(
hasSkill
Basketball
?ATHLETE))
Sports.kif 396-398
attribute
AutonomousAgent
and
BasketballPlayer
有技巧
籃球
and
AutonomousAgent
(=>
(
attribute
?ATHLETE
Boxer
)
(
hasSkill
Boxing
?ATHLETE))
Sports.kif 400-402
attribute
AutonomousAgent
and
Boxer
有技巧
拳擊
and
AutonomousAgent
(=>
(
attribute
?ATHLETE
CarRacingDriver
)
(
hasSkill
CarRacing
?ATHLETE))
Sports.kif 424-426
attribute
AutonomousAgent
and
CarRacingDriver
有技巧
CarRacing
and
AutonomousAgent
(=>
(
attribute
?ATHLETE
FigureSkater
)
(
hasSkill
FigureSkating
?ATHLETE))
Sports.kif 404-406
attribute
AutonomousAgent
and
FigureSkater
有技巧
FigureSkating
and
AutonomousAgent
(=>
(
attribute
?ATHLETE
FootballerSoccer
)
(
hasSkill
Soccer
?ATHLETE))
Sports.kif 412-414
attribute
AutonomousAgent
and
FootballerSoccer
有技巧
英式足球比賽
and
AutonomousAgent
(=>
(
attribute
?ATHLETE
FootballerUS
)
(
hasSkill
Football
?ATHLETE))
Sports.kif 408-410
attribute
AutonomousAgent
and
FootballerUS
有技巧
足球
and
AutonomousAgent
(=>
(
attribute
?ATHLETE
Golfer
)
(
hasSkill
Golf
?ATHLETE))
Sports.kif 416-418
attribute
AutonomousAgent
and
Golfer
有技巧
高爾夫球
and
AutonomousAgent
(=>
(
attribute
?ATHLETE
Gymnast
)
(
hasSkill
Gymnastics
?ATHLETE))
Sports.kif 420-422
attribute
AutonomousAgent
and
Gymnast
有技巧
體操
and
AutonomousAgent
(=>
(
attribute
?ATHLETE
MarksmanProfessional
)
(
hasSkill
ShootingSport
?ATHLETE))
Sports.kif 428-430
attribute
AutonomousAgent
and
MarksmanProfessional
有技巧
ShootingSport
and
AutonomousAgent
(=>
(
attribute
?ATHLETE
MotorcycleRider
)
(
hasSkill
MotorcycleRacing
?ATHLETE))
Sports.kif 432-434
attribute
AutonomousAgent
and
MotorcycleRider
有技巧
MotorcycleRacing
and
AutonomousAgent
(=>
(
attribute
?ATHLETE
RockClimber
)
(
hasSkill
RockClimbing
?ATHLETE))
Sports.kif 498-500
attribute
AutonomousAgent
and
RockClimber
有技巧
RockClimbing
and
AutonomousAgent
(=>
(
attribute
?ATHLETE
Swimmer
)
(
hasSkill
SwimmingSport
?ATHLETE))
Sports.kif 436-438
attribute
AutonomousAgent
and
Swimmer
有技巧
SwimmingSport
and
AutonomousAgent
(=>
(
attribute
?ATHLETE
TennisProfessional
)
(
hasSkill
Tennis
?ATHLETE))
Sports.kif 1378-1380
attribute
AutonomousAgent
and
TennisProfessional
有技巧
Tennis
and
AutonomousAgent
(=>
(
attribute
?ATHLETE
Wrestler
)
(
hasSkill
Wrestling
?ATHLETE))
Sports.kif 440-442
attribute
AutonomousAgent
and
Wrestler
有技巧
Wrestling
and
AutonomousAgent
(=>
(
attribute
?P
Carpenter
)
(
hasSkill
Carpentry
?P))
Mid-level-ontology.kif 20784-20786
attribute
AutonomousAgent
and
木匠
有技巧
木工
and
AutonomousAgent
(=>
(
attribute
?P
PoliceOfficer
)
(
hasSkill
PlacingUnderArrest
?P))
Mid-level-ontology.kif 20928-20930
attribute
AutonomousAgent
and
警官
有技巧
被捕
and
AutonomousAgent
(=>
(
attribute
?PERSON
Actor
)
(
hasSkill
DramaticActing
?PERSON))
Mid-level-ontology.kif 18809-18811
attribute
AutonomousAgent
and
Actor
有技巧
戲劇表演
and
AutonomousAgent
(=>
(
attribute
?PERSON
Cellist
)
(
hasSkill
(
PlayingInstrumentFn
Cello
) ?PERSON))
Music.kif 1414-1417
attribute
AutonomousAgent
and
Cellist
有技巧
playing
Cello
and
AutonomousAgent
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