hasSkill
(=>
(
attribute
?PERSON
ChessPlayer
)
(
hasSkill
Chess
?PERSON))
Sports.kif 448-450
ChessPlayer
e' um
atributo
de
AutonomousAgent
AutonomousAgent
tem a
capacidade
de fazer
Chess
(=>
(
attribute
?PERSON
Composer
)
(
hasSkill
ComposingMusic
?PERSON))
Music.kif 1384-1386
Composer
e' um
atributo
de
AutonomousAgent
AutonomousAgent
tem a
capacidade
de fazer
ComposingMusic
(=>
(
attribute
?PERSON
Dancer
)
(
hasSkill
Dancing
?PERSON))
Biography.kif 673-675
Dancer
e' um
atributo
de
AutonomousAgent
AutonomousAgent
tem a
capacidade
de fazer
Dancar
(=>
(
attribute
?PERSON
DartsPlayer
)
(
hasSkill
Darts
?PERSON))
Sports.kif 478-480
DartsPlayer
e' um
atributo
de
AutonomousAgent
AutonomousAgent
tem a
capacidade
de fazer
Darts
(=>
(
attribute
?PERSON
Designer
)
(
hasSkill
Designing
?PERSON))
Biography.kif 680-682
Designer
e' um
atributo
de
AutonomousAgent
AutonomousAgent
tem a
capacidade
de fazer
Designing
(=>
(
attribute
?PERSON
Draftsman
)
(
hasSkill
Drawing
?PERSON))
Biography.kif 687-689
Draftsman
e' um
atributo
de
AutonomousAgent
AutonomousAgent
tem a
capacidade
de fazer
Drawing
(=>
(
attribute
?PERSON
Drummer
)
(
hasSkill
(
PlayingInstrumentFn
Drum
) ?PERSON))
Music.kif 1430-1433
Drummer
e' um
atributo
de
AutonomousAgent
AutonomousAgent
tem a
capacidade
de fazer
PlayingInstrumentFn
Drum
(=>
(
attribute
?PERSON
GoPlayer
)
(
hasSkill
GoGame
?PERSON))
Sports.kif 483-485
GoPlayer
e' um
atributo
de
AutonomousAgent
AutonomousAgent
tem a
capacidade
de fazer
GoGame
(=>
(
attribute
?PERSON
Guitarist
)
(
hasSkill
(
PlayingInstrumentFn
Guitar
) ?PERSON))
Music.kif 1407-1410
Guitarist
e' um
atributo
de
AutonomousAgent
AutonomousAgent
tem a
capacidade
de fazer
PlayingInstrumentFn
Guitar
(=>
(
attribute
?PERSON
Painter
)
(
hasSkill
ArtPainting
?PERSON))
Biography.kif 694-696
Painter
e' um
atributo
de
AutonomousAgent
AutonomousAgent
tem a
capacidade
de fazer
ArtPainting
(=>
(
attribute
?PERSON
Photographer
)
(
hasSkill
Photographing
?PERSON))
Biography.kif 650-652
Photographer
e' um
atributo
de
AutonomousAgent
AutonomousAgent
tem a
capacidade
de fazer
Photographing
(=>
(
attribute
?PERSON
Pianist
)
(
hasSkill
(
PlayingInstrumentFn
Piano
) ?PERSON))
Music.kif 1391-1394
Pianist
e' um
atributo
de
AutonomousAgent
AutonomousAgent
tem a
capacidade
de fazer
PlayingInstrumentFn
Piano
(=>
(
attribute
?PERSON
PokerPlayer
)
(
hasSkill
Poker
?PERSON))
Sports.kif 487-489
PokerPlayer
e' um
atributo
de
AutonomousAgent
AutonomousAgent
tem a
capacidade
de fazer
Poker
(=>
(
attribute
?PERSON
RadioOperator
)
(
hasSkill
(
OperatingFn
CommunicationRadio
) ?PERSON))
Transportation.kif 3283-3285
RadioOperator
e' um
atributo
de
AutonomousAgent
AutonomousAgent
tem a
capacidade
de fazer
OperatingFn
CommunicationRadio
(=>
(
attribute
?PERSON
Saxophonist
)
(
hasSkill
(
PlayingInstrumentFn
Saxophone
) ?PERSON))
Music.kif 1422-1425
Saxophonist
e' um
atributo
de
AutonomousAgent
AutonomousAgent
tem a
capacidade
de fazer
PlayingInstrumentFn
Saxophone
(=>
(
attribute
?PERSON
Sculptor
)
(
hasSkill
Sculpting
?PERSON))
Biography.kif 701-703
Sculptor
e' um
atributo
de
AutonomousAgent
AutonomousAgent
tem a
capacidade
de fazer
Sculpting
(=>
(
attribute
?PERSON
SnookerPlayer
)
(
hasSkill
Snooker
?PERSON))
Sports.kif 491-493
SnookerPlayer
e' um
atributo
de
AutonomousAgent
AutonomousAgent
tem a
capacidade
de fazer
Snooker
(=>
(
attribute
?PERSON
SoloSinger
)
(
hasSkill
Singing
?PERSON))
Music.kif 1438-1440
SoloSinger
e' um
atributo
de
AutonomousAgent
AutonomousAgent
tem a
capacidade
de fazer
Singing
(=>
(
attribute
?PERSON
Tailor
)
(
hasSkill
Sewing
?PERSON))
Biography.kif 657-659
Tailor
e' um
atributo
de
AutonomousAgent
AutonomousAgent
tem a
capacidade
de fazer
Sewing
(=>
(
attribute
?PERSON
Violinist
)
(
hasSkill
(
PlayingInstrumentFn
Violin
) ?PERSON))
Music.kif 1399-1402
Violinist
e' um
atributo
de
AutonomousAgent
AutonomousAgent
tem a
capacidade
de fazer
PlayingInstrumentFn
Violin
(=>
(
attribute
?PERSON
Writer
)
(
hasSkill
Writing
?PERSON))
Biography.kif 713-715
Writer
e' um
atributo
de
AutonomousAgent
AutonomousAgent
tem a
capacidade
de fazer
Escrever
(=>
(
attribute
?PERSON
Writer
)
(
hasSkill
WrittenCommunication
?PERSON))
Biography.kif 709-711
Writer
e' um
atributo
de
AutonomousAgent
AutonomousAgent
tem a
capacidade
de fazer
WrittenCommunication
(=>
(
attribute
?T
Teacher
)
(
hasSkill
EducationalProcess
?T))
Mid-level-ontology.kif 18911-18913
Teacher
e' um
atributo
de
AutonomousAgent
AutonomousAgent
tem a
capacidade
de fazer
Processo Educacional
(=>
(
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
e' um
atributo
de
AutonomousAgent
Processo
AutonomousAgent
tem a
capacidade
de fazer
Processo
Processo
Processo
e' uma
instancia
de
Processo
Processo
Entidade
and
Processo
T
Processo
e' uma
instancia
de
Fazer
Entidade
e' uma
instancia
de
Aircraft
Entidade
e' uma
instancia
de
Processo
T
typicalPart
Processo
T and
Aircraft
Entidade
e' o
resultado
de
Processo
Processo
e' um
sub
-processo de
Processo
Processo
Processo
LAN,
Entidade
and
Processo
T
Processo
e' uma
instancia
de
Designing
Entidade
e' uma
instancia
de
Aircraft
Entidade
e' uma
instancia
de
Processo
T
typicalPart
Processo
T and
Aircraft
Processo
LAN e' o
resultado
de
Processo
Processo
LAN
define
Entidade
Processo
e' um
sub
-processo de
Processo
(=>
(
instance
?GRP
MarchingBand
)
(
exists
(?P)
(
and
(
hasSkill
MakingInstrumentalMusic
?P)
(
member
?P ?GRP))))
Music.kif 976-981
Colecao
e' uma
instancia
de
MarchingBand
AutonomousAgent
AutonomousAgent
tem a
capacidade
de fazer
MakingInstrumentalMusic
AutonomousAgent
e'
membro
de
Colecao
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