Proposition(proposition)

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


(subclass RegionalLaw Proposition) Government.kif 825-825 Regional law is a subclass of proposition
(subclass ScientificLaw Proposition) engineering.kif 1553-1553 Scientific law is a subclass of proposition
(subclass SuffrageLaw Proposition) Government.kif 861-861 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 TPFDD is a subclass of proposition
(termFormat EnglishLanguage Proposition "proposition") english_format.kif 1071-1071 TPFDD is a subclass of proposition
(termFormat FrenchLanguage Proposition "proposition ") french_format.kif 608-608 TPFDD is a subclass of proposition
(termFormat Hindi Proposition "prastaava") terms-hindi.txt 139-139 TPFDD is a subclass of proposition
(termFormat ItalianLanguage Proposition "Proposizione") terms-it.txt 142-142 TPFDD is a subclass of proposition
(termFormat JapaneseLanguage Proposition "命題") japanese_format.kif 2293-2293 TPFDD is a subclass of proposition
(termFormat PortugueseLanguage Proposition "Proposicao") portuguese_format.kif 560-560 TPFDD is a subclass of proposition
(termFormat cb Proposition "tanyag") terms-cb.txt 144-144 TPFDD is a subclass of proposition
(termFormat cz Proposition "proposition") terms-cz.txt 176-176 TPFDD is a subclass of proposition
(termFormat de Proposition "Proposition") terms-de.txt 435-435 TPFDD is a subclass of proposition
(termFormat ro Proposition "propoziþie") relations-ro.kif 629-629 TPFDD is a subclass of proposition
(termFormat tg Proposition "panukala") terms-tg.txt 143-143 TPFDD is a subclass of proposition


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