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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Periodical

Sigma KEE - Periodical
Periodical(期刊)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14673-14674
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2722-2722
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2902-2902
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14672-14672 期刊系列subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14663-14663 期刊编号函数 的所得值 是 期刊subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14799-14799 杂志期刊subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14776-14776 报纸期刊subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1043-1043
No TPTP formula. May not be expressible in strict first order. english_format.kif 1297-1297
No TPTP formula. May not be expressible in strict first order. french_format.kif 721-721
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 252-252
No TPTP formula. May not be expressible in strict first order. terms-it.txt 255-255
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2405-2405
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 673-673
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 257-257
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 291-291
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 742-742
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 256-256

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14661-14661 期刊编号函数 的 1 数量 是 期刊subclass

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


No TPTP formula. May not be expressible in strict first order. Media.kif 1906-1910
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14623-14637

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


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


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