(documentation inverse ChineseLanguage "BinaryRelation的相反是一种Relation,而属于它 原本Relation所有元组的值都逆转。 换句话说，当一种二元关系和另一种二元关系的参数交换的结果是相等的 话，那这BinaryRelation就是另一种的相反。") 
Merge.kif 123125 

(documentation inverse 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 

(domain inverse 1 BinaryRelation) 
Merge.kif 117117 
The number 1 argument of inverse is an instance of binary relation 
(domain inverse 2 BinaryRelation) 
Merge.kif 118118 
The number 2 argument of inverse is an instance of binary relation 
(instance inverse BinaryPredicate) 
Merge.kif 112112 
inverse is an instance of binary predicate 
(instance inverse IntransitiveRelation) 
Merge.kif 114114 
inverse is an instance of intransitive relation 
(instance inverse IrreflexiveRelation) 
Merge.kif 113113 
inverse is an instance of irreflexive relation 
(instance inverse PartialValuedRelation) 
Merge.kif 116116 
inverse is an instance of partial valued relation 
(instance inverse SymmetricRelation) 
Merge.kif 115115 
inverse is an instance of symmetric relation 