MELD/Minimal KB

Moderately Expressive Logical Description

Terms in the MELD Vocabulary.

We've prefixed each MELD term with the characters #$. This may facilitate reading mechanically; if you don't care or want this, just do a systematic replace of #$ by the empty string. It will be useful in distinguishing MELD constant names from the names of C (or Lisp) functions which are called to implement some of the low-level bookkeeping, and may be useful in distinguishing MELD constant names from numbers (e.g., distinguishing the MELD constant named 42 from the number 42.)

Let us reiterate that MELD is a declarative language with no procedural information of any kind in any MELD formula, including these formulas.

Finally, you may notice that about 10 of the 160 MELD constant terms below contain the word "Cyc"; this reflects the origins of those terms. We could just as well have called those ten . . .Cyc. . . terms . . .MELD. . . instead; the absolute names are not so important as agreeing on a fixed vocabulary of names for constants.

This is the MELD semantic standard; please do not rename any of these 160 terms, or remove/violate any of these 650 formulas:

Experiments: #$AntiSymmetricBinaryPredicate

name in URL 3: {{MELD/A|1|001|(_%$isa_%$AntiSymmetricBinaryPredicate_%$Collection_)| ( #$ {{#if: %$isa |%$isa|}} #$ {{#if: %$AntiSymmetricBinaryPredicate]] #$ {{#if: %$Collection |%$Collection|}} ) |%$AntiSymmetricBinaryPredicate #$ {{#if: %$Collection |%$Collection|}} ) ]]|}}

name in URL 2 :

  (  #$ {{#if: 1 |1|}}   #$ {{#if: 001 |001|}}   {{#ifexpr (_%$isa_%$AntiSymmetricBinaryPredicate_%$Collection_) (  #$ {{#if: %$isa |%$isa|}}   #$ {{#if: %$AntiSymmetricBinaryPredicate |%$AntiSymmetricBinaryPredicate|}}   #$ {{#if: %$Collection |%$Collection|}}  ) |(_%$isa_%$AntiSymmetricBinaryPredicate_%$Collection_) (  #$ {{#if: %$isa |%$isa|}}   #$ {{#if: %$AntiSymmetricBinaryPredicate |%$AntiSymmetricBinaryPredicate|}}   #$ {{#if: %$Collection |%$Collection|}}  ) }}

name in URL: Assertion#(_%$isa_%$AntiSymmetricBinaryPredicate_%$Collection_): %$isa

name in URL: ( %$isa )

Arbitrary Number: ( %$isa %$AntiSymmetricBinaryPredicate %$Collection )

TRY 0: ( (%20%25%24%26%27isa%20%24Assertion%20%24Collection%20%29 )

MELD/V/AntiSymmetricBinaryPredicate| #$AntiSymmetricBinaryPredicate

{{MELD/A|1|001|

(#$isa #$AntiSymmetricBinaryPredicate #$Collection )

{{MELD/A|2|002|

(#$genls #$AntiSymmetricBinaryPredicate #$BinaryPredicate )

{{MELD/A|3|003|

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

• MELD/V/TRY-1

• MELD/V/TRY-0

The axioms over the MELD/Vocabulary: Category:MELD/A