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 14371-14374
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14367-14367	The number 1 argument of publishes is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14368-14368	The number 2 argument of publishes is a subclass of text
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14366-14366	publishes is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14365-14365	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 48008-48008
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48007-48007
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48006-48006

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 1902-1906	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
No TPTP formula. May not be expressible in strict first order.	Media.kif 1890-1894	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
No TPTP formula. May not be expressible in strict first order.	Media.kif 1914-1918	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
No TPTP formula. May not be expressible in strict first order.	Media.kif 1908-1912	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
No TPTP formula. May not be expressible in strict first order.	Media.kif 1896-1900	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14377-14385	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