Proposition(Proposizione) |
(subclass RegionalLaw Proposition) | Government.kif 827-827 | RegionalLaw è una sottoclasse di Proposizione |
(subclass ScientificLaw Proposition) | engineering.kif 1240-1240 | ScientificLaw è una sottoclasse di Proposizione |
(subclass SuffrageLaw Proposition) | Government.kif 863-863 | SuffrageLaw è una sottoclasse di Proposizione |
(subclass TPFDD Proposition) | MilitaryProcesses.kif 1630-1630 | TPFDD è una sottoclasse di Proposizione |
(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 |