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 7253-7254
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 7252-7252 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 15809-15809 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 48020-48020
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48019-48019
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48018-48018

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


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


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