Exemple #1
0
        /// <summary>
        /// The proposition representing that concept k applies to individual i
        /// </summary>
        public Proposition IsA(Individual i, MonadicConcept k)
        {
            if (k is CommonNoun n && !CanBeA(i, n))
            {
                return(false);
            }

            var p = PredicateOf(k)(i);

            p.InitialProbability = k.InitialProbability;
            return(p);
        }
Exemple #2
0
 public Proposition Holds(Verb v, Individual i1, Individual i2) => PredicateOf(v)(i1, i2);