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

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3565-3566
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14185-14188
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14181-14181	The number 1 argument of publishes is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14182-14182	The number 2 argument of publishes is a subclass of text
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14180-14180	publishes is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14179-14179	publishes is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 535-535
No TPTP formula. May not be expressible in strict first order.	english_format.kif 543-543
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 536-536	"出版" is the printable form of publishes in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47965-47965	"发布" is the printable form of publishes in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47964-47964	"發布" is the printable form of publishes in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47963-47963	"publishes" is the printable form of publishes in english language

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 1902-1906	If an entity publishes a set or class holds during a time position and the set or class is a subclass of book, then book publishers is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Media.kif 1890-1894	If an entity publishes a set or class holds during a time position and the set or class is a subclass of musical composition, then music publishers is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Media.kif 1914-1918	If an entity publishes a set or class holds during a time position and the set or class is a subclass of newspaper, then newspaper publishers is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Media.kif 1908-1912	If an entity publishes a set or class holds during a time position and the set or class is a subclass of periodical, then periodical publishers is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Media.kif 1896-1900	If an entity publishes a set or class holds during a time position and the set or class is a subclass of text, then information industry is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14191-14199	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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners