Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (subclass ?X ?Y)
    (and
        (instance ?X SetOrClass)
        (instance ?Y SetOrClass)))
Merge.kif 150-154
(subclass SetOrClass Abstract) Merge.kif 2238-2238 Set or class is a subclass of abstract
(subclass Set SetOrClass) Merge.kif 2263-2263 Set is a subclass of set or class
(domain subclass 1 SetOrClass) Merge.kif 141-141 The number 1 argument of subclass is an instance of set or class
(domain subclass 2 SetOrClass) Merge.kif 142-142 The number 2 argument of subclass is an instance of set or class


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners