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 15460-15463
(domain authors 1 AutonomousAgent) Merge.kif 15456-15456 The number 1 argument of authors is an instance of agent
(domainSubclass authors 2 ContentBearingObject) Merge.kif 15457-15457 The number 2 argument of authors is a subclass of content bearing object
(instance authors AsymmetricRelation) Merge.kif 15455-15455 authors is an instance of asymmetric relation
(instance authors BinaryPredicate) Merge.kif 15454-15454 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 536-536
(format FrenchLanguage authors "%1 est %n l' auteur de %2") french_format.kif 313-313
(format ItalianLanguage authors "%1 è l' autore di %2") relations-it.txt 30-30
(format JapaneseLanguage authors "%1 は %2 の author では %n") japanese_format.kif 2081-2081
(format PortugueseLanguage authors "%1 e' %n o autor de %2") portuguese_format.kif 265-265
(format cb authors "%1 ang nagsulat sa %2") relations-cb.txt 64-64
(format de authors "%1 ist der schreiber von %2") relations-de.txt 692-692
(format hi authors "%1 %2 kaa lekhaka hai") relations-hindi.txt 74-74
(format ro authors "%1 %n{nu} este author%t{autorul} lucrãrii %2") relations-ro.kif 334-334
(format sv authors "%1 är %n{inte} författaren till %2") relations-sv.txt 345-345
(format tg authors "%1 ay ang sumulat ng %2") relations-tg.txt 76-76
(termFormat ChineseLanguage authors "作者") chinese_format.kif 532-532
(termFormat ChineseTraditionalLanguage authors "作者") domainEnglishFormat.kif 9161-9161
(termFormat EnglishLanguage authors "authors") domainEnglishFormat.kif 9160-9160
(termFormat tg authors "sumulat") relations-tg.txt 77-77

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


(=>
    (and
        (instance ?TEXT ?CLASS)
        (subclass ?CLASS FactualText)
        (authors ?AGENT ?CLASS)
        (subsumesContentInstance ?TEXT ?CONTENT)
        (instance ?CONTENT Formula))
    (believes ?AGENT ?CONTENT))
Merge.kif 15400-15407
(=>
    (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 15431-15440
(=>
    (and
        (subclass ?PLATFORM PartyPlatform)
        (authors ?PARTY ?PLATFORM)
        (instance ?PARTY Organization))
    (instance ?PARTY PoliticalParty))
Government.kif 2324-2329
(=>
    (and
        (subclass ?PLATFORM PartyPlatform)
        (authors ?PARTY ?PLATFORM)
        (instance ?PARTY PoliticalParty)
        (instance ?INST ?PLATFORM)
        (containsFormula ?INST ?P))
    (believes ?PARTY ?P))
Government.kif 2331-2338
(=>
    (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 15466-15472

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


(=>
    (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 ?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 21089-21101
(=>
    (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 21066-21080


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