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

Formal Language: 



KB Term:  Term intersection
English Word: 

  authors

Sigma KEE - authors
authors

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


(documentation authors ChineseLanguage "(authors ?AGENT ?TEXTCLASS)的意思是 ?AGENT 创作 ?TEXTCLASS 所有实例的内容。例如:阿加莎·克里斯蒂是'东方快车'谋杀案的作者。") Merge.kif 15573-15574
(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 15569-15572
(domain authors 1 Agent) Merge.kif 15565-15565 The number 1 argument of authors is an instance of agent
(domainSubclass authors 2 ContentBearingObject) Merge.kif 15566-15566 The number 2 argument of authors is a subclass of content bearing object
(instance authors AsymmetricRelation) Merge.kif 15564-15564 authors is an instance of asymmetric relation
(instance authors BinaryPredicate) Merge.kif 15563-15563 authors is an instance of binary predicate

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


(format ChineseLanguage authors "%1 %n 是 %2 的 authors") chinese_format.kif 531-531
(format EnglishLanguage authors "%1 is %n the author of %2") english_format.kif 324-324
(subrelation composer authors) Media.kif 1847-1847 composer is a subrelation of authors
(termFormat ChineseLanguage authors "作者") chinese_format.kif 532-532 "作者" is the printable form of authors in ChineseLanguage
(termFormat EnglishLanguage authors "authors") domainEnglishFormat.kif 1962-1962 "authors" is the printable form of authors in english language

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


(=>
    (and
        (authors ?AGENT ?CLASS)
        (subclass ?CLASS MusicalComposition))
    (composer ?AGENT ?CLASS))
Media.kif 1853-1857
(=>
    (and
        (instance ?PUB JointPublication)
        (containsInformation ?PUB ?CONTENT)
        (authors ?JORG ?PUB))
    (exists (?ORG)
        (and
            (subOrganization ?ORG USMilitary)
            (confersObligation ?CONTENT ?JORG ?ORG))))
MilitaryProcesses.kif 929-937
(=>
    (and
        (instance ?TEXT ?CLASS)
        (subclass ?CLASS FactualText)
        (authors ?AGENT ?CLASS)
        (subsumesContentInstance ?TEXT ?CONTENT)
        (instance ?CONTENT Formula))
    (believes ?AGENT ?CONTENT))
Merge.kif 15504-15511
(=>
    (and
        (instance ?TEXT ?CLASS)
        (subclass ?CLASS FictionalText)
        (authors ?AGENT ?CLASS))
    (exists (?CONTENT)
        (and
            (subsumesContentInstance ?TEXT ?CONTENT)
            (instance ?CONTENT Formula)
            (not
                (believes ?AGENT ?CONTENT)))))
Merge.kif 15538-15547
(=>
    (and
        (subclass ?PLATFORM PartyPlatform)
        (authors ?PARTY ?PLATFORM)
        (instance ?PARTY Organization))
    (instance ?PARTY PoliticalParty))
Government.kif 2271-2276
(=>
    (and
        (subclass ?PLATFORM PartyPlatform)
        (authors ?PARTY ?PLATFORM)
        (instance ?PARTY PoliticalParty)
        (instance ?INST ?PLATFORM)
        (containsInformation ?INST ?PROP))
    (believes ?PARTY ?PROP))
Government.kif 2278-2285
(=>
    (authors ?AGENT ?TEXTCLASS)
    (exists (?PROCESS ?INSTANCE)
        (and
            (agent ?PROCESS ?AGENT)
            (instance ?INSTANCE ?TEXTCLASS)
            (result ?PROCESS ?INSTANCE))))
Merge.kif 15577-15583

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


(=>
    (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 ?H ArtCritic)
    (exists (?T ?AW)
        (and
            (instance ?AW ArtWork)
            (authors ?H ?T)
            (refers ?T ?AW))))
Mid-level-ontology.kif 18756-18762
(=>
    (attribute ?H NewsReporter)
    (exists (?T ?EV)
        (and
            (instance ?EV Process)
            (overlapsTemporally
                (WhenFn ?EV)
                (WhenFn ?H))
            (authors ?H ?T)
            (refers ?T ?EV))))
Mid-level-ontology.kif 18741-18750


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners