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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - equivalenceRelationOn

appearance as argument number 1

(documentation equivalenceRelationOn ChineseLanguage "一个 BinaryRelation 在一个 SetOrClassequivalenceRelationOn,除非这个关系在这个 SetOrClassreflexiveOn, 而且也要既是 TransitiveRelation,又是 SymmetricRelation。") chinese_format.kif 2055-2057
(documentation equivalenceRelationOn EnglishLanguage "A BinaryRelation is an equivalenceRelationOn a Class only if the relation is reflexiveOn the Class and it is both a TransitiveRelation and a SymmetricRelation.") Merge.kif 3708-3711
(documentation equivalenceRelationOn JapaneseLanguage "BinaryRelation は、関係が SetOrClass の reflexiveOn であり、TransitiveRelationSymmetricRelation の両方で ある場合にのみ、SetOrClassequivalenceRelationOn である。") japanese_format.kif 700-702
(domain equivalenceRelationOn 1 BinaryRelation) Merge.kif 3705-3705 Le nombre 1 argument de equivalenceRelationOn est une instance de relation binaire
(domain equivalenceRelationOn 2 Class) Merge.kif 3706-3706 Le nombre 2 argument de equivalenceRelationOn est une instance de classe
(instance equivalenceRelationOn AsymmetricRelation) Merge.kif 3704-3704 equivalenceRelationOn est une instance de relation asym�trique
(instance equivalenceRelationOn BinaryPredicate) Merge.kif 3703-3703 equivalenceRelationOn est une instance de pr�dicat binaire

appearance as argument number 2

(format ChineseLanguage equivalenceRelationOn "%1 和 %2 %n 是 EquivalenceRelation") chinese_format.kif 99-99
(format EnglishLanguage equivalenceRelationOn "%1 is %n an equivalence relation on %2") english_format.kif 99-99
(format FrenchLanguage equivalenceRelationOn "%1 a une %n relation d'�quivalence avec %2") french_format.kif 72-72
(format ItalianLanguage equivalenceRelationOn "%1 è %n relazione di equivalenza su %2") relations-it.txt 97-97
(format JapaneseLanguage equivalenceRelationOn "%1 は %2 と equivalence 関係が %n") japanese_format.kif 1898-1898
(format PortugueseLanguage equivalenceRelationOn "%1 tem uma %n relacao de equivalencia com %2") portuguese_format.kif 24-24
(format cz equivalenceRelationOn "%1 %p{je} %n{nen�} equivalence relation on %2") relations-cz.txt 112-112
(format de equivalenceRelationOn "%1 ist eine aequivalenzrelation mit %2 %n{nicht}") relations-de.txt 112-112
(format hi equivalenceRelationOn "%1 %2 para tulyataasmbandha %n hai") relations-hindi.txt 137-137
(format ro equivalenceRelationOn "%1 %n{nu} este o relaþie de equivalence%t{echivalenþã} peste %2") relations-ro.kif 91-91
(format sv equivalenceRelationOn "%1 är %n{inte} en ekvivalensrelation till %2") relations-sv.txt 71-71
(format tg equivalenceRelationOn "%1 %n ay ang ugnay ng tulad sa %2") relations-tg.txt 207-207
(termFormat ChineseLanguage equivalenceRelationOn "属于等价关系") chinese_format.kif 100-100
(termFormat ChineseLanguage equivalenceRelationOn "等价关系") domainEnglishFormat.kif 22366-22366
(termFormat ChineseTraditionalLanguage equivalenceRelationOn "等價關係") domainEnglishFormat.kif 22365-22365
(termFormat EnglishLanguage equivalenceRelationOn "equivalence relation on") domainEnglishFormat.kif 22364-22364
(termFormat de equivalenceRelationOn "aequivalenzrelationMit") terms-de.txt 32-32


    (equivalenceRelationOn ?RELATION ?CLASS)
        (instance ?RELATION TransitiveRelation)
        (instance ?RELATION SymmetricRelation)
        (reflexiveOn ?RELATION ?CLASS)))
Merge.kif 3713-3718

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