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

Formal Language: 



Term 1: Term 2:

(=>
    (instance ?CLASS Class)
    (subclass ?CLASS Entity))
Merge.kif 828-830
(=>
    (subclass ?X ?Y)
    (and
        (instance ?X Class)
        (instance ?Y Class)))
Merge.kif 137-141
(subclass Class SetOrClass) Merge.kif 2136-2136 クラス同じセットまたはクラスsubclass では %n
(domain subclass 1 Class) Merge.kif 131-131 subclass の数値 1 引数は クラスinstance では %n
(domain subclass 2 Class) Merge.kif 132-132 subclass の数値 2 引数は クラスinstance では %n


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