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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Publication

Sigma KEE - Publication
Publication(出版)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3222-3223
No TPTP formula. May not be expressible in strict first order. Merge.kif 12847-12849
No TPTP formula. May not be expressible in strict first order. Merge.kif 12846-12846 出版内容制作subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 12845-12845 出版制造subclass

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1188-1188
No TPTP formula. May not be expressible in strict first order. english_format.kif 1593-1593
No TPTP formula. May not be expressible in strict first order. french_format.kif 866-866
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 398-398
No TPTP formula. May not be expressible in strict first order. terms-it.txt 401-401
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2550-2550
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 818-818
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 403-403
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 437-437
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 887-887
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 402-402

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15515-15532
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14624-14638
No TPTP formula. May not be expressible in strict first order. Merge.kif 12854-12859

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15496-15504
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14789-14798
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15814-15821
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