hasSkill
(=>
(
attribute
?PERSON
ChessPlayer
)
(
hasSkill
Chess
?PERSON))
Sports.kif 448-450
If
Chess player
is an
attribute
of
an agent
,
then
the agent
has the
skill
to do
chess
(=>
(
attribute
?PERSON
Composer
)
(
hasSkill
ComposingMusic
?PERSON))
Music.kif 1384-1386
If
composer
is an
attribute
of
an agent
,
then
the agent
has the
skill
to do
composing music
(=>
(
attribute
?PERSON
Dancer
)
(
hasSkill
Dancing
?PERSON))
Biography.kif 673-675
If
dancer
is an
attribute
of
an agent
,
then
the agent
has the
skill
to do
dancing
(=>
(
attribute
?PERSON
DartsPlayer
)
(
hasSkill
Darts
?PERSON))
Sports.kif 478-480
If
darts player
is an
attribute
of
an agent
,
then
the agent
has the
skill
to do
darts
(=>
(
attribute
?PERSON
Designer
)
(
hasSkill
Designing
?PERSON))
Biography.kif 680-682
If
designer
is an
attribute
of
an agent
,
then
the agent
has the
skill
to do
designing
(=>
(
attribute
?PERSON
Draftsman
)
(
hasSkill
Drawing
?PERSON))
Biography.kif 687-689
If
draftsman
is an
attribute
of
an agent
,
then
the agent
has the
skill
to do
drawing
(=>
(
attribute
?PERSON
Drummer
)
(
hasSkill
(
PlayingInstrumentFn
Drum
) ?PERSON))
Music.kif 1430-1433
If
drummer
is an
attribute
of
an agent
,
then
the agent
has the
skill
to do
playing
drum
(=>
(
attribute
?PERSON
GoPlayer
)
(
hasSkill
GoGame
?PERSON))
Sports.kif 483-485
If
go player
is an
attribute
of
an agent
,
then
the agent
has the
skill
to do
go game
(=>
(
attribute
?PERSON
Guitarist
)
(
hasSkill
(
PlayingInstrumentFn
Guitar
) ?PERSON))
Music.kif 1407-1410
If
guitarist
is an
attribute
of
an agent
,
then
the agent
has the
skill
to do
playing
guitar
(=>
(
attribute
?PERSON
Painter
)
(
hasSkill
ArtPainting
?PERSON))
Biography.kif 694-696
If
painter
is an
attribute
of
an agent
,
then
the agent
has the
skill
to do
art painting
(=>
(
attribute
?PERSON
Photographer
)
(
hasSkill
Photographing
?PERSON))
Biography.kif 650-652
If
photographer
is an
attribute
of
an agent
,
then
the agent
has the
skill
to do
photographing
(=>
(
attribute
?PERSON
Pianist
)
(
hasSkill
(
PlayingInstrumentFn
Piano
) ?PERSON))
Music.kif 1391-1394
If
pianist
is an
attribute
of
an agent
,
then
the agent
has the
skill
to do
playing
piano
(=>
(
attribute
?PERSON
PokerPlayer
)
(
hasSkill
Poker
?PERSON))
Sports.kif 487-489
If
poker player
is an
attribute
of
an agent
,
then
the agent
has the
skill
to do
poker
(=>
(
attribute
?PERSON
RadioOperator
)
(
hasSkill
(
OperatingFn
CommunicationRadio
) ?PERSON))
Transportation.kif 3283-3285
If
radio operator
is an
attribute
of
an agent
,
then
the agent
has the
skill
to do the
operating
of
communication radio
(=>
(
attribute
?PERSON
Saxophonist
)
(
hasSkill
(
PlayingInstrumentFn
Saxophone
) ?PERSON))
Music.kif 1422-1425
If
saxophonist
is an
attribute
of
an agent
,
then
the agent
has the
skill
to do
playing
saxophone
(=>
(
attribute
?PERSON
Sculptor
)
(
hasSkill
Sculpting
?PERSON))
Biography.kif 701-703
If
sculptor
is an
attribute
of
an agent
,
then
the agent
has the
skill
to do
sculpting
(=>
(
attribute
?PERSON
SnookerPlayer
)
(
hasSkill
Snooker
?PERSON))
Sports.kif 491-493
If
snooker player
is an
attribute
of
an agent
,
then
the agent
has the
skill
to do
snooker
(=>
(
attribute
?PERSON
SoloSinger
)
(
hasSkill
Singing
?PERSON))
Music.kif 1438-1440
If
solo singer
is an
attribute
of
an agent
,
then
the agent
has the
skill
to do
singing
(=>
(
attribute
?PERSON
Tailor
)
(
hasSkill
Sewing
?PERSON))
Biography.kif 657-659
If
tailor
is an
attribute
of
an agent
,
then
the agent
has the
skill
to do
sewing
(=>
(
attribute
?PERSON
Violinist
)
(
hasSkill
(
PlayingInstrumentFn
Violin
) ?PERSON))
Music.kif 1399-1402
If
violinist
is an
attribute
of
an agent
,
then
the agent
has the
skill
to do
playing
violin
(=>
(
attribute
?PERSON
Writer
)
(
hasSkill
Writing
?PERSON))
Biography.kif 713-715
If
writer
is an
attribute
of
an agent
,
then
the agent
has the
skill
to do
writing
(=>
(
attribute
?PERSON
Writer
)
(
hasSkill
WrittenCommunication
?PERSON))
Biography.kif 709-711
If
writer
is an
attribute
of
an agent
,
then
the agent
has the
skill
to do
written communication
(=>
(
attribute
?T
Teacher
)
(
hasSkill
EducationalProcess
?T))
Mid-level-ontology.kif 18912-18914
If
teacher
is an
attribute
of
an agent
,
then
the agent
has the
skill
to do
educational process
(=>
(
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
If
aeronautical engineer
is an
attribute
of
an agent
,
then there exists
a kind of process
such that
the agent
has the
skill
to do
a kind of process
and for all
another process
if
the other process
is an
instance
of
the kind of process
,
then there exist
a third process
,
an entity
and
the other process
T such that
the third process
is an
instance
of
making
and
the entity
is an
instance
of
aircraft
or
the entity
is an
instance
of
the other process
T and a
the other process
T is
typically
a
part
of a
aircraft
and
the entity
is a
result
of
the third process
and
the other process
is a
subprocess
of
the third process
or there exist
a fourth process
,
the other process
LAN,, ,
the entity
and
the other process
T such that
the fourth process
is an
instance
of
designing
and
the entity
is an
instance
of
aircraft
or
the entity
is an
instance
of
the other process
T and a
the other process
T is
typically
a
part
of a
aircraft
and
the other process
LAN is a
result
of
the fourth process
and
the other process
LAN
express
es
the entity
and
the other process
is a
subprocess
of
the fourth process
(=>
(
instance
?GRP
MarchingBand
)
(
exists
(?P)
(
and
(
hasSkill
MakingInstrumentalMusic
?P)
(
member
?P ?GRP))))
Music.kif 976-981
If
a collection
is an
instance
of
marching band
,
then there exists
an agent
such that
the agent
has the
skill
to do
instrumental music
and
the agent
is a
member
of
the 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