| appearance as argument number 1 |
|
| (instance authors BinaryPredicate) | Merge.kif 15629-15629 | authors is an instance of binary predicate |
| (domain authors 1 AutonomousAgent) | Merge.kif 15630-15630 | The number 1 argument of authors is an instance of agent |
| (domainSubclass authors 2 ContentBearingObject) | Merge.kif 15631-15631 | 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 15634-15637 | 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) (subsumesContentInstance ?TEXT ?CONTENT) (instance ?CONTENT Formula)) (believes ?AGENT ?CONTENT)) |
Merge.kif 15575-15582 | If X is an instance of Y, Y is a subclass of factual text, Z is the author of Y, X subsumes the content of W, and W is an instance of formula, then Z believes W |
| (=> (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 15606-15615 | 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 subsumes the content of W, W is an instance of formula, and Z doesn't believe W |
| (=> (authors ?AGENT ?TEXTCLASS) (exists (?PROCESS ?INSTANCE) (and (agent ?PROCESS ?AGENT) (instance ?INSTANCE ?TEXTCLASS) (result ?PROCESS ?INSTANCE)))) |
Merge.kif 15640-15646 | 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 2285-2290 | 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 2292-2299 | 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) (containsInformation ?ONE ?CONTENT) (authors ?JORG ?PUB)) (exists (?ORG) (and (subOrganization ?ORG USMilitary) (confersObligation ?CONTENT ?ORG ?JORG)))) |
MilitaryProcesses.kif 959-968 | If X is a subclass of joint publication, Y is an instance of X, Y contains information Z, and W is the author of X, then there exists V such that V is a part of the organization US military and V obligates W to perform task of the type Z |
| 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 23374-23388 | 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 23397-23409 | 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 749-759 | 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 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