User contributions
From Public Domain Knowledge Bank
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 21:03, 18 October 2016 (diff | hist) . . (-128,943) . . SMINK001 (current)
- 20:55, 18 October 2016 (diff | hist) . . (+930,828) . . N SMINK011 (Created page with "<pre> from: http://ontolog.cim3.net/file/work/ontology/protege-SKIF/samin011.txt ;; ================================================ ;; SMINK011 An ontology derived from ;;...") (current)
- 20:52, 18 October 2016 (diff | hist) . . (+930,828) . . N SMINK001 (Created page with "<pre> from: http://ontolog.cim3.net/file/work/ontology/protege-SKIF/samin011.txt ;; ================================================ ;; SMINK011 An ontology derived from ;;...")
- 02:58, 16 October 2016 (diff | hist) . . (+53) . . MELD features (→Reifiable vs. Non-Reifiable Functions)
- 02:52, 16 October 2016 (diff | hist) . . (+33) . . MELD features (→Skolemization)
- 02:45, 16 October 2016 (diff | hist) . . (+6) . . m MELD features (→Conventions for permitting/repairing unbound variables in formulas)
- 18:05, 15 October 2016 (diff | hist) . . (+324) . . MELD features (→Variable-Naming Strategies)
- 14:21, 15 October 2016 (diff | hist) . . (+63) . . MELD features (→Variable-Naming Strategies)
- 14:15, 15 October 2016 (diff | hist) . . (-1) . . MELD features (→Appendix B: Remarks about MELD Implementations)
- 14:05, 15 October 2016 (diff | hist) . . (-1) . . MELD features (→;;; #$interArgIsa3-4)
- 14:05, 15 October 2016 (diff | hist) . . (-1) . . MELD features (→;;; #$interArgIsa3-2)
- 14:04, 15 October 2016 (diff | hist) . . (-1) . . MELD features (→;;; #$interArgIsa3-2)
- 04:16, 15 October 2016 (diff | hist) . . (-1) . . MELD features (→;;; #$interArgIsa1-5)
- 04:15, 15 October 2016 (diff | hist) . . (+9) . . MELD features (→;;; #$genls)
- 04:11, 15 October 2016 (diff | hist) . . (+4) . . MELD features (→;;; #$genlInverse)
- 04:06, 15 October 2016 (diff | hist) . . (+4) . . MELD features (→;;; #$disjointWith)
- 04:05, 15 October 2016 (diff | hist) . . (0) . . MELD features (→;;; #$arity)
- 04:01, 15 October 2016 (diff | hist) . . (+1) . . MELD features (→;;; #$arg3Genl)
- 03:58, 15 October 2016 (diff | hist) . . (+5) . . MELD features (→;;; #$ReflexiveBinaryPredicate)
- 03:57, 15 October 2016 (diff | hist) . . (+5) . . MELD features (→;;; #$QuaternaryPredicate)
- 03:56, 15 October 2016 (diff | hist) . . (+2) . . MELD features (→;;; #$PositiveInteger)
- 03:55, 15 October 2016 (diff | hist) . . (+5) . . m MELD features (→;;; #$IrreflexiveBinaryPredicate)
- 03:53, 15 October 2016 (diff | hist) . . (+2) . . MELD features (→;;; #$InferenceRelatedBookkeepingPredicate)
- 03:52, 15 October 2016 (diff | hist) . . (+1) . . MELD features (→;;; #$InferenceRelatedBookkeepingPredicate)
- 03:51, 15 October 2016 (diff | hist) . . (+2) . . MELD features (→;;; #$CycExpression)
- 03:50, 15 October 2016 (diff | hist) . . (-1) . . MELD features (→;;; #$CollectionDenotingFunction)
- 22:20, 14 October 2016 (diff | hist) . . (+3) . . MELD features (→;;; #$thereExistExactly)
- 22:20, 14 October 2016 (diff | hist) . . (+2) . . MELD features (→;;; #$thereExistExactly)
- 22:19, 14 October 2016 (diff | hist) . . (+2) . . MELD features (→;;; #$thereExistAtMost)
- 22:19, 14 October 2016 (diff | hist) . . (+2) . . MELD features (→;;; #$thereExistAtMost)
- 22:18, 14 October 2016 (diff | hist) . . (+2) . . MELD features (→;;; #$thereExistAtLeast)
- 22:17, 14 October 2016 (diff | hist) . . (+2) . . MELD features (→;;; #$thereExistExactly)
- 22:17, 14 October 2016 (diff | hist) . . (+2) . . MELD features (→;;; #$thereExistAtLeast)
- 22:15, 14 October 2016 (diff | hist) . . (-1) . . m MELD features (→;;; #$siblingDisjointExceptions)
- 22:15, 14 October 2016 (diff | hist) . . (+1,275) . . m MELD features (→T7)
- 22:06, 14 October 2016 (diff | hist) . . (+395) . . MELD features (→T7)
- 22:04, 14 October 2016 (diff | hist) . . (+3) . . m MELD features (→;;; #$relationAllExists)
- 22:03, 14 October 2016 (diff | hist) . . (+1,946) . . m MELD features (→;;; #$relationAllExists)
- 21:52, 14 October 2016 (diff | hist) . . (+2) . . MELD features (→;;; #$or)
- 21:50, 14 October 2016 (diff | hist) . . (+2) . . MELD features (→;;; #$negationAttribute]])
- 21:49, 14 October 2016 (diff | hist) . . (+2,924) . . m MELD features (→;;; #$myCreator)
- 19:23, 14 October 2016 (diff | hist) . . (+2) . . MELD features (→;;; #$myCreationTime)
- 19:22, 14 October 2016 (diff | hist) . . (+369) . . m MELD features (→;;; #$myCreationTime =)
- 19:19, 14 October 2016 (diff | hist) . . (-687) . . MELD features (→T7)
- 19:17, 14 October 2016 (diff | hist) . . (-5,937) . . MELD features (→T7)
- 19:16, 14 October 2016 (diff | hist) . . (-2,423) . . MELD features (→T7)
- 19:14, 14 October 2016 (diff | hist) . . (-2,372) . . MELD features (→;;; #$interArgIsa5-2)
- 19:12, 14 October 2016 (diff | hist) . . (-1) . . MELD features (→;;; #$interArgIsa5-1)
- 19:10, 14 October 2016 (diff | hist) . . (-3,034) . . MELD features (→;;; #$interArgIsa4-3 =)
- 19:07, 14 October 2016 (diff | hist) . . (+2) . . MELD features (→;;; #$mtInferenceFunction)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
