Proposition(proposition)

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


(subclass Procedure Proposition) Merge.kif 16777-16777 Procedure is a subclass of proposition
(subclass RegionalLaw Proposition) Government.kif 863-863 Regional law is a subclass of proposition
(subclass ScientificLaw Proposition) engineering.kif 1240-1240 Scientific law is a subclass of proposition
(subclass SuffrageLaw Proposition) Government.kif 899-899 Suffrage law is a subclass of proposition
(subclass TPFDD Proposition) MilitaryProcesses.kif 1630-1630 TPFDD is a subclass of proposition
(termFormat ChineseLanguage Proposition "命题") chinese_format.kif 932-932
(termFormat EnglishLanguage Proposition "proposition") english_format.kif 1071-1071
(termFormat FrenchLanguage Proposition "proposition ") french_format.kif 608-608
(termFormat Hindi Proposition "prastaava") terms-hindi.txt 139-139
(termFormat ItalianLanguage Proposition "Proposizione") terms-it.txt 142-142
(termFormat JapaneseLanguage Proposition "命題") japanese_format.kif 2293-2293
(termFormat PortugueseLanguage Proposition "Proposicao") portuguese_format.kif 560-560
(termFormat cb Proposition "tanyag") terms-cb.txt 144-144
(termFormat cz Proposition "proposition") terms-cz.txt 176-176
(termFormat ro Proposition "propoziþie") relations-ro.kif 629-629
(termFormat tg Proposition "panukala") terms-tg.txt 143-143


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