Writer - Sigma Knowledge base Browser

appearance as argument number 1

(instance Writer ArtisticOccupation)	Biography.kif 708-708	Writer is an instance of artistic occupation
(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 709-709	Writer is an instance of artistic occupation

appearance as argument number 2

(termFormat EnglishLanguage Writer "writer")	domainEnglishFormat.kif 63574-63574
(termFormat ChineseTraditionalLanguage Writer "作家")	domainEnglishFormat.kif 63575-63575
(termFormat ChineseLanguage Writer "作家")	domainEnglishFormat.kif 63576-63576

antecedent

(=> (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
(=> (attribute ?X Writer) (exists (?OBJ ?PROC) (and (instance ?PROC Writing) (or (instance ?OBJ Text) (instance ?OBJ Document)) (agent ?PROC ?X) (result ?PROC ?OBJ))))	Biography.kif 720-729	If writer is an attribute of X, then there exist Y, Z such that Z is an instance of writing, Y is an instance of text or Y is an instance of document, X is an agent of Z, and Y is a result of Z
(=> (and (attribute ?X Writer) (instance ?TEXT ?CLASS) (or (subclass ?CLASS Text) (subclass ?CLASS Document)) (instance ?WRITE Writing) (agent ?WRITE ?X) (result ?WRITE ?TEXT)) (authors ?X ?CLASS))	Biography.kif 733-743	If All of the following hold: (1) writer is an attribute of X (2) Y is an instance of Z (3) Z is a subclass of text or Z is a subclass of document (4) W is an instance of writing (5) X is an agent of W (6) Y is a result of W, then X is the author of Z

consequent

(=>
    (and
        (instance ?PERSON Human)
        (instance ?WRITE Writing)
        (or
            (instance ?TEXT Text)
            (instance ?TEXT Document))
        (result ?WRITE ?TEXT)
        (agent ?WRITE ?PERSON))
    (attribute ?PERSON Writer))

If X is an instance of human, Y is an instance of writing, Z is an instance of text or Z is an instance of document, Z is a result of Y, and X is an agent of Y, then writer is an attribute of X