API tools faq
paste
Advertisement
logicmoo

Treated like Axioms if enabled

logicmoo
Nov 6th, 2015
278
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Prolog 9.32 KB | None | 0 0
raw download clone embed print report
  1. Here is part of the list of things that can be enabled and disable..  (Treated like Axioms if enabled)
  2.  
  3. Mt : UniversalVocabularyMt
  4. [Mon](isa Bi-Mod-Disj-Introduction-Consequent-Weak ModalityFeature-Theorem)
  5. [Mon](isa Gen-Exist-DistributingOver-Conj ModalityFeature-Theorem)
  6. [Mon](isa ModalScheme-K ModalityFeature-Theorem)
  7. [Mon](isa Gen-Exportation ModalityFeature-Theorem)
  8. [Mon](isa ModalScheme-Ver ModalityFeature-Theorem)
  9. [Mon](isa Gen-Exist-DistributingOver-Disj ModalityFeature-Theorem)
  10. [Mon](isa Gen-Univ-DistributingOver-Cond ModalityFeature-Theorem)
  11. [Mon](isa Mod-Exist-DistributingOver-Disj ModalityFeature-Theorem)
  12. [Mon](isa ModalScheme-K-DualContrap ModalityFeature-Theorem)
  13. [Mon](isa Bi-Mod-RationalMonotonicity ModalityFeature-Theorem)
  14. [Mon](isa Mod-Exist-FactoringOutFrom-Disj ModalityFeature-Theorem)
  15. [Mon](isa ModalScheme-BF ModalityFeature-Theorem)
  16. [Mon](isa Gen-Conj-Elimination ModalityFeature-Theorem)
  17. [Mon](isa ModalScheme-4-Inverse ModalityFeature-Theorem)
  18. [Mon](isa ModalScheme-D ModalityFeature-Theorem)
  19. [Mon](isa Gen-Mod-BeckersRuleGeneralized ModalityFeature-Theorem)
  20. [Mon](isa Bi-Mod-TrivialImplication ModalityFeature-Theorem)
  21. [Mon](isa Mod-FactoringOutFrom-Conj-Dual ModalityFeature-Theorem)
  22. [Mon](isa ModalScheme-I-BF ModalityFeature-Theorem)
  23. [Mon](isa Mod-Dilemma ModalityFeature-Theorem)
  24. [Mon](isa Mod-Duals ModalityFeature-Theorem)
  25. [Mon](isa Mod-Univ-DistributingOver-Conj ModalityFeature-Theorem)
  26. [Mon](isa Mod-Univ-DistributingOver-Cond-Dual ModalityFeature-Theorem)
  27. [Mon](isa Gen-Disj-Introduction ModalityFeature-Theorem)
  28. [Mon](isa Mod-FactoringOutFrom-Disj ModalityFeature-Theorem)
  29. [Mon](isa Bi-Mod-Commutativity-Conj-Consequent ModalityFeature-Theorem)
  30. [Mon](isa ModalScheme-B-Inverse ModalityFeature-Theorem)
  31. [Mon](isa ModalScheme-B ModalityFeature-Theorem)
  32. [Mon](isa Mod-Equality ModalityFeature-Theorem)
  33. [Mon](isa Mod-DistributingOver-FactoringOutFrom-Disj ModalityFeature-Theorem)
  34. [Mon](isa Mod-Univ-DistributingOver-FactoringOutFrom-Conj ModalityFeature-Theorem)
  35. [Mon](isa Mod-DistributingOver-FactoringOutFrom-Conj ModalityFeature-Theorem)
  36. [Mon](isa Mod-DisjunctiveSyllogism ModalityFeature-Theorem)
  37. [Mon](isa Gen-ConditionalExchange ModalityFeature-Theorem)
  38. [Mon](isa Bi-Mod-Strengthening ModalityFeature-Theorem)
  39. [Mon](isa Mod-DistributingOver-Disj ModalityFeature-Theorem)
  40. [Mon](isa Mod-HypotheticalSyllogism ModalityFeature-Theorem)
  41. [Mon](isa Gen-Exist-FactoringOutFrom-Disj ModalityFeature-Theorem)
  42. [Mon](isa Bi-Mod-TrivialCentering ModalityFeature-Theorem)
  43. [Mon](isa Bi-Mod-Bivalence ModalityFeature-Theorem)
  44. [Mon](isa ModalScheme-W ModalityFeature-Theorem)
  45. [Mon](isa ModalScheme-K-Dual ModalityFeature-Theorem)
  46. [Mon](isa Gen-Contraposition ModalityFeature-Theorem)
  47. [Mon](isa ModalScheme-E-Inverse ModalityFeature-Theorem)
  48. [Mon](isa Mod-Univ-DistributingOver-Cond ModalityFeature-Theorem)
  49. [Mon](isa Mod-SettledContingency ModalityFeature-Theorem)
  50. [Mon](isa Gen-DoubleNegation ModalityFeature-Theorem)
  51. [Mon](isa Bi-Mod-SemiTransitivity ModalityFeature-Theorem)
  52. [Mon](isa Bi-Mod-Dilemma ModalityFeature-Theorem)
  53. [Mon](isa Bi-Mod-DoubleNegation-Consequent ModalityFeature-Theorem)
  54. [Mon](isa Gen-Commutativity-Disj ModalityFeature-Theorem)
  55. [Mon](isa Bi-Mod-Commutativity-Disj-Consequent ModalityFeature-Theorem)
  56. [Mon](isa Mod-Distinctness ModalityFeature-Theorem)
  57. [Mon](isa Bi-Mod-Commutativity-Conj-Antecedent ModalityFeature-Theorem)
  58. [Mon](isa Mod-Exist-DistributingOver-Conj ModalityFeature-Theorem)
  59. [Mon](isa Gen-Dilemma ModalityFeature-Theorem)
  60. [Mon](isa Gen-ModalScheme-K ModalityFeature-Theorem)
  61. [Mon](isa Bi-Mod-DeMorgan-Antecedent ModalityFeature-Theorem)
  62. [Mon](isa Bi-Mod-Conj-Elimination-Consequent ModalityFeature-Theorem)
  63. [Mon](isa Mod-DistributingOver-Conj ModalityFeature-Theorem)
  64. [Mon](isa Bi-Mod-WeakMonotonicity ModalityFeature-Theorem)
  65. [Mon](isa ModalScheme-T-Inverse ModalityFeature-Theorem)
  66. [Mon](isa Mod-EqualityReplacement ModalityFeature-Theorem)
  67. [Mon](isa Mod-DisjunctiveSyllogism-Dual ModalityFeature-Theorem)
  68. [Mon](isa Mod-NonTrivial ModalityFeature-Theorem)
  69. [Mon](isa Gen-Univ-FactoringOutFrom-Conj ModalityFeature-Theorem)
  70. [Mon](isa Mod-Univ-Exist-DistributingOver-Cond ModalityFeature-Theorem)
  71. [Mon](isa ModalScheme-BF-DualInverse ModalityFeature-Theorem)
  72. [Mon](isa Bi-Mod-Disj-Introduction-Consequent ModalityFeature-Theorem)
  73. [Mon](isa Gen-Equality ModalityFeature-Theorem)
  74. [Mon](isa Bi-Mod-DeMorgan-Consequent ModalityFeature-Theorem)
  75. [Mon](isa Mod-Univ-Exist-DistributingOver-Cond-Dual ModalityFeature-Theorem)
  76. [Mon](isa ModalScheme-E ModalityFeature-Theorem)
  77. [Mon](isa Bi-Mod-Cut ModalityFeature-Theorem)
  78. [Mon](isa ModalScheme-I-BF-DualInverse ModalityFeature-Theorem)
  79. [Mon](isa Bi-Mod-Conj-Introduction-Consequent ModalityFeature-Theorem)
  80. [Mon](isa Gen-DeMorgan-General ModalityFeature-Theorem)
  81. [Mon](isa Mod-Exist-DistributingOver-FactoringOutFrom-Disj ModalityFeature-Theorem)
  82. [Mon](isa Gen-Exist-Introduction ModalityFeature-Theorem)
  83. [Mon](isa Gen-Univ-Exist-DistributingOver-Cond ModalityFeature-Theorem)
  84. [Mon](isa Gen-Mod-HypotheticalSyllogism ModalityFeature-Theorem)
  85. [Mon](isa Mod-Univ-Elimination ModalityFeature-Theorem)
  86. [Mon](isa Bi-Mod-Detachment-Weak ModalityFeature-Theorem)
  87. [Mon](isa Bi-Mod-Transitivity ModalityFeature-Theorem)
  88. [Mon](isa Bi-Mod-DoubleNegation-Antecedent ModalityFeature-Theorem)
  89. [Mon](isa ModalScheme-T ModalityFeature-Theorem)
  90. [Mon](isa Bi-Mod-Commutativity-Disj-Antecedent ModalityFeature-Theorem)
  91. [Mon](isa Bi-Mod-Monotonicity ModalityFeature-Theorem)
  92. [Mon](isa BasicBeliefFeature ModalityFeature-Theorem)
  93. [Mon](isa Bi-Mod-Identity ModalityFeature-Theorem)
  94. [Mon](isa Gen-Univ-Elimination ModalityFeature-Theorem)
  95. [Mon](isa Gen-DeMorgan ModalityFeature-Theorem)
  96. [Mon](isa Mod-FactoringOutFrom-Conj ModalityFeature-Theorem)
  97. [Mon](isa ModalScheme-4 ModalityFeature-Theorem)
  98. [Mon](isa Gen-EqualityReplacement ModalityFeature-Theorem)
  99. [Mon](isa Gen-HypotheticalSyllogism ModalityFeature-Theorem)
  100. [Mon](isa Mod-Univ-FactoringOutFrom-Conj ModalityFeature-Theorem)
  101. [Mon](isa Gen-Univ-DistributingOver-Conj ModalityFeature-Theorem)
  102. [Mon](isa Bi-Mod-Specificity ModalityFeature-Theorem)
  103. [Mon](isa Mod-Exist-Introduction ModalityFeature-Theorem)
  104. [Mon](isa Gen-Commutativity-Conj ModalityFeature-Theorem)
  105. [Mon](isa Bi-Mod-Detachment ModalityFeature-Theorem)
  106. [Mon](isa Gen-Conj-Introduction ModalityFeature-Theorem)
  107. [Mon](isa Gen-Truth-Constant ModalityFeature-Theorem)
  108. [Mon](isa Gen-ModalScheme-T ModalityFeature-Theorem)
  109. [Mon](isa Bi-Mod-Identity-Consequent ModalityFeature-Theorem)
  110. [Mon](isa Gen-Exist-FactoringOutFrom-Disj-1 ModalityFeature-Theorem)
  111. [Mon](isa Gen-Univ-DistributingOver-Conj-1 ModalityFeature-Theorem)
  112. [Mon](isa Bi-Mod-Conj-Elimination-Consequent-Weak ModalityFeature-Theorem)
  113. [Def](isa ThePrototypicalModalityFeature-Theorem ModalityFeature-Theorem)
  114. [Mon](genls ModalityFeature-Theorem-Gen-Classical ModalityFeature-Theorem)
  115. [Inf](arg2Isa commonModalityFt-Theorems-QuanEq-Dual ModalityFeature-Theorem)
  116. [Inf](arg2Isa modalityFt-Theorems-QuanEq ModalityFeature-Theorem)
  117. [Inf](arg2Isa commonModalityFt-Theorems-Prop ModalityFeature-Theorem)
  118. [Inf](arg2Isa modalityFt-Theorems-Prop-Dual ModalityFeature-Theorem)
  119. [Inf](arg2Isa modalityFt-Theorems-Prop ModalityFeature-Theorem)
  120. [Inf](arg2Isa modalityFt-Theorems-QuanEq-Dual ModalityFeature-Theorem)
  121. [Inf](arg2Isa commonModalityFt-Theorems-Prop-Dual ModalityFeature-Theorem)
  122. [Inf](arg2Isa commonModalityFt-Theorems-QuanEq ModalityFeature-Theorem)
  123.  
  124. Mt : ModalityMt
  125. [R](arg2Isa commonModalityFt-Theorems-QuanEq-Dual ModalityFeature-Theorem)
  126. [R](arg2Isa commonModalityFt-Theorems-QuanEq ModalityFeature-Theorem)
  127. [R](arg2Isa commonModalityFt-Theorems-Prop-Dual ModalityFeature-Theorem)
  128. [R](arg2Isa commonModalityFt-Theorems-Prop ModalityFeature-Theorem)
  129. [R](arg2Isa modalityFt-Theorems-QuanEq-Dual ModalityFeature-Theorem)
  130. [R](arg2Isa modalityFt-Theorems-QuanEq ModalityFeature-Theorem)
  131. [R](arg2Isa modalityFt-Theorems-Prop-Dual ModalityFeature-Theorem)
  132. [R](arg2Isa modalityFt-Theorems-Prop ModalityFeature-Theorem)
  133.  
  134. Mt : UniversalVocabularyMt
  135. [Def](hlPrototypicalInstance ThePrototypicalModalityFeature-Theorem ModalityFeature-Theorem)
  136. GAF Arg : 3
  137.  
  138. Mt : UniversalVocabularyMt
  139. [R](argIsa commonModalityFt-Theorems-Prop-Dual 2 ModalityFeature-Theorem)
  140. [R](argIsa modalityFt-Theorems-QuanEq-Dual 2 ModalityFeature-Theorem)
  141. [R](argIsa commonModalityFt-Theorems-QuanEq 2 ModalityFeature-Theorem)
  142. [R](argIsa modalityFt-Theorems-Prop-Dual 2 ModalityFeature-Theorem)
  143. [R](argIsa modalityFt-Theorems-Prop 2 ModalityFeature-Theorem)
  144. [R](argIsa modalityFt-Theorems-QuanEq 2 ModalityFeature-Theorem)
  145. [R](argIsa commonModalityFt-Theorems-Prop 2 ModalityFeature-Theorem)
  146. [R](argIsa commonModalityFt-Theorems-QuanEq-Dual 2 ModalityFeature-Theorem)
  147.  
  148. Mt : ModalityMt
  149. [Inf](argIsa commonModalityFt-Theorems-QuanEq-Dual 2 ModalityFeature-Theorem)
  150. [Inf](argIsa commonModalityFt-Theorems-QuanEq 2 ModalityFeature-Theorem)
  151. [Inf](argIsa commonModalityFt-Theorems-Prop-Dual 2 ModalityFeature-Theorem)
  152. [Inf](argIsa commonModalityFt-Theorems-Prop 2 ModalityFeature-Theorem)
  153. [Inf](argIsa modalityFt-Theorems-QuanEq-Dual 2 ModalityFeature-Theorem)
  154. [Inf](argIsa modalityFt-Theorems-Prop-Dual 2 ModalityFeature-Theorem)
  155. [Inf](argIsa modalityFt-Theorems-QuanEq 2 ModalityFeature-Theorem)
  156. [Inf](argIsa modalityFt-Theorems-Prop 2 ModalityFeature-Theorem)
  157. NART Arg : 3
  158. [Mon](ThePartition ModalityFeature-Rule ModalityFeature-System ModalityFeature-Theorem)
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!