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

Formal Language: 

Term 1: Term 2:

        (equal ?P
            (OrganicObjectFn ?S))
        (subclass ?P Pelt))
    (subclass ?S Skin))
Economy.kif 5032-5036
(subclass Pelt AnimalProduct) Economy.kif 5026-5026 Pelt is a subclass of AnimalProduct
(subclass Lambskin Pelt) Economy.kif 5038-5038 Lambskin is a subclass of pelt
(subclass Sheepskin Pelt) Economy.kif 5048-5048 Sheepskin is a subclass of pelt

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