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

Formal Language: 



Term 1: Term 2:

(<=>
    (instance ?CLASS Class)
    (subclass ?CLASS Entity))
Merge.kif 793-795
(=>
    (subclass ?X ?Y)
    (and
        (instance ?X Class)
        (instance ?Y Class)))
Merge.kif 135-139
(subclass Class SetOrClass) Merge.kif 2048-2048
(subclass BiologicalSpecies Class) Mid-level-ontology.kif 7997-7997
(domain subclass 1 Class) Merge.kif 129-129
(domain subclass 2 Class) Merge.kif 130-130


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