Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Writer
Writer(writer)A.E., A._A._Milne, A._Conan_Doyle, A._E._W._Mason, Abraham_Stoker, Adeline_Virginia_Stephen_Woolf, Aesop, Agatha_Christie, Ahmed_Salman_Rushdie, Aiken, Alan_Alexander_Milne, Alan_Paton, Alan_Stewart_Paton, Albert_Camus, Aldous_Huxley, Aldous_Leonard_Huxley, Aleksandr_I._Solzhenitsyn, Aleksandr_Solzhenitsyn, Aleksey_Maksimovich_Peshkov, Aleksey_Maximovich_Peshkov, Alex_Haley, Alexander_Isayevich_Solzhenitsyn, Alexandre_Dumas, Alexis_Charles_Henri_Maurice_de_Tocqueville, Alexis_de_Tocqueville, Alfred_Damon_Runyon, Alfred_Edward_Woodley_Mason, Alfred_de_Musset, Alger, Algren, Alice_B._Toklas, Alice_Malsenior_Walker, Alice_Walker, Amandine_Aurore_Lucie_Dupin, Ambrose_Bierce, Ambrose_Gwinett_Bierce, Anatole_France, Andersen, Anderson, Andre_Gide, Andre_Maurois, Andre_Paul_Guillaume_Gide, Angus_Frank_Johnstone_Wilson, Anthony_Burgess, Anthony_Trollope, Apostle_Paul, Apostle_of_the_Gentiles, Aragon, Arna_Wendell_Bontemps, Arouet...

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

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Writer "作家") domainEnglishFormat.kif 63621-63621
(termFormat ChineseTraditionalLanguage Writer "作家") domainEnglishFormat.kif 63620-63620
(termFormat EnglishLanguage Writer "writer") domainEnglishFormat.kif 63619-63619

antecedent
-------------------------


(=>
    (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 730-740
(=>
    (attribute ?PERSON Writer)
    (hasSkill Writing ?PERSON))
Biography.kif 713-715
(=>
    (attribute ?PERSON Writer)
    (hasSkill WrittenCommunication ?PERSON))
Biography.kif 709-711
(=>
    (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 717-726

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 742-751


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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