Proposition

-------------------------


(subclass SuffrageLaw Proposition) Government.kif 885-885
(subclass TPFDD Proposition) MilitaryProcesses.kif 1611-1611
(termFormat ChineseLanguage Proposition "命题") chinese_format.kif 932-932
(termFormat EnglishLanguage Proposition "proposition") english_format.kif 1076-1076


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