hasSkill
(=>
(
attribute
?PERSON
ChessPlayer
)
(
hasSkill
Chess
?PERSON))
Sports.kif 448-450
attribute
AutonomousAgent
and
ChessPlayer
有技巧
Chess
and
AutonomousAgent
(=>
(
attribute
?PERSON
Composer
)
(
hasSkill
ComposingMusic
?PERSON))
Music.kif 1384-1386
attribute
AutonomousAgent
and
作曲家
有技巧
譜曲
and
AutonomousAgent
(=>
(
attribute
?PERSON
Dancer
)
(
hasSkill
Dancing
?PERSON))
Biography.kif 673-675
attribute
AutonomousAgent
and
舞蹈家
有技巧
Dancing
and
AutonomousAgent
(=>
(
attribute
?PERSON
DartsPlayer
)
(
hasSkill
Darts
?PERSON))
Sports.kif 478-480
attribute
AutonomousAgent
and
DartsPlayer
有技巧
Darts
and
AutonomousAgent
(=>
(
attribute
?PERSON
Designer
)
(
hasSkill
Designing
?PERSON))
Biography.kif 680-682
attribute
AutonomousAgent
and
設計師
有技巧
設計
and
AutonomousAgent
(=>
(
attribute
?PERSON
Draftsman
)
(
hasSkill
Drawing
?PERSON))
Biography.kif 687-689
attribute
AutonomousAgent
and
製圖者
有技巧
畫畫
and
AutonomousAgent
(=>
(
attribute
?PERSON
Drummer
)
(
hasSkill
(
PlayingInstrumentFn
Drum
) ?PERSON))
Music.kif 1430-1433
attribute
AutonomousAgent
and
Drummer
有技巧
playing
鼓
and
AutonomousAgent
(=>
(
attribute
?PERSON
GoPlayer
)
(
hasSkill
GoGame
?PERSON))
Sports.kif 483-485
attribute
AutonomousAgent
and
GoPlayer
有技巧
GoGame
and
AutonomousAgent
(=>
(
attribute
?PERSON
Guitarist
)
(
hasSkill
(
PlayingInstrumentFn
Guitar
) ?PERSON))
Music.kif 1407-1410
attribute
AutonomousAgent
and
Guitarist
有技巧
playing
吉他
and
AutonomousAgent
(=>
(
attribute
?PERSON
Painter
)
(
hasSkill
ArtPainting
?PERSON))
Biography.kif 694-696
attribute
AutonomousAgent
and
畫家
有技巧
藝術繪畫
and
AutonomousAgent
(=>
(
attribute
?PERSON
Photographer
)
(
hasSkill
Photographing
?PERSON))
Biography.kif 650-652
attribute
AutonomousAgent
and
攝影師
有技巧
拍攝
and
AutonomousAgent
(=>
(
attribute
?PERSON
Pianist
)
(
hasSkill
(
PlayingInstrumentFn
Piano
) ?PERSON))
Music.kif 1391-1394
attribute
AutonomousAgent
and
Pianist
有技巧
playing
鋼琴
and
AutonomousAgent
(=>
(
attribute
?PERSON
PokerPlayer
)
(
hasSkill
Poker
?PERSON))
Sports.kif 487-489
attribute
AutonomousAgent
and
PokerPlayer
有技巧
Poker
and
AutonomousAgent
(=>
(
attribute
?PERSON
RadioOperator
)
(
hasSkill
(
OperatingFn
CommunicationRadio
) ?PERSON))
Transportation.kif 3283-3285
attribute
AutonomousAgent
and
廣播運營商
有技巧
通訊電台
的
operating
and
AutonomousAgent
(=>
(
attribute
?PERSON
Saxophonist
)
(
hasSkill
(
PlayingInstrumentFn
Saxophone
) ?PERSON))
Music.kif 1422-1425
attribute
AutonomousAgent
and
Saxophonist
有技巧
playing
Saxophone
and
AutonomousAgent
(=>
(
attribute
?PERSON
Sculptor
)
(
hasSkill
Sculpting
?PERSON))
Biography.kif 701-703
attribute
AutonomousAgent
and
Sculptor
有技巧
Sculpting
and
AutonomousAgent
(=>
(
attribute
?PERSON
SnookerPlayer
)
(
hasSkill
Snooker
?PERSON))
Sports.kif 491-493
attribute
AutonomousAgent
and
SnookerPlayer
有技巧
Snooker
and
AutonomousAgent
(=>
(
attribute
?PERSON
SoloSinger
)
(
hasSkill
Singing
?PERSON))
Music.kif 1438-1440
attribute
AutonomousAgent
and
SoloSinger
有技巧
唱歌
and
AutonomousAgent
(=>
(
attribute
?PERSON
Tailor
)
(
hasSkill
Sewing
?PERSON))
Biography.kif 657-659
attribute
AutonomousAgent
and
裁縫
有技巧
針線活
and
AutonomousAgent
(=>
(
attribute
?PERSON
Violinist
)
(
hasSkill
(
PlayingInstrumentFn
Violin
) ?PERSON))
Music.kif 1399-1402
attribute
AutonomousAgent
and
Violinist
有技巧
playing
小提琴
and
AutonomousAgent
(=>
(
attribute
?PERSON
Writer
)
(
hasSkill
Writing
?PERSON))
Biography.kif 713-715
attribute
AutonomousAgent
and
作家
有技巧
Writing
and
AutonomousAgent
(=>
(
attribute
?PERSON
Writer
)
(
hasSkill
WrittenCommunication
?PERSON))
Biography.kif 709-711
attribute
AutonomousAgent
and
作家
有技巧
書面溝通
and
AutonomousAgent
(=>
(
attribute
?T
Teacher
)
(
hasSkill
EducationalProcess
?T))
Mid-level-ontology.kif 18911-18913
attribute
AutonomousAgent
and
老師
有技巧
EducationalProcess
and
AutonomousAgent
(=>
(
attribute
?X
AeronauticalEngineer
)
(
exists
(?SKILL)
(
and
(
hasSkill
?SKILL ?X)
(
forall
(?P)
(=>
(
instance
?P ?SKILL)
(
or
(
exists
(?CONS ?OBJ ?PT)
(
and
(
instance
?CONS
Making
)
(
or
(
instance
?OBJ
Aircraft
)
(
and
(
instance
?OBJ ?PT)
(
typicalPart
?PT
Aircraft
)))
(
result
?CONS ?OBJ)
(
subProcess
?P ?CONS)))
(
exists
(?DESIGN ?PLAN ?OBJ ?PT)
(
and
(
instance
?DESIGN
Designing
)
(
or
(
instance
?OBJ
Aircraft
)
(
and
(
instance
?OBJ ?PT)
(
typicalPart
?PT
Aircraft
)))
(
result
?DESIGN ?PLAN)
(
represents
?PLAN ?OBJ)
(
subProcess
?P ?DESIGN)))))))))
Biography.kif 436-465
attribute
AutonomousAgent
and
航空工程師
Process
有技巧
Process
and
AutonomousAgent
Process
例
Process
and
Process
Process
Entity
and
Process
T
例
Process
and
Making
例
Entity
and
飛機
例
Entity
and
Process
T
Process
T
typically
是
飛機
的
part
結果
Process
and
Entity
子過程
Process
and
Process
Process
Process
LAN,
Entity
and
Process
T
例
Process
and
設計
例
Entity
and
飛機
例
Entity
and
Process
T
Process
T
typically
是
飛機
的
part
結果
Process
and
Process
LAN
代表
Process
LAN and
Entity
子過程
Process
and
Process
(=>
(
instance
?GRP
MarchingBand
)
(
exists
(?P)
(
and
(
hasSkill
MakingInstrumentalMusic
?P)
(
member
?P ?GRP))))
Music.kif 976-981
例
Collection
and
MarchingBand
AutonomousAgent
有技巧
MakingInstrumentalMusic
and
AutonomousAgent
會員
AutonomousAgent
and
Collection
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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