https://pdkb.chivanet.org/wiki/index.php?action=history&feed=atom&title=MELD%2FV%2FTRY-0 MELD/V/TRY-0 - Revision history 2026-06-10T05:17:42Z Revision history for this page on the wiki MediaWiki 1.29.1 https://pdkb.chivanet.org/wiki/index.php?title=MELD/V/TRY-0&diff=964&oldid=prev DavidWhitten: Created page with " === #$AntiSymmetricBinaryPredicate === <font color=purple>001</font> '''('''#$isa #$AntiSymmetricBinaryPredicate #$Collection ''')'''..." 2019-09-30T17:08:28Z <p>Created page with &quot; === <a href="#.24AntiSymmetricBinaryPredicate">#$AntiSymmetricBinaryPredicate</a> === &lt;font color=purple&gt;<a href="/wiki/index.php?title=MELD_KERNEL_KB/1&amp;action=edit&amp;redlink=1" class="new" title="MELD KERNEL KB/1 (page does not exist)">001</a>&lt;/font&gt; &#039;&#039;&#039;(&#039;&#039;&#039;<a href="#.24isa">#$isa</a> <a href="#.24AntiSymmetricBinaryPredicate">#$AntiSymmetricBinaryPredicate</a> <a href="#.24Collection">#$Collection</a> &#039;&#039;&#039;)&#039;&#039;&#039;...&quot;</p> <p><b>New page</b></p><div><br /> === [[#$AntiSymmetricBinaryPredicate]] ===<br /> <br /> &lt;font color=purple&gt;[[MELD KERNEL KB/1|001]]&lt;/font&gt;<br /> &#039;&#039;&#039;(&#039;&#039;&#039;[[#$isa]] [[#$AntiSymmetricBinaryPredicate]] [[#$Collection]] &#039;&#039;&#039;)&#039;&#039;&#039;<br /> <br /> &lt;font color=purple&gt;[[MELD KERNEL KB/2|002]]&lt;/font&gt;<br /> &#039;&#039;&#039;(&#039;&#039;&#039;[[#$genls]] [[#$AntiSymmetricBinaryPredicate]] [[#$BinaryPredicate]] &#039;&#039;&#039;)&#039;&#039;&#039;<br /> <br /> &lt;font color=purple&gt;[[MELD KERNEL KB/3|003]]&lt;/font&gt;<br /> &#039;&#039;&#039;(&#039;&#039;&#039;[[#$implies]] <br /> &#039;&#039;&#039;(&#039;&#039;&#039;#$and <br /> &#039;&#039;&#039;(&#039;&#039;&#039;[[#$isa]] ?SLOT [[#$AntiSymmetricBinaryPredicate]]&#039;&#039;&#039;)&#039;&#039;&#039; <br /> &#039;&#039;&#039;(&#039;&#039;&#039;[[#$isa]] ?SLOT [[#$IrreflexiveBinaryPredicate]]&#039;&#039;&#039;)&#039;&#039;&#039; &#039;&#039;&#039;)&#039;&#039;&#039; <br /> &#039;&#039;&#039;(&#039;&#039;&#039;[[#$isa]] ?SLOT [[#$AsymmetricBinaryPredicate]]&#039;&#039;&#039;)&#039;&#039;&#039;<br /> &#039;&#039;&#039;)&#039;&#039;&#039;<br /> <br /> === ;;; [[#$Assertion]] ===<br /> <br /> &lt;font color=purple&gt;[[MELD KERNEL KB/4|004]]&lt;/font&gt;<br /> &#039;&#039;&#039;(&#039;&#039;&#039;[[#$isa]] [[#$Assertion]] [[#$Collection]]&#039;&#039;&#039;)&#039;&#039;&#039;<br /> <br /> &lt;font color=purple&gt;[[MELD KERNEL KB/5|005]]&lt;/font&gt;<br /> &#039;&#039;&#039;(&#039;&#039;&#039;[[#$genls]] [[#$Assertion]] [[#$CycIndexedTerm]]&#039;&#039;&#039;)&#039;&#039;&#039;<br /> <br /> &lt;font color=purple&gt;[[MELD KERNEL KB/6|006]]&lt;/font&gt;<br /> &#039;&#039;&#039;(&#039;&#039;&#039;[[#$genls]] [[#$Assertion]] [[#$IndividualObject]]&#039;&#039;&#039;)&#039;&#039;&#039;<br /> <br /> <br /> === ;;; [[#$AsymmetricBinaryPredicate]] ===<br /> <br /> &lt;font color=purple&gt;[[MELD KERNEL KB/7|007]]&lt;/font&gt;<br /> &#039;&#039;&#039;(&#039;&#039;&#039;[[#$isa]] [[#$AsymmetricBinaryPredicate]] [[#$Collection]] &#039;&#039;&#039;)&#039;&#039;&#039;<br /> <br /> &lt;font color=purple&gt;[[MELD KERNEL KB/8|008]]&lt;/font&gt;<br /> &#039;&#039;&#039;(&#039;&#039;&#039;[[#$genls]] [[#$AsymmetricBinaryPredicate]] [[#$AntiSymmetricBinaryPredicate]] &#039;&#039;&#039;)&#039;&#039;&#039;<br /> <br /> &lt;font color=purple&gt;[[MELD KERNEL KB/9|009]]&lt;/font&gt;<br /> &#039;&#039;&#039;(&#039;&#039;&#039;[[#$genls]] #$AsymmetricBinaryPredicate]] [[#$IrreflexiveBinaryPredicate]] &#039;&#039;&#039;)&#039;&#039;&#039;<br /> <br /> &lt;font color=purple&gt;[[MELD KERNEL KB/10|010]]&lt;/font&gt;<br /> &#039;&#039;&#039;(&#039;&#039;&#039;[[#$not]] &#039;&#039;&#039;(&#039;&#039;&#039;[[#$and]] <br /> &#039;&#039;&#039;(&#039;&#039;&#039;[[#$isa]] ?PRED [[#$AsymmetricBinaryPredicate]]&#039;&#039;&#039;)&#039;&#039;&#039; <br /> &#039;&#039;&#039;(&#039;&#039;&#039;?PRED ?ARG1 ?ARG2&#039;&#039;&#039;)&#039;&#039;&#039; <br /> &#039;&#039;&#039;(&#039;&#039;&#039;?PRED ?ARG2 ?ARG1&#039;&#039;&#039;)&#039;&#039;&#039;<br /> &#039;&#039;&#039;)&#039;&#039;&#039; &#039;&#039;&#039;)&#039;&#039;&#039;<br /> <br /> &lt;font color=purple&gt;[[MELD KERNEL KB/11|011]]&lt;/font&gt;<br /> &#039;&#039;&#039;(&#039;&#039;&#039;[[#$implies]] <br /> &#039;&#039;&#039;(&#039;&#039;&#039;[[#$and]] <br /> &#039;&#039;&#039;(&#039;&#039;&#039;[[#$isa]] ?Q [[#$AsymmetricBinaryPredicate]]&#039;&#039;&#039;)&#039;&#039;&#039; <br /> &#039;&#039;&#039;(&#039;&#039;&#039;[[#$genlPreds]] ?P ?Q&#039;&#039;&#039;)&#039;&#039;&#039;<br /> &#039;&#039;&#039;)&#039;&#039;&#039; <br /> &#039;&#039;&#039; (&#039;&#039;&#039;[[#$isa]] ?P [[#$AsymmetricBinaryPredicate]]&#039;&#039;&#039;)&#039;&#039;&#039;<br /> &#039;&#039;&#039;)&#039;&#039;&#039;<br /> <br /> &lt;font color=purple&gt;[[MELD KERNEL KB/12|012]]&lt;/font&gt;<br /> &#039;&#039;&#039;(&#039;&#039;&#039;[[#$implies]] <br /> &#039;&#039;&#039;(&#039;&#039;&#039;[[#$isa]] ?PRED [[#$AsymmetricBinaryPredicate]]&#039;&#039;&#039;)&#039;&#039;&#039; <br /> &#039;&#039;&#039;(&#039;&#039;&#039;[[#$negationInverse]] ?PRED ?PRED&#039;&#039;&#039;)&#039;&#039;&#039;<br /> &#039;&#039;&#039;)&#039;&#039;&#039;<br /> <br /> === ;;; [[#$AttributeValue]] ===<br /> <br /> &lt;font color=purple&gt;[[MELD KERNEL KB/13|013]]&lt;/font&gt;<br /> &#039;&#039;&#039;(&#039;&#039;&#039;[[#$isa]] [[#$AttributeValue]] [[#$Collection]]&#039;&#039;&#039;)&#039;&#039;&#039;<br /> <br /> &lt;font color=purple&gt;[[MELD KERNEL KB/14|014]]&lt;/font&gt;<br /> &#039;&#039;&#039;(&#039;&#039;&#039;[[#$genls]] [[#$AttributeValue]] [[#$IndividualObject]]&#039;&#039;&#039;)&#039;&#039;&#039;</div> DavidWhitten