(=>
(hasSkillInRole ?PROC ?ROLE ?AGENT)
(and
(attribute ?AGENT ?ROLE)
(hasSkill ?PROC ?AGENT))) |
Mid-level-ontology.kif 9626-9630 |
If X has the skill to do Y in their role as Z, then Z is an attribute of X and X has the skill to do Y |
(<=>
(attribute ?H LiteracyAttribute)
(and
(hasSkill Reading ?H)
(hasSkill Writing ?H))) |
Mid-level-ontology.kif 16575-16579 |
Literacy attribute is an attribute of X if, only if X has the skill to do reading, and X has the skill to do writing |
(=>
(and
(attribute ?X ?M)
(instance ?M Musician))
(hasSkill MusicalPerformance ?X)) |
Mid-level-ontology.kif 20430-20434 |
If X is an attribute of Y and X is an instance of musician, then Y has the skill to do musical performance |
(=>
(attribute ?PERSON Actor)
(hasSkill DramaticActing ?PERSON)) |
Mid-level-ontology.kif 20747-20749 |
If actor is an attribute of X, then X has the skill to do dramatic acting |
(=>
(attribute ?T Teacher)
(hasSkill EducationalProcess ?T)) |
Mid-level-ontology.kif 20849-20851 |
If teacher is an attribute of X, then X has the skill to do educational process |
(=>
(attribute ?P Carpenter)
(hasSkill Carpentry ?P)) |
Mid-level-ontology.kif 23027-23029 |
If carpenter is an attribute of X, then X has the skill to do carpentry |
(=>
(attribute ?P PoliceOfficer)
(hasSkill PlacingUnderArrest ?P)) |
Mid-level-ontology.kif 23171-23173 |
If police officer is an attribute of X, then X has the skill to do placing under arrest |
(=>
(and
(instance ?H Man)
(attribute ?H Mausaharati))
(hasSkill Drumming ?H)) |
ArabicCulture.kif 59-63 |
If X is an instance of man and mausaharati is an attribute of X, then X has the skill to do drumming |
(=>
(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 444-473 |
If aeronautical engineer is an attribute of X, then All of the following hold: (1) there exists Y such that X has the skill to do Y (2) Z Z is an instance of Ythere exist W, V (3) U such that W is an instance of making (4) V is an instance of aircraft or V is an instance of U (5) a U is typically a part of a aircraft (6) V is a result of W (7) Z is a subprocess of W or there exist T, S,, , V (8) U such that T is an instance of designing (9) V is an instance of aircraft or V is an instance of U (10) a U is typically a part of a aircraft (11) S is a result of T (12) S expresses V (13) Z is a subprocess of T |
(=>
(and
(instance ?PILOT Human)
(attribute ?PILOT Pilot))
(hasSkill FlyingAircraft ?PILOT)) |
Biography.kif 642-646 |
If X is an instance of human and pilot is an attribute of X, then X has the skill to do flying |
(=>
(attribute ?ASTRONAUT Astronaut)
(hasSkill SpaceTransportation ?ASTRONAUT)) |
Biography.kif 651-653 |
If Astronaut is an attribute of X, then X has the skill to do space transportation |
(=>
(attribute ?PERSON Photographer)
(hasSkill Photographing ?PERSON)) |
Biography.kif 658-660 |
If photographer is an attribute of X, then X has the skill to do photographing |
(=>
(attribute ?PERSON Tailor)
(hasSkill Sewing ?PERSON)) |
Biography.kif 665-667 |
If tailor is an attribute of X, then X has the skill to do sewing |
(=>
(attribute ?PERSON Dancer)
(hasSkill Dancing ?PERSON)) |
Biography.kif 676-678 |
If dancer is an attribute of X, then X has the skill to do dancing |
(=>
(attribute ?PERSON Designer)
(hasSkill Designing ?PERSON)) |
Biography.kif 683-685 |
If designer is an attribute of X, then X has the skill to do designing |
(=>
(attribute ?PERSON Draftsman)
(hasSkill Drawing ?PERSON)) |
Biography.kif 690-692 |
If draftsman is an attribute of X, then X has the skill to do drawing |
(=>
(attribute ?PERSON Painter)
(hasSkill ArtPainting ?PERSON)) |
Biography.kif 697-699 |
If painter is an attribute of X, then X has the skill to do art painting |
(=>
(attribute ?PERSON Sculptor)
(hasSkill Sculpting ?PERSON)) |
Biography.kif 704-706 |
If sculptor is an attribute of X, then X has the skill to do sculpting |
(=>
(attribute ?PERSON Writer)
(hasSkill WrittenCommunication ?PERSON)) |
Biography.kif 712-714 |
If writer is an attribute of X, then X has the skill to do written communication |
(=>
(attribute ?PERSON Writer)
(hasSkill Writing ?PERSON)) |
Biography.kif 716-718 |
If writer is an attribute of X, then X has the skill to do writing |
(=>
(instance ?GRP MarchingBand)
(exists (?P)
(and
(hasSkill MakingInstrumentalMusic ?P)
(member ?P ?GRP)))) |
Music.kif 978-983 |
If X is an instance of marching band, then there exists Y such that Y has the skill to do instrumental music and Y is a member of X |
(=>
(attribute ?PERSON Composer)
(hasSkill ComposingMusic ?PERSON)) |
Music.kif 1388-1390 |
If composer is an attribute of X, then X has the skill to do composing music |
(=>
(attribute ?PERSON Pianist)
(hasSkill
(PlayingInstrumentFn Piano) ?PERSON)) |
Music.kif 1395-1398 |
If pianist is an attribute of X, then X has the skill to do playing piano |
(=>
(attribute ?PERSON Violinist)
(hasSkill
(PlayingInstrumentFn Violin) ?PERSON)) |
Music.kif 1403-1406 |
If violinist is an attribute of X, then X has the skill to do playing violin |
(=>
(attribute ?PERSON Guitarist)
(hasSkill
(PlayingInstrumentFn Guitar) ?PERSON)) |
Music.kif 1411-1414 |
If guitarist is an attribute of X, then X has the skill to do playing guitar |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
