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
Die Zahl 2 Argument von
hatFaehigkeit
ist ein
fall
von
AutonomousAgent
%n{nicht}
(
domainSubclass
hasSkill
1
Process
)
Merge.kif 3980-3980
Die Zahl 1 Argument von
hatFaehigkeit
ist eine
teilkategorie
von
Process
%n{nicht}
(
instance
hasSkill
AsymmetricRelation
)
Merge.kif 3979-3979
hatFaehigkeit
ist ein
fall
von
AsymmetricRelation
%n{nicht}
(
instance
hasSkill
BinaryPredicate
)
Merge.kif 3978-3978
hatFaehigkeit
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
Wenn
AutonomousAgent
hat die F�higkeit, zum
** Process
zu tun %n{nicht},
dann
** AutonomousAgent
ist faehig %n{nicht}, in der Rolle
agent
** Process
zu tun
consequent
(<=>
(
attribute
?H
LiteracyAttribute
)
(
and
(
hasSkill
Reading
?H)
(
hasSkill
Writing
?H)))
Mid-level-ontology.kif 15000-15004
LiteracyAttribute
ist ein
attribut
von
AutonomousAgent
%n{nicht} genau dann wenn
** AutonomousAgent
hat die F�higkeit, zum
Reading
zu tun %n{nicht} und
** AutonomousAgent
hat die F�higkeit, zum
Writing
zu tun %n{nicht}
(=>
(
and
(
attribute
?ATHLETE ?PA)
(
instance
?PA
ProfessionalAthlete
))
(
hasSkill
Sport
?ATHLETE))
Sports.kif 1357-1361
Wenn
Attribute
ist ein
attribut
von
AutonomousAgent
%n{nicht} und
** Attribute
ist ein
fall
von
ProfessionalAthlete
%n{nicht},
dann
** AutonomousAgent
hat die F�higkeit, zum
Sport
zu tun %n{nicht}
(=>
(
and
(
attribute
?X ?M)
(
instance
?M
Musician
))
(
hasSkill
MusicalPerformance
?X))
Mid-level-ontology.kif 22193-22197
Wenn
Attribute
ist ein
attribut
von
AutonomousAgent
%n{nicht} und
** Attribute
ist ein
fall
von
Musician
%n{nicht},
dann
** AutonomousAgent
hat die F�higkeit, zum
MusicalPerformance
zu tun %n{nicht}
(=>
(
and
(
instance
?H
Man
)
(
attribute
?H
Mausaharati
))
(
hasSkill
Drumming
?H))
ArabicCulture.kif 59-63
Wenn
AutonomousAgent
ist ein
fall
von
Man
%n{nicht} und
Mausaharati
ist ein
attribut
von
** AutonomousAgent
%n{nicht},
dann
** AutonomousAgent
hat die F�higkeit, zum
Drumming
zu tun %n{nicht}
(=>
(
and
(
instance
?PILOT
Human
)
(
attribute
?PILOT
Pilot
))
(
hasSkill
FlyingAircraft
?PILOT))
Biography.kif 634-638
Wenn
AutonomousAgent
ist ein
fall
von
Human
%n{nicht} und
Pilot
ist ein
attribut
von
** AutonomousAgent
%n{nicht},
dann
** AutonomousAgent
hat die F�higkeit, zum
FlyingAircraft
zu tun %n{nicht}
(=>
(
attribute
?ASTRONAUT
Astronaut
)
(
hasSkill
SpaceTransportation
?ASTRONAUT))
Biography.kif 643-645
Wenn
Astronaut
ist ein
attribut
von
AutonomousAgent
%n{nicht},
dann
** AutonomousAgent
hat die F�higkeit, zum
SpaceTransportation
zu tun %n{nicht}
(=>
(
attribute
?ATHLETE
BaseballPlayer
)
(
hasSkill
Baseball
?ATHLETE))
Sports.kif 392-394
Wenn
BaseballPlayer
ist ein
attribut
von
AutonomousAgent
%n{nicht},
dann
** AutonomousAgent
hat die F�higkeit, zum
Baseball
zu tun %n{nicht}
(=>
(
attribute
?ATHLETE
BasketballPlayer
)
(
hasSkill
Basketball
?ATHLETE))
Sports.kif 396-398
Wenn
BasketballPlayer
ist ein
attribut
von
AutonomousAgent
%n{nicht},
dann
** AutonomousAgent
hat die F�higkeit, zum
Basketball
zu tun %n{nicht}
(=>
(
attribute
?ATHLETE
Boxer
)
(
hasSkill
Boxing
?ATHLETE))
Sports.kif 400-402
Wenn
Boxer
ist ein
attribut
von
AutonomousAgent
%n{nicht},
dann
** AutonomousAgent
hat die F�higkeit, zum
Boxing
zu tun %n{nicht}
(=>
(
attribute
?ATHLETE
CarRacingDriver
)
(
hasSkill
CarRacing
?ATHLETE))
Sports.kif 424-426
Wenn
CarRacingDriver
ist ein
attribut
von
AutonomousAgent
%n{nicht},
dann
** AutonomousAgent
hat die F�higkeit, zum
CarRacing
zu tun %n{nicht}
(=>
(
attribute
?ATHLETE
FigureSkater
)
(
hasSkill
FigureSkating
?ATHLETE))
Sports.kif 404-406
Wenn
FigureSkater
ist ein
attribut
von
AutonomousAgent
%n{nicht},
dann
** AutonomousAgent
hat die F�higkeit, zum
FigureSkating
zu tun %n{nicht}
(=>
(
attribute
?ATHLETE
FootballerSoccer
)
(
hasSkill
Soccer
?ATHLETE))
Sports.kif 412-414
Wenn
FootballerSoccer
ist ein
attribut
von
AutonomousAgent
%n{nicht},
dann
** AutonomousAgent
hat die F�higkeit, zum
Soccer
zu tun %n{nicht}
(=>
(
attribute
?ATHLETE
FootballerUS
)
(
hasSkill
Football
?ATHLETE))
Sports.kif 408-410
Wenn
FootballerUS
ist ein
attribut
von
AutonomousAgent
%n{nicht},
dann
** AutonomousAgent
hat die F�higkeit, zum
Football
zu tun %n{nicht}
(=>
(
attribute
?ATHLETE
Golfer
)
(
hasSkill
Golf
?ATHLETE))
Sports.kif 416-418
Wenn
Golfer
ist ein
attribut
von
AutonomousAgent
%n{nicht},
dann
** AutonomousAgent
hat die F�higkeit, zum
Golf
zu tun %n{nicht}
(=>
(
attribute
?ATHLETE
Gymnast
)
(
hasSkill
Gymnastics
?ATHLETE))
Sports.kif 420-422
Wenn
Gymnast
ist ein
attribut
von
AutonomousAgent
%n{nicht},
dann
** AutonomousAgent
hat die F�higkeit, zum
Gymnastics
zu tun %n{nicht}
(=>
(
attribute
?ATHLETE
MarksmanProfessional
)
(
hasSkill
ShootingSport
?ATHLETE))
Sports.kif 428-430
Wenn
MarksmanProfessional
ist ein
attribut
von
AutonomousAgent
%n{nicht},
dann
** AutonomousAgent
hat die F�higkeit, zum
ShootingSport
zu tun %n{nicht}
(=>
(
attribute
?ATHLETE
MotorcycleRider
)
(
hasSkill
MotorcycleRacing
?ATHLETE))
Sports.kif 432-434
Wenn
MotorcycleRider
ist ein
attribut
von
AutonomousAgent
%n{nicht},
dann
** AutonomousAgent
hat die F�higkeit, zum
MotorcycleRacing
zu tun %n{nicht}
(=>
(
attribute
?ATHLETE
RockClimber
)
(
hasSkill
RockClimbing
?ATHLETE))
Sports.kif 498-500
Wenn
RockClimber
ist ein
attribut
von
AutonomousAgent
%n{nicht},
dann
** AutonomousAgent
hat die F�higkeit, zum
RockClimbing
zu tun %n{nicht}
(=>
(
attribute
?ATHLETE
Swimmer
)
(
hasSkill
SwimmingSport
?ATHLETE))
Sports.kif 436-438
Wenn
Swimmer
ist ein
attribut
von
AutonomousAgent
%n{nicht},
dann
** AutonomousAgent
hat die F�higkeit, zum
SwimmingSport
zu tun %n{nicht}
(=>
(
attribute
?ATHLETE
TennisProfessional
)
(
hasSkill
Tennis
?ATHLETE))
Sports.kif 1377-1379
Wenn
TennisProfessional
ist ein
attribut
von
AutonomousAgent
%n{nicht},
dann
** AutonomousAgent
hat die F�higkeit, zum
Tennis
zu tun %n{nicht}
(=>
(
attribute
?ATHLETE
Wrestler
)
(
hasSkill
Wrestling
?ATHLETE))
Sports.kif 440-442
Wenn
Wrestler
ist ein
attribut
von
AutonomousAgent
%n{nicht},
dann
** AutonomousAgent
hat die F�higkeit, zum
Wrestling
zu tun %n{nicht}
(=>
(
attribute
?P
Carpenter
)
(
hasSkill
Carpentry
?P))
Mid-level-ontology.kif 20785-20787
Wenn
Carpenter
ist ein
attribut
von
AutonomousAgent
%n{nicht},
dann
** AutonomousAgent
hat die F�higkeit, zum
Carpentry
zu tun %n{nicht}
(=>
(
attribute
?P
PoliceOfficer
)
(
hasSkill
PlacingUnderArrest
?P))
Mid-level-ontology.kif 20929-20931
Wenn
PoliceOfficer
ist ein
attribut
von
AutonomousAgent
%n{nicht},
dann
** AutonomousAgent
hat die F�higkeit, zum
PlacingUnderArrest
zu tun %n{nicht}
(=>
(
attribute
?PERSON
Actor
)
(
hasSkill
DramaticActing
?PERSON))
Mid-level-ontology.kif 18810-18812
Wenn
Actor
ist ein
attribut
von
AutonomousAgent
%n{nicht},
dann
** AutonomousAgent
hat die F�higkeit, zum
DramaticActing
zu tun %n{nicht}
(=>
(
attribute
?PERSON
Cellist
)
(
hasSkill
(
PlayingInstrumentFn
Cello
) ?PERSON))
Music.kif 1414-1417
Wenn
Cellist
ist ein
attribut
von
AutonomousAgent
%n{nicht},
dann
** AutonomousAgent
hat die F�higkeit, zum
PlayingInstrumentFn
Cello
zu tun %n{nicht}
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