hasSkill
(=>
(
attribute
?PERSON
ChessPlayer
)
(
hasSkill
Chess
?PERSON))
Sports.kif 448-450
ChessPlayer
est un
attribut
de
AutonomousAgent
AutonomousAgent
a la
capacit
� de faire
Chess
(=>
(
attribute
?PERSON
Composer
)
(
hasSkill
ComposingMusic
?PERSON))
Music.kif 1384-1386
Composer
est un
attribut
de
AutonomousAgent
AutonomousAgent
a la
capacit
� de faire
ComposingMusic
(=>
(
attribute
?PERSON
Dancer
)
(
hasSkill
Dancing
?PERSON))
Biography.kif 673-675
Dancer
est un
attribut
de
AutonomousAgent
AutonomousAgent
a la
capacit
� de faire
dancer
(=>
(
attribute
?PERSON
DartsPlayer
)
(
hasSkill
Darts
?PERSON))
Sports.kif 478-480
DartsPlayer
est un
attribut
de
AutonomousAgent
AutonomousAgent
a la
capacit
� de faire
Darts
(=>
(
attribute
?PERSON
Designer
)
(
hasSkill
Designing
?PERSON))
Biography.kif 680-682
Designer
est un
attribut
de
AutonomousAgent
AutonomousAgent
a la
capacit
� de faire
Designing
(=>
(
attribute
?PERSON
Draftsman
)
(
hasSkill
Drawing
?PERSON))
Biography.kif 687-689
Draftsman
est un
attribut
de
AutonomousAgent
AutonomousAgent
a la
capacit
� de faire
Drawing
(=>
(
attribute
?PERSON
Drummer
)
(
hasSkill
(
PlayingInstrumentFn
Drum
) ?PERSON))
Music.kif 1430-1433
Drummer
est un
attribut
de
AutonomousAgent
AutonomousAgent
a la
capacit
� de faire
PlayingInstrumentFn
Drum
(=>
(
attribute
?PERSON
GoPlayer
)
(
hasSkill
GoGame
?PERSON))
Sports.kif 483-485
GoPlayer
est un
attribut
de
AutonomousAgent
AutonomousAgent
a la
capacit
� de faire
GoGame
(=>
(
attribute
?PERSON
Guitarist
)
(
hasSkill
(
PlayingInstrumentFn
Guitar
) ?PERSON))
Music.kif 1407-1410
Guitarist
est un
attribut
de
AutonomousAgent
AutonomousAgent
a la
capacit
� de faire
PlayingInstrumentFn
Guitar
(=>
(
attribute
?PERSON
Painter
)
(
hasSkill
ArtPainting
?PERSON))
Biography.kif 694-696
Painter
est un
attribut
de
AutonomousAgent
AutonomousAgent
a la
capacit
� de faire
ArtPainting
(=>
(
attribute
?PERSON
Photographer
)
(
hasSkill
Photographing
?PERSON))
Biography.kif 650-652
Photographer
est un
attribut
de
AutonomousAgent
AutonomousAgent
a la
capacit
� de faire
Photographing
(=>
(
attribute
?PERSON
Pianist
)
(
hasSkill
(
PlayingInstrumentFn
Piano
) ?PERSON))
Music.kif 1391-1394
Pianist
est un
attribut
de
AutonomousAgent
AutonomousAgent
a la
capacit
� de faire
PlayingInstrumentFn
Piano
(=>
(
attribute
?PERSON
PokerPlayer
)
(
hasSkill
Poker
?PERSON))
Sports.kif 487-489
PokerPlayer
est un
attribut
de
AutonomousAgent
AutonomousAgent
a la
capacit
� de faire
Poker
(=>
(
attribute
?PERSON
RadioOperator
)
(
hasSkill
(
OperatingFn
CommunicationRadio
) ?PERSON))
Transportation.kif 3283-3285
RadioOperator
est un
attribut
de
AutonomousAgent
AutonomousAgent
a la
capacit
� de faire
OperatingFn
CommunicationRadio
(=>
(
attribute
?PERSON
Saxophonist
)
(
hasSkill
(
PlayingInstrumentFn
Saxophone
) ?PERSON))
Music.kif 1422-1425
Saxophonist
est un
attribut
de
AutonomousAgent
AutonomousAgent
a la
capacit
� de faire
PlayingInstrumentFn
Saxophone
(=>
(
attribute
?PERSON
Sculptor
)
(
hasSkill
Sculpting
?PERSON))
Biography.kif 701-703
Sculptor
est un
attribut
de
AutonomousAgent
AutonomousAgent
a la
capacit
� de faire
Sculpting
(=>
(
attribute
?PERSON
SnookerPlayer
)
(
hasSkill
Snooker
?PERSON))
Sports.kif 491-493
SnookerPlayer
est un
attribut
de
AutonomousAgent
AutonomousAgent
a la
capacit
� de faire
Snooker
(=>
(
attribute
?PERSON
SoloSinger
)
(
hasSkill
Singing
?PERSON))
Music.kif 1438-1440
SoloSinger
est un
attribut
de
AutonomousAgent
AutonomousAgent
a la
capacit
� de faire
Singing
(=>
(
attribute
?PERSON
Tailor
)
(
hasSkill
Sewing
?PERSON))
Biography.kif 657-659
Tailor
est un
attribut
de
AutonomousAgent
AutonomousAgent
a la
capacit
� de faire
Sewing
(=>
(
attribute
?PERSON
Violinist
)
(
hasSkill
(
PlayingInstrumentFn
Violin
) ?PERSON))
Music.kif 1399-1402
Violinist
est un
attribut
de
AutonomousAgent
AutonomousAgent
a la
capacit
� de faire
PlayingInstrumentFn
Violin
(=>
(
attribute
?PERSON
Writer
)
(
hasSkill
Writing
?PERSON))
Biography.kif 713-715
Writer
est un
attribut
de
AutonomousAgent
AutonomousAgent
a la
capacit
� de faire
�crire
(=>
(
attribute
?PERSON
Writer
)
(
hasSkill
WrittenCommunication
?PERSON))
Biography.kif 709-711
Writer
est un
attribut
de
AutonomousAgent
AutonomousAgent
a la
capacit
� de faire
WrittenCommunication
(=>
(
attribute
?T
Teacher
)
(
hasSkill
EducationalProcess
?T))
Mid-level-ontology.kif 18912-18914
Teacher
est un
attribut
de
AutonomousAgent
AutonomousAgent
a la
capacit
� de faire
processus educationnel
(=>
(
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
est un
attribut
de
AutonomousAgent
processus
AutonomousAgent
a la
capacit
� de faire
processus
processus
processus
est une
instance
de
processus
processus
entit�
and
processus
T
processus
est une
instance
de
faire
entit�
est une
instance
de
Aircraft
entit�
est une
instance
de
processus
T
typicalPart
processus
T and
Aircraft
entit�
est le
resultat
de
processus
processus
est un
sous
-processus de
processus
processus
processus
LAN,
entit�
and
processus
T
processus
est une
instance
de
Designing
entit�
est une
instance
de
Aircraft
entit�
est une
instance
de
processus
T
typicalPart
processus
T and
Aircraft
processus
LAN est le
resultat
de
processus
processus
LAN
d
�finie
entit�
processus
est un
sous
-processus de
processus
(=>
(
instance
?GRP
MarchingBand
)
(
exists
(?P)
(
and
(
hasSkill
MakingInstrumentalMusic
?P)
(
member
?P ?GRP))))
Music.kif 976-981
Collection
est une
instance
de
MarchingBand
AutonomousAgent
AutonomousAgent
a la
capacit
� de faire
MakingInstrumentalMusic
AutonomousAgent
est un
membre
de
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