hasSkill
(=>
(
attribute
?PERSON
ChessPlayer
)
(
hasSkill
Chess
?PERSON))
Sports.kif 448-450
ChessPlayer
は
AutonomousAgent
の
attribute
では %n
AutonomousAgent
は
Chess
をする
skill
が %n{ない}
(=>
(
attribute
?PERSON
Composer
)
(
hasSkill
ComposingMusic
?PERSON))
Music.kif 1384-1386
Composer
は
AutonomousAgent
の
attribute
では %n
AutonomousAgent
は
ComposingMusic
をする
skill
が %n{ない}
(=>
(
attribute
?PERSON
Dancer
)
(
hasSkill
Dancing
?PERSON))
Biography.kif 673-675
Dancer
は
AutonomousAgent
の
attribute
では %n
AutonomousAgent
は
踊り
をする
skill
が %n{ない}
(=>
(
attribute
?PERSON
DartsPlayer
)
(
hasSkill
Darts
?PERSON))
Sports.kif 478-480
DartsPlayer
は
AutonomousAgent
の
attribute
では %n
AutonomousAgent
は
Darts
をする
skill
が %n{ない}
(=>
(
attribute
?PERSON
Designer
)
(
hasSkill
Designing
?PERSON))
Biography.kif 680-682
Designer
は
AutonomousAgent
の
attribute
では %n
AutonomousAgent
は
Designing
をする
skill
が %n{ない}
(=>
(
attribute
?PERSON
Draftsman
)
(
hasSkill
Drawing
?PERSON))
Biography.kif 687-689
Draftsman
は
AutonomousAgent
の
attribute
では %n
AutonomousAgent
は
Drawing
をする
skill
が %n{ない}
(=>
(
attribute
?PERSON
Drummer
)
(
hasSkill
(
PlayingInstrumentFn
Drum
) ?PERSON))
Music.kif 1430-1433
Drummer
は
AutonomousAgent
の
attribute
では %n
AutonomousAgent
は
PlayingInstrumentFn
Drum
をする
skill
が %n{ない}
(=>
(
attribute
?PERSON
GoPlayer
)
(
hasSkill
GoGame
?PERSON))
Sports.kif 483-485
GoPlayer
は
AutonomousAgent
の
attribute
では %n
AutonomousAgent
は
GoGame
をする
skill
が %n{ない}
(=>
(
attribute
?PERSON
Guitarist
)
(
hasSkill
(
PlayingInstrumentFn
Guitar
) ?PERSON))
Music.kif 1407-1410
Guitarist
は
AutonomousAgent
の
attribute
では %n
AutonomousAgent
は
PlayingInstrumentFn
Guitar
をする
skill
が %n{ない}
(=>
(
attribute
?PERSON
Painter
)
(
hasSkill
ArtPainting
?PERSON))
Biography.kif 694-696
Painter
は
AutonomousAgent
の
attribute
では %n
AutonomousAgent
は
ArtPainting
をする
skill
が %n{ない}
(=>
(
attribute
?PERSON
Photographer
)
(
hasSkill
Photographing
?PERSON))
Biography.kif 650-652
Photographer
は
AutonomousAgent
の
attribute
では %n
AutonomousAgent
は
Photographing
をする
skill
が %n{ない}
(=>
(
attribute
?PERSON
Pianist
)
(
hasSkill
(
PlayingInstrumentFn
Piano
) ?PERSON))
Music.kif 1391-1394
Pianist
は
AutonomousAgent
の
attribute
では %n
AutonomousAgent
は
PlayingInstrumentFn
Piano
をする
skill
が %n{ない}
(=>
(
attribute
?PERSON
PokerPlayer
)
(
hasSkill
Poker
?PERSON))
Sports.kif 487-489
PokerPlayer
は
AutonomousAgent
の
attribute
では %n
AutonomousAgent
は
Poker
をする
skill
が %n{ない}
(=>
(
attribute
?PERSON
RadioOperator
)
(
hasSkill
(
OperatingFn
CommunicationRadio
) ?PERSON))
Transportation.kif 3283-3285
RadioOperator
は
AutonomousAgent
の
attribute
では %n
AutonomousAgent
は
OperatingFn
CommunicationRadio
をする
skill
が %n{ない}
(=>
(
attribute
?PERSON
Saxophonist
)
(
hasSkill
(
PlayingInstrumentFn
Saxophone
) ?PERSON))
Music.kif 1422-1425
Saxophonist
は
AutonomousAgent
の
attribute
では %n
AutonomousAgent
は
PlayingInstrumentFn
Saxophone
をする
skill
が %n{ない}
(=>
(
attribute
?PERSON
Sculptor
)
(
hasSkill
Sculpting
?PERSON))
Biography.kif 701-703
Sculptor
は
AutonomousAgent
の
attribute
では %n
AutonomousAgent
は
Sculpting
をする
skill
が %n{ない}
(=>
(
attribute
?PERSON
SnookerPlayer
)
(
hasSkill
Snooker
?PERSON))
Sports.kif 491-493
SnookerPlayer
は
AutonomousAgent
の
attribute
では %n
AutonomousAgent
は
Snooker
をする
skill
が %n{ない}
(=>
(
attribute
?PERSON
SoloSinger
)
(
hasSkill
Singing
?PERSON))
Music.kif 1438-1440
SoloSinger
は
AutonomousAgent
の
attribute
では %n
AutonomousAgent
は
Singing
をする
skill
が %n{ない}
(=>
(
attribute
?PERSON
Tailor
)
(
hasSkill
Sewing
?PERSON))
Biography.kif 657-659
Tailor
は
AutonomousAgent
の
attribute
では %n
AutonomousAgent
は
Sewing
をする
skill
が %n{ない}
(=>
(
attribute
?PERSON
Violinist
)
(
hasSkill
(
PlayingInstrumentFn
Violin
) ?PERSON))
Music.kif 1399-1402
Violinist
は
AutonomousAgent
の
attribute
では %n
AutonomousAgent
は
PlayingInstrumentFn
Violin
をする
skill
が %n{ない}
(=>
(
attribute
?PERSON
Writer
)
(
hasSkill
Writing
?PERSON))
Biography.kif 713-715
Writer
は
AutonomousAgent
の
attribute
では %n
AutonomousAgent
は
執筆
をする
skill
が %n{ない}
(=>
(
attribute
?PERSON
Writer
)
(
hasSkill
WrittenCommunication
?PERSON))
Biography.kif 709-711
Writer
は
AutonomousAgent
の
attribute
では %n
AutonomousAgent
は
WrittenCommunication
をする
skill
が %n{ない}
(=>
(
attribute
?T
Teacher
)
(
hasSkill
EducationalProcess
?T))
Mid-level-ontology.kif 18912-18914
Teacher
は
AutonomousAgent
の
attribute
では %n
AutonomousAgent
は
教育過程
をする
skill
が %n{ない}
(=>
(
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
AeronauticalEngineer
は
AutonomousAgent
の
attribute
では %n
工程
AutonomousAgent
は
工程
をする
skill
が %n{ない}
工程
工程
は
工程
の
instance
では %n
工程
エンティティー
and
工程
T
工程
は
作る
の
instance
では %n
エンティティー
は
Aircraft
の
instance
では %n
エンティティー
は
工程
T の
instance
では %n
typicalPart
工程
T and
Aircraft
エンティティー
は
工程
の
result
では %n
工程
は
工程
% の
subprocess
では %n
工程
工程
LAN,
エンティティー
and
工程
T
工程
は
Designing
の
instance
では %n
エンティティー
は
Aircraft
の
instance
では %n
エンティティー
は
工程
T の
instance
では %n
typicalPart
工程
T and
Aircraft
工程
LAN は
工程
の
result
では %n
工程
LAN は
エンティティー
を
express
es %n{ない}
工程
は
工程
% の
subprocess
では %n
(=>
(
instance
?GRP
MarchingBand
)
(
exists
(?P)
(
and
(
hasSkill
MakingInstrumentalMusic
?P)
(
member
?P ?GRP))))
Music.kif 976-981
コレクション
は
MarchingBand
の
instance
では %n
AutonomousAgent
AutonomousAgent
は
MakingInstrumentalMusic
をする
skill
が %n{ない}
AutonomousAgent
は
コレクション
の
member
では %n
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