| 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 14306-14309 | |
| (domain authors 1 Agent) | Merge.kif 14302-14302 | |
| (domainSubclass authors 2 ContentBearingObject) | Merge.kif 14303-14303 | |
| (instance authors AsymmetricRelation) | Merge.kif 14301-14301 | |
| (instance authors BinaryPredicate) | Merge.kif 14300-14300 |
| 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 539-539 | |
| (subrelation composer authors) | Media.kif 1847-1847 | |
| (termFormat ChineseLanguage authors "作者") | chinese_format.kif 532-532 | |
| (termFormat ChineseTraditionalLanguage authors "作者") | domainEnglishFormat.kif 9174-9174 | |
| (termFormat EnglishLanguage authors "authors") | domainEnglishFormat.kif 9173-9173 |
| 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 940-948 | |
| (=> (and (instance ?TEXT ?CLASS) (subclass ?CLASS FactualText) (authors ?AGENT ?CLASS) (subsumesContentInstance ?TEXT ?CONTENT) (instance ?CONTENT Formula)) (believes ?AGENT ?CONTENT)) |
Merge.kif 14246-14253 | |
| (=> (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 14277-14286 | |
| (=> (and (subclass ?PLATFORM PartyPlatform) (authors ?PARTY ?PLATFORM) (instance ?PARTY Organization)) (instance ?PARTY PoliticalParty)) |
Government.kif 2265-2270 | |
| (=> (and (subclass ?PLATFORM PartyPlatform) (authors ?PARTY ?PLATFORM) (instance ?PARTY PoliticalParty) (instance ?INST ?PLATFORM) (containsInformation ?INST ?PROP)) (believes ?PARTY ?PROP)) |
Government.kif 2272-2279 | |
| (=> (authors ?AGENT ?TEXTCLASS) (exists (?PROCESS ?INSTANCE) (and (agent ?PROCESS ?AGENT) (instance ?INSTANCE ?TEXTCLASS) (result ?PROCESS ?INSTANCE)))) |
Merge.kif 14312-14318 |
| 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 18783-18789 | |
| (=> (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 18768-18777 |
|
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