Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  NewspaperPublishers

Sigma KEE - NewspaperPublishers
NewspaperPublishers(newspaper publishers)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 8852-8855
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8613-8613
No TPTP formula. May not be expressible in strict first order. naics.kif 8850-8850 Newspaper publishers is a subattribute of newspaper periodical book and database publishers

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40341-40341
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40340-40340
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40339-40339

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 1912-1916


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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