publishes - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - publishes

publishes

appearance as argument number 1

(documentation publishes ChineseLanguage "(publishes ?ORG ?TEXTCLASS)的意思是 ?ORG 出版了 ?TEXTCLASS 的所有实例。例如：'Bantam Books'出版了阿加莎·克里斯蒂所作的'东方快车'谋杀案。")	chinese_format.kif 3565-3566
(documentation publishes EnglishLanguage "(publishes ?ORG ?TEXTCLASS) means that ?ORG publishes all instances of ?TEXTCLASS. For example, Bantam Books publishes Agatha Christie's Murder_on_the_Orient_Express.")	Merge.kif 15221-15224
(domain publishes 1 Organization)	Merge.kif 15217-15217	The number 1 argument of publishes is an instance of organization
(domainSubclass publishes 2 Text)	Merge.kif 15218-15218	The number 2 argument of publishes is a subclass of text
(instance publishes AsymmetricRelation)	Merge.kif 15216-15216	publishes is an instance of asymmetric relation
(instance publishes BinaryPredicate)	Merge.kif 15215-15215	publishes is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage publishes "%1 %n{doesn't} publishes %2")	chinese_format.kif 535-535
(format EnglishLanguage publishes "%1 %n{doesn't} publishe%p{s} %2")	english_format.kif 540-540
(termFormat ChineseLanguage publishes "出版")	chinese_format.kif 536-536
(termFormat ChineseLanguage publishes "发布")	domainEnglishFormat.kif 48009-48009
(termFormat ChineseTraditionalLanguage publishes "發布")	domainEnglishFormat.kif 48008-48008
(termFormat EnglishLanguage publishes "publishes")	domainEnglishFormat.kif 48007-48007

antecedent

(=> (and (holdsDuring ?T1 (publishes ?AGENT ?COMPCLASS)) (subclass ?COMPCLASS Book)) (holdsDuring ?T1 (attribute ?AGENT BookPublishers)))	Media.kif 1898-1902	If an entity publishes a class holds during a time position and the class is a subclass of book, then book publishers is an attribute of the entity holds during the time position
(=> (and (holdsDuring ?T1 (publishes ?AGENT ?COMPCLASS)) (subclass ?COMPCLASS MusicalComposition)) (holdsDuring ?T1 (attribute ?AGENT MusicPublishers)))	Media.kif 1886-1890	If an entity publishes a class holds during a time position and the class is a subclass of musical composition, then music publishers is an attribute of the entity holds during the time position
(=> (and (holdsDuring ?T1 (publishes ?AGENT ?COMPCLASS)) (subclass ?COMPCLASS Newspaper)) (holdsDuring ?T1 (attribute ?AGENT NewspaperPublishers)))	Media.kif 1910-1914	If an entity publishes a class holds during a time position and the class is a subclass of newspaper, then newspaper publishers is an attribute of the entity holds during the time position
(=> (and (holdsDuring ?T1 (publishes ?AGENT ?COMPCLASS)) (subclass ?COMPCLASS Periodical)) (holdsDuring ?T1 (attribute ?AGENT PeriodicalPublishers)))	Media.kif 1904-1908	If an entity publishes a class holds during a time position and the class is a subclass of periodical, then periodical publishers is an attribute of the entity holds during the time position
(=> (and (holdsDuring ?T1 (publishes ?AGENT ?COMPCLASS)) (subclass ?COMPCLASS Text)) (holdsDuring ?T1 (attribute ?AGENT InformationIndustries)))	Media.kif 1892-1896	If an entity publishes a class holds during a time position and the class is a subclass of text, then information industry is an attribute of the entity holds during the time position
(=> (and (publishes ?ORG ?TEXTCLASS) (instance ?INST ?TEXTCLASS)) (exists (?PUB) (and (instance ?PUB Publication) (agent ?PUB ?ORG) (patient ?PUB ?INST))))	Merge.kif 15227-15235	If an organization publishes a kind of text and an entity is an instance of a kind of text, then there exists a process such that the process is an instance of publication and the organization is an agent of the process and the entity is a patient of the process

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