| Writer | |
| appearance as argument number 1 |
|
|
| (documentation Writer EnglishLanguage "Someone who writes (books or stories or articles or the like) professionally (for pay).(WordNet definition). Which means it is an ArtisticOccupation, which implies that the person who has this Attribute has the skill to WrittenCommunication and Writing. Also it implies that there exists a Text created by the Writer.") | Biography.kif 470-470 | |
| (instance Writer ArtisticOccupation) | Biography.kif 469-469 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Writer "作家") | domainEnglishFormat.kif 63545-63545 | |
| (termFormat ChineseTraditionalLanguage Writer "作家") | domainEnglishFormat.kif 63544-63544 | |
| (termFormat EnglishLanguage Writer "writer") | domainEnglishFormat.kif 63543-63543 |
| antecedent |
|
|
| (=> (and (attribute ?X Writer) (or (instance ?TEXT Text) (instance ?TEXT Document)) (instance ?WRITE Writing) (agent ?WRITE ?X) (result ?WRITE ?TEXT)) (authors ?X ?TEXT)) |
Biography.kif 492-501 | |
| (=> (attribute ?PERSON Writer) (hasSkill Writing ?PERSON)) |
Biography.kif 477-479 | |
| (=> (attribute ?PERSON Writer) (hasSkill WrittenCommunication ?PERSON)) |
Biography.kif 473-475 | |
| (=> (attribute ?X Writer) (exists (?OBJ) (and (instance ?PROC Writing) (or (instance ?OBJ Text) (instance ?OBJ Document)) (agent ?PROC ?X) (result ?PROC ?OBJ)))) |
Biography.kif 481-490 |
| consequent |
|
|
| (=> (and (instance ?PERSON Human) (instance ?WRITE Writing) (or (instance ?TEXT Text) (instance ?TEXT Document)) (result ?WRITE ?TEXT) (agent ?WRITE ?PERSON)) (attribute ?PERSON Writer)) |
Biography.kif 503-512 |
|
|
|