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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Publisher
Publisher(出版者)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7254-7255
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 7253-7253 出版者 是 生产厂家 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Media.kif 1693-1693 BookPublisher 是 出版者 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15810-15810 期刊出版商 是 出版者 的 subclass
No TPTP formula. May not be expressible in strict first order. Media.kif 1684-1684 RecordingCompany 是 出版者 的 subclass
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 7257-7263


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