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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - authors
authors

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


(documentation authors ChineseLanguage "(authors ?AGENT ?TEXTCLASS)的意思是 ?AGENT 创作 ?TEXTCLASS 所有实例的内容。例如:阿加莎·克里斯蒂是'东方快车'谋杀案的作者。") chinese_format.kif 3561-3562
(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 15185-15188
(domain authors 1 Agent) Merge.kif 15181-15181 作者 的 1 数量 是 施事体instance
(domainSubclass authors 2 ContentBearingObject) Merge.kif 15182-15182 作者 的 2 数量 是 有内用物体subclass
(instance authors AsymmetricRelation) Merge.kif 15180-15180 作者非对称关系instance
(instance authors BinaryPredicate) Merge.kif 15179-15179 作者二元谓语instance

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 536-536
(subrelation composer authors) Media.kif 1843-1843 composer作者subrelation
(termFormat ChineseLanguage authors "作者") chinese_format.kif 532-532
(termFormat ChineseTraditionalLanguage authors "作者") domainEnglishFormat.kif 9170-9170
(termFormat EnglishLanguage authors "authors") domainEnglishFormat.kif 9169-9169

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


(=>
    (and
        (authors ?AGENT ?CLASS)
        (subclass ?CLASS MusicalComposition))
    (composer ?AGENT ?CLASS))
Media.kif 1849-1853
(=>
    (and
        (instance ?TEXT ?CLASS)
        (subclass ?CLASS FactualText)
        (authors ?AGENT ?CLASS)
        (subsumesContentInstance ?TEXT ?CONTENT)
        (instance ?CONTENT Formula))
    (believes ?AGENT ?CONTENT))
Merge.kif 15125-15132
(=>
    (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 15156-15165
(=>
    (and
        (subclass ?PLATFORM PartyPlatform)
        (authors ?PARTY ?PLATFORM)
        (instance ?PARTY Organization))
    (instance ?PARTY PoliticalParty))
Government.kif 2321-2326
(=>
    (and
        (subclass ?PLATFORM PartyPlatform)
        (authors ?PARTY ?PLATFORM)
        (instance ?PARTY PoliticalParty)
        (instance ?INST ?PLATFORM)
        (containsInformation ?INST ?PROP))
    (believes ?PARTY ?PROP))
Government.kif 2328-2335
(=>
    (and
        (subclass ?PUB JointPublication)
        (instance ?ONE ?PUB)
        (containsInformation ?ONE ?CONTENT)
        (authors ?JORG ?PUB))
    (exists (?ORG)
        (and
            (subOrganization ?ORG USMilitary)
            (confersObligation ?CONTENT ?JORG ?ORG))))
MilitaryProcesses.kif 940-949
(=>
    (authors ?AGENT ?TEXTCLASS)
    (exists (?PROCESS ?INSTANCE)
        (and
            (agent ?PROCESS ?AGENT)
            (instance ?INSTANCE ?TEXTCLASS)
            (result ?PROCESS ?INSTANCE))))
Merge.kif 15191-15197

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 498-507
(=>
    (attribute ?H ArtCritic)
    (exists (?T ?AW)
        (and
            (instance ?AW ArtWork)
            (authors ?H ?T)
            (refers ?T ?AW))))
Mid-level-ontology.kif 20415-20421
(=>
    (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 20400-20409


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