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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Publisher

 Sigma KEE - Publisher
Publisher

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7281-7282
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7685-7685
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7280-7280 Publisher e' uma sub-classe de Manufacturer

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


No TPTP formula. May not be expressible in strict first order. Media.kif 1693-1693 BookPublisher e' uma sub-classe de Publisher
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15837-15837 PeriodicalPublisher e' uma sub-classe de Publisher
No TPTP formula. May not be expressible in strict first order. Media.kif 1684-1684 RecordingCompany e' uma sub-classe de Publisher
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48022-48022
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48021-48021
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48020-48020

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7284-7290


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