Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  irreflexiveOn

Sigma KEE - irreflexiveOn
irreflexiveOn

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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