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


Term 1: Term 2:

(=>
    (and
        (equal ?T
            (OrganicObjectFn ?S))
        (subclass ?T TeaPlantAerialPart)
        (subclass ?S PlantStem))
    (initialPart ?S TeaPlant))
Economy.kif 5048-5054
(subclass TeaPlantAerialPart FruitOrVegetable) Economy.kif 5039-5039 Tea plant aerial part is a subclass of fruit or vegetable
(subclass TeaPlantAerialPart PlantSubstance) Economy.kif 5040-5040 Tea plant aerial part is a subclass of plant substance
(subclass TeaLeaf TeaPlantAerialPart) Economy.kif 5044-5044 Tea leaf is a subclass of tea plant aerial part
(subclass TeaBud TeaPlantAerialPart) Economy.kif 5045-5045 Tea bud is a subclass of tea plant aerial part
(subclass TeaTwig TeaPlantAerialPart) Economy.kif 5046-5046 Tea twig is a subclass of tea plant aerial part


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