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

Formal Language: 



Term 1: Term 2:

(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W PineWood)
        (subclass ?S PlantStem))
    (initialPart ?S PineTree))		 Economy.kif 5461-5466
(subclass PineTree Conifers) Geography.kif 6559-6559 PineTree ist eine teilkategorie von Conifers


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