Sigma KB Term Intersection

(=>
    (and
        (rangeSubclass ?FUNCTION ?CLASS)
        (equal
            (AssignmentFn ?FUNCTION @ROW) ?VALUE))
    (subclass ?VALUE ?CLASS))

Merge.kif 338-342

If the values returned by a function are subclasses of a kind of class and the function(@ROW) is equal to another class,
then the other class is a subclass of a kind of class

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners