Publication
|
|
appearance as argument number 1 |
(documentation Publication ChineseLanguage "这是 Manufacture Text 的过程。注:这并不意味着 发行 Text,当出现发行时,这会是 Dissemination 的实例。") | chinese_format.kif 3222-3223 | |
(documentation Publication EnglishLanguage "The Manufacture of Texts. Note that there is no implication that the Texts are distributed. Such distribution, when it occurs, is an instance of Dissemination.") | Merge.kif 12869-12871 | |
(subclass Publication ContentDevelopment) | Merge.kif 12868-12868 | Editoria è una sottoclasse di SviluppoDelContenuto |
(subclass Publication Manufacture) | Merge.kif 12867-12867 | Editoria è una sottoclasse di Lavorazione |
appearance as argument number 2 |
(termFormat ChineseLanguage Publication "出版") | chinese_format.kif 1188-1188 | |
(termFormat EnglishLanguage Publication "publication") | english_format.kif 1593-1593 | |
(termFormat FrenchLanguage Publication "publier") | french_format.kif 866-866 | |
(termFormat Hindi Publication "prakaashana") | terms-hindi.txt 398-398 | |
(termFormat ItalianLanguage Publication "Editoria") | terms-it.txt 401-401 | |
(termFormat JapaneseLanguage Publication "出版") | japanese_format.kif 2550-2550 | |
(termFormat PortugueseLanguage Publication "Publicacao") | portuguese_format.kif 818-818 | |
(termFormat cb Publication "pamantalaan") | terms-cb.txt 403-403 | |
(termFormat cz Publication "publication") | terms-cz.txt 437-437 | |
(termFormat ro Publication "publicare") | relations-ro.kif 887-887 | |
(termFormat tg Publication "pagmantala") | terms-tg.txt 402-402 |
antecedent |
consequent |
(=> (and (publishes ?ORG ?TEXTCLASS) (instance ?INST ?TEXTCLASS)) (exists (?PUB) (and (instance ?PUB Publication) (agent ?PUB ?ORG) (patient ?PUB ?INST)))) |
Merge.kif 15518-15526 | |
(=> (and (subclass ?PAPER Newspaper) (instance ?WEEK Week)) (exists (?PUBLICATION ?ISSUE) (and (instance ?PUBLICATION Publication) (temporalPart (WhenFn ?PUBLICATION) ?WEEK) (result ?PUBLICATION ?ISSUE) (instance ?ISSUE ?PAPER)))) |
Mid-level-ontology.kif 14788-14797 | |
(=> (instance ?C PeriodicalPublisher) (exists (?PUBLISH ?PERIODICAL) (and (instance ?PUBLISH Publication) (agent ?PUBLISH ?C) (patient ?PUBLISH ?PERIODICAL) (instance ?PERIODICAL Periodical)))) |
Mid-level-ontology.kif 15813-15820 | |
(=> (instance ?C Publisher) (exists (?S) (and (instance ?S CommercialService) (agent ?S ?C) (instance ?S Publication)))) |
Mid-level-ontology.kif 7256-7262 |
|