authors - Sigma Knowledge base Browser

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 15506-15509
(domain authors 1 AutonomousAgent)	Merge.kif 15502-15502	The number 1 argument of authors is an instance of agent
(domainSubclass authors 2 ContentBearingObject)	Merge.kif 15503-15503	The number 2 argument of authors is a subclass of content bearing object
(instance authors AsymmetricRelation)	Merge.kif 15501-15501	authors is an instance of asymmetric relation
(instance authors BinaryPredicate)	Merge.kif 15500-15500	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 9169-9169
(termFormat EnglishLanguage authors "authors")	domainEnglishFormat.kif 9168-9168
(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 15446-15453	If a content bearing physical is an instance of a kind of content bearing object and a kind of content bearing object is a subclass of factual text and a cognitive agent is the author of the kind of content bearing object and the content bearing physical subsumes the content of a formula and the formula is an instance of formula, then the cognitive agent believes the formula
(=> (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 15477-15486	If a content bearing physical is an instance of a kind of content bearing object and a kind of content bearing object is a subclass of fictional text and a cognitive agent is the author of the kind of content bearing object, then there exists a formula such that the content bearing physical subsumes the content of the formula and the formula is an instance of formula and the cognitive agent doesn't believe the formula
(=> (and (subclass ?PLATFORM PartyPlatform) (authors ?PARTY ?PLATFORM) (instance ?PARTY Organization)) (instance ?PARTY PoliticalParty))	Government.kif 2288-2293	If a kind of content bearing object is a subclass of party platform and an agent is the author of a kind of content bearing object and the agent is an instance of organization, then the agent 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 2295-2302	If a kind of content bearing object is a subclass of party platform and a cognitive agent is the author of a kind of content bearing object and the cognitive agent is an instance of political party and a content bearing physical is an instance of the kind of content bearing object and the content bearing physical contains the formula a formula, then the cognitive agent believes the formula
(=> (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	If a kind of content bearing object is a subclass of joint publication and a content bearing physical is an instance of a kind of content bearing object and the content bearing physical contains information a formula and an agent is the author of the kind of content bearing object, then there exists an organization such that the organization is a part of the organization US military and the agent obligates the organization to perform task of the type the formula
(=> (authors ?AGENT ?TEXTCLASS) (exists (?PROCESS ?INSTANCE) (and (agent ?PROCESS ?AGENT) (instance ?INSTANCE ?TEXTCLASS) (result ?PROCESS ?INSTANCE))))	Merge.kif 15512-15518	If an agent is the author of a kind of content bearing object, then there exist a process and an entity such that the agent is an agent of the process and the entity is an instance of a kind of content bearing object and the entity is a result of the process

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	If writer is an attribute of an agent and an entity is an instance of a kind of content bearing object and a kind of content bearing object is a subclass of text or the kind of content bearing object is a subclass of document and a process is an instance of writing and the agent is an agent of the process and the entity is a result of the process, then the agent is the author of the kind of content bearing object
(=> (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 21347-21359	If art critic is an attribute of an object, then the object has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of art work and the time of existence of the object overlaps the time of existence of the entity and the other entity is an instance of the third entity and the third entity is a subclass of article and the object is the author of the third entity and the other entity includes a reference to the entity
(=> (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 21324-21338	If news reporter is an attribute of an object, then the object has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of process and the time of existence of the object overlaps the time of existence of the entity and the other entity is an instance of the third entity and the third entity is a subclass of newspaper or the third entity is a subclass of newsprogram and the object is the author of the third entity and the other entity includes a reference to the entity

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