Template:MELD features/Appendix A - Revision history

DavidWhitten at 18:30, 30 September 2019

2019-09-30T18:30:40Z

DavidWhitten at 18:25, 30 September 2019

2019-09-30T18:25:41Z

DavidWhitten: Blanked the page

2019-09-30T18:22:08Z

Blanked the page

Show changes

DavidWhitten: /* Appendix A: Formulas true in every MELD KB */

2019-09-30T17:24:15Z

‎Appendix A: Formulas true in every MELD KB

DavidWhitten at 17:21, 30 September 2019

2019-09-30T17:21:08Z

DavidWhitten: /* Appendix A: Formulas true in every MELD KB */

2019-09-30T17:20:12Z

‎Appendix A: Formulas true in every MELD KB

DavidWhitten: Created page with "== Appendix A: Formulas true in every MELD KB == As we remarked above, the syntactic component of MELD includes a large number of constant terms (you can think of these as..."

2019-09-30T17:12:13Z

Created page with "== Appendix A: Formulas true in every MELD KB == As we remarked above, the syntactic component of MELD includes a large number of constant terms (you can think of these as..."

Show changes

← Older revision		Revision as of 18:30, 30 September 2019
Line 1:		Line 1:
	Do you mean [[MELD features/Appendix A]] ?		Do you mean [[MELD features/Appendix A]] ?
		+	Or the top level page: [[MELD features]] ?

← Older revision	Revision as of 18:25, 30 September 2019
Line 1:	Line 1:
−	+	Do you mean [[MELD features/Appendix A]] ?

@@ Line 25: / Line 25: @@
-=== [[#$AntiSymmetricBinaryPredicate]] ===
+=== ;;; [[#$AntiSymmetricBinaryPredicate]] ===
   <font color=purple>[[MELD KERNEL KB/1|001]]</font>
@@ Line 106: / Line 106: @@
 === ;;; [[#$BinaryPredicate]] ===
-====#$BinaryPredicate====
   <font color=purple>[[MELD KERNEL KB/17|017]]</font>
   '''('''[[#$isa]] [[#$BinaryPredicate]] [[#$Collection]]''')'''

← Older revision		Revision as of 17:21, 30 September 2019
Line 1:		Line 1:
		+	<noinclude> [[MELD features]]</noinclude>
	= Appendix A: Formulas true in every MELD KB =		= Appendix A: Formulas true in every MELD KB =
−

	As we remarked above, the syntactic component of MELD includes a large number of constant terms (you can think of these as "reserved words" in the [[MELD language]]), and the semantic component of MELD includes a large number of sentences involving and interrelating these terms. This set of sentences forms a coherent self-sufficient KB -- the [[MELD KERNEL KB]] -- which forms the upper (most general) part of every MELD KB, including, e.g., the [[Cyc KB]], the [[HPKB IKB]], etc.		As we remarked above, the syntactic component of MELD includes a large number of constant terms (you can think of these as "reserved words" in the [[MELD language]]), and the semantic component of MELD includes a large number of sentences involving and interrelating these terms. This set of sentences forms a coherent self-sufficient KB -- the [[MELD KERNEL KB]] -- which forms the upper (most general) part of every MELD KB, including, e.g., the [[Cyc KB]], the [[HPKB IKB]], etc.

← Older revision		Revision as of 17:20, 30 September 2019
Line 1:		Line 1:
−	== Appendix A: Formulas true in every MELD KB ==	+	= Appendix A: Formulas true in every MELD KB =