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 136-140
(subclass SetOrClass Abstract) Merge.kif 2035-2035 Set or class is a subclass of abstract
(subclass Set SetOrClass) Merge.kif 2055-2055 Set is a subclass of set or class
(domain subclass 1 SetOrClass) Merge.kif 130-130 The number 1 argument of subclass is an instance of set or class
(domain subclass 2 SetOrClass) Merge.kif 131-131 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