IrreflexiveRelation(非反射関係) |
(termFormat ChineseLanguage IrreflexiveRelation "非自反关系") | chinese_format.kif 894-894 | |
(termFormat EnglishLanguage IrreflexiveRelation "irreflexive relation") | english_format.kif 990-990 | |
(termFormat FrenchLanguage IrreflexiveRelation "relation irr�flexive") | french_format.kif 570-570 | |
(termFormat Hindi IrreflexiveRelation "anaatmavaachaka sambandha") | terms-hindi.txt 100-100 | |
(termFormat ItalianLanguage IrreflexiveRelation "RelazioneNonRiflessiva") | terms-it.txt 103-103 | |
(termFormat JapaneseLanguage IrreflexiveRelation "非反射関係") | japanese_format.kif 2255-2255 | |
(termFormat PortugueseLanguage IrreflexiveRelation "Relacao Irreflexiva") | portuguese_format.kif 522-522 | |
(termFormat cz IrreflexiveRelation "irreflexive relation") | terms-cz.txt 137-137 | |
(termFormat ro IrreflexiveRelation "relaþie nereflexivã") | relations-ro.kif 591-591 | |
(termFormat tg IrreflexiveRelation "") | terms-tg.txt 104-104 |