| 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