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

Formal Language: 



KB Term:  Term intersection
English Word: 

  inverse

Sigma KEE - inverse
inverse

appearance as argument number 1
-------------------------


s__documentation(s__inverse__m,s__ChineseLanguage,'BinaryRelation的相反是一种Relation,而属于它 原本Relation所有元组的值都逆转。 换句话说,当一种二元关系和另一种二元关系的参数交换的结果是相等的 话,那这BinaryRelation就是另一种的相反。')

Merge.kif 123-125
s__documentation(s__inverse__m,s__EnglishLanguage,'The inverse of a BinaryRelation is a Relation in which all the tuples of the original Relation are reversed. In other words, one BinaryRelation is the inverse of another if they are equivalent when their arguments are swapped.')

Merge.kif 119-122
s__domain(s__inverse__m,1,s__BinaryRelation)

Merge.kif 117-117 The number 1 argument of inverse is an instance of binary relation
s__domain(s__inverse__m,2,s__BinaryRelation)

Merge.kif 118-118 The number 2 argument of inverse is an instance of binary relation
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__inverse__m,s__BinaryPredicate)

Merge.kif 112-112 inverse is an instance of binary predicate
s__instance(s__inverse__m,s__IntransitiveRelation)

s__instance(s__IntransitiveRelation,s__SetOrClass)

Merge.kif 114-114 inverse is an instance of intransitive relation
s__instance(s__IrreflexiveRelation,s__SetOrClass)

s__instance(s__inverse__m,s__IrreflexiveRelation)

Merge.kif 113-113 inverse is an instance of irreflexive relation
s__instance(s__inverse__m,s__PartialValuedRelation)

s__instance(s__PartialValuedRelation,s__SetOrClass)

Merge.kif 116-116 inverse is an instance of partial valued relation
s__instance(s__SymmetricRelation,s__SetOrClass)

s__instance(s__inverse__m,s__SymmetricRelation)

Merge.kif 115-115 inverse is an instance of symmetric relation

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__inverse__m,'%1 %n 是 %2 的 inverse')

chinese_format.kif 307-307
s__format(s__EnglishLanguage,s__inverse__m,'%1 is %n an inverse of %2')

english_format.kif 186-186
s__termFormat(s__ChineseLanguage,s__inverse__m,'逆向')

chinese_format.kif 308-308 "逆向" is the printable form of inverse in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__inverse__m,'inverse')

domainEnglishFormat.kif 5554-5554 "inverse" is the printable form of inverse in english language

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners