MELD/V/TRY-0

From Public Domain Knowledge Bank
Revision as of 17:08, 30 September 2019 by DavidWhitten (talk | contribs) (Created page with " === #$AntiSymmetricBinaryPredicate === <font color=purple>001</font> '''('''#$isa #$AntiSymmetricBinaryPredicate #$Collection ''')'''...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

#$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)
Retrieved from "https://pdkb.chivanet.org/wiki/index.php?title=MELD/V/TRY-0&oldid=964"