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 14319-14322
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14315-14315	The number 1 argument of publishes is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14316-14316	The number 2 argument of publishes is a subclass of text
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14314-14314	publishes is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14313-14313	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
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47924-47924
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47923-47923
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47922-47922

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 14325-14333	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