Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  authors

 Sigma KEE - authors
authors

appearance as argument number 1
-------------------------


(instance authors BinaryPredicate) Merge.kif 15741-15741 authors is an instance of binary predicate
(domain authors 1 AutonomousAgent) Merge.kif 15742-15742 The number 1 argument of authors is an instance of agent
(domainSubclass authors 2 ContentBearingObject) Merge.kif 15743-15743 The number 2 argument of authors is a subclass of content bearing object
(documentation authors EnglishLanguage "(authors ?AGENT ?TEXTCLASS) means that ?AGENT is creatively responsible for the content of all instances of ?TEXTCLASS. For example, Agatha Christie is author of Murder-on-the-Orient-Express.") Merge.kif 15746-15749 The number 2 argument of authors is a subclass of content bearing object

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


(termFormat EnglishLanguage authors "authors") domainEnglishFormat.kif 9160-9160
(termFormat ChineseTraditionalLanguage authors "作者") domainEnglishFormat.kif 9161-9161
(termFormat ChineseLanguage authors "作者") domainEnglishFormat.kif 9162-9162
(format EnglishLanguage authors "%1 is %n the author of %2") english_format.kif 536-536

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


(=>
    (and
        (instance ?TEXT ?CLASS)
        (subclass ?CLASS FactualText)
        (authors ?AGENT ?CLASS)
        (containsFormula ?TEXT ?CONTENT))
    (believes ?AGENT ?CONTENT))		 Merge.kif 15682-15688 If X is an instance of Y, Y is a subclass of factual text, Z is the author of Y, and X contains the formula W, then Z believes W
(=>
    (and
        (instance ?TEXT ?CLASS)
        (subclass ?CLASS FictionalText)
        (authors ?AGENT ?CLASS))
    (exists (?FORM)
        (and
            (containsFormula ?TEXT ?FORM)
            (not
                (believes ?AGENT ?FORM)))))		 Merge.kif 15718-15727 If X is an instance of Y, Y is a subclass of fictional text, and Z is the author of Y, then there exists W such that X contains the formula W and Z doesn't believe W
(=>
    (authors ?AGENT ?TEXTCLASS)
    (exists (?PROCESS ?INSTANCE)
        (and
            (agent ?PROCESS ?AGENT)
            (instance ?INSTANCE ?TEXTCLASS)
            (result ?PROCESS ?INSTANCE))))		 Merge.kif 15752-15758 If X is the author of Y, then there exist Z, W such that X is an agent of Z, W is an instance of Y, and W is a result of Z
(=>
    (and
        (subclass ?PLATFORM PartyPlatform)
        (authors ?PARTY ?PLATFORM)
        (instance ?PARTY Organization))
    (instance ?PARTY PoliticalParty))		 Government.kif 2294-2299 If X is a subclass of party platform, Y is the author of X, and Y is an instance of organization, then Y is an instance of political party
(=>
    (and
        (subclass ?PLATFORM PartyPlatform)
        (authors ?PARTY ?PLATFORM)
        (instance ?PARTY PoliticalParty)
        (instance ?INST ?PLATFORM)
        (containsFormula ?INST ?P))
    (believes ?PARTY ?P))		 Government.kif 2301-2308 If X is a subclass of party platform, Y is the author of X, Y is an instance of political party, Z is an instance of X, and Z contains the formula W, then Y believes W
(=>
    (and
        (subclass ?PUB JointPublication)
        (instance ?ONE ?PUB)
        (containsFormula ?ONE ?CONTENT)
        (authors ?JORG ?PUB))
    (exists (?ORG)
        (and
            (subOrganization ?ORG USMilitary)
            (confersObligation ?ORG ?JORG ?CONTENT))))		 MilitaryProcesses.kif 962-971 If X is a subclass of joint publication, Y is an instance of X, Y contains the formula Z, and W is the author of X, then there exists V such that V is a part of the organization US military and W obligates Z to perform task of the type V

consequent
-------------------------


(=>
    (attribute ?H NewsReporter)
    (hasPurpose ?H
        (exists (?EV ?T ?NEWS)
            (and
                (instance ?EV Process)
                (overlapsTemporally
                    (WhenFn ?EV)
                    (WhenFn ?H))
                (instance ?T ?NEWS)
                (or
                    (subclass ?NEWS Newspaper)
                    (subclass ?NEWS NewsProgram))
                (authors ?H ?NEWS)
                (refers ?T ?EV)))))		 Mid-level-ontology.kif 23308-23322 If news reporter is an attribute of X, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of process (3) the time of existence of X overlaps the time of existence of Y (4) Z is an instance of W (5) W is a subclass of newspaper or W is a subclass of newsprogram (6) X is the author of W (7) Z includes a reference to Y
(=>
    (attribute ?H ArtCritic)
    (hasPurpose ?H
        (exists (?AW ?T ?CLASS)
            (and
                (instance ?AW ArtWork)
                (overlapsTemporally
                    (WhenFn ?AW)
                    (WhenFn ?H))
                (instance ?T ?CLASS)
                (subclass ?CLASS Article)
                (authors ?H ?CLASS)
                (refers ?T ?AW)))))		 Mid-level-ontology.kif 23331-23343 If art critic is an attribute of X, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of art work (3) the time of existence of X overlaps the time of existence of Y (4) Z is an instance of W (5) W is a subclass of article (6) X is the author of W (7) Z includes a reference to Y
(=>
    (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


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners