irreflexiveOn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation irreflexiveOn ChineseLanguage "一个 BinaryRelation 在一个 SetOrClass 是非自反的除非这个 SetOrClass 里没有一个实里戴着和自身相关的关系。")	chinese_format.kif 2043-2044
(documentation irreflexiveOn JapaneseLanguage "BinaryRelation は、SetOrClass のインスタンスがそれ自体との関係を持たない場合にのみ、SetOrClass に対して非再帰的である。")	japanese_format.kif 688-689

appearance as argument number 2

(format ChineseLanguage irreflexiveOn "%1 在 %2 %n 是非自反关系")	chinese_format.kif 137-137
(format FrenchLanguage irreflexiveOn "%1 est %n irr�fl�xif par rapport %2")	french_format.kif 90-90
(format ItalianLanguage irreflexiveOn "%1 è %n irriflessivo su %2")	relations-it.txt 156-156
(format JapaneseLanguage irreflexiveOn "%1 は %2 に irreflexive では %n")	japanese_format.kif 1917-1917
(format PortugueseLanguage irreflexiveOn "%1 e' %n irreflexivo em %2")	portuguese_format.kif 42-42
(format cz irreflexiveOn "%1 %p{je} %n{nen�} irreflexive on %2")	relations-cz.txt 108-108
(format de irreflexiveOn "%1 ist irreflexiv auf %2 %n{nicht}")	relations-de.txt 166-166
(format hi irreflexiveOn "%1 %2 para asvatulya %n hai")	relations-hindi.txt 195-195
(format ro irreflexiveOn "%1 %n{nu} este irreflexive%t{ireflexivã} pe %2")	relations-ro.kif 109-109
(format sv irreflexiveOn "%1 är %n{inte} irreflexiv över %2")	relations-sv.txt 89-89
(termFormat ChineseLanguage irreflexiveOn "属于非自反关系")	chinese_format.kif 138-138
(termFormat de irreflexiveOn "irreflexivAur")	terms-de.txt 50-50