inverse


Sigma KEE  inverse
appearance as argument number 1


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

Merge.kif 123125 

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 119122 

s__domain(s__inverse__m,1,s__BinaryRelation)

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

Merge.kif 118118 
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 112112 
inverse is an instance of binary predicate 
s__instance(s__inverse__m,s__IntransitiveRelation)
s__instance(s__IntransitiveRelation,s__SetOrClass)

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

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

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

Merge.kif 115115 
inverse is an instance of symmetric relation 
appearance as argument number 2


