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 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 子類 出版者 and 生產廠家

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


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