MELD/V/TRY-0

#$AntiSymmetricBinaryPredicate

001

(#$isa #$AntiSymmetricBinaryPredicate #$Collection )

002

(#$genls #$AntiSymmetricBinaryPredicate #$BinaryPredicate )

003

(#$implies 
   (#$and 
      (#$isa ?SLOT #$AntiSymmetricBinaryPredicate) 
      (#$isa ?SLOT #$IrreflexiveBinaryPredicate) ) 
   (#$isa ?SLOT #$AsymmetricBinaryPredicate)
)

;;; #$Assertion

004
(#$isa #$Assertion #$Collection)

005
(#$genls #$Assertion #$CycIndexedTerm)

006
(#$genls #$Assertion #$IndividualObject)

;;; #$AsymmetricBinaryPredicate

007
(#$isa #$AsymmetricBinaryPredicate #$Collection )

008
(#$genls #$AsymmetricBinaryPredicate #$AntiSymmetricBinaryPredicate )

009
(#$genls #$AsymmetricBinaryPredicate]] #$IrreflexiveBinaryPredicate )

010
(#$not (#$and 
     (#$isa ?PRED #$AsymmetricBinaryPredicate) 
     (?PRED ?ARG1 ?ARG2) 
     (?PRED ?ARG2 ?ARG1)
                       ) )

011
(#$implies 
   (#$and 
      (#$isa ?Q #$AsymmetricBinaryPredicate) 
      (#$genlPreds ?P ?Q)
   ) 
   (#$isa ?P #$AsymmetricBinaryPredicate)
)

012
(#$implies 
    (#$isa ?PRED #$AsymmetricBinaryPredicate) 
    (#$negationInverse ?PRED ?PRED)
)

;;; #$AttributeValue

013
(#$isa #$AttributeValue #$Collection)

014
(#$genls #$AttributeValue #$IndividualObject)