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 4715-4721
(subclass TeaPlantAerialPart FruitOrVegetable) Economy.kif 4706-4706 TeaPlantAerialPart ist eine teilkategorie von FruitOrVegetable
(subclass TeaPlantAerialPart PlantSubstance) Economy.kif 4707-4707 TeaPlantAerialPart ist eine teilkategorie von PlantSubstance
(subclass TeaLeaf TeaPlantAerialPart) Economy.kif 4711-4711 TeaLeaf ist eine teilkategorie von TeaPlantAerialPart
(subclass TeaBud TeaPlantAerialPart) Economy.kif 4712-4712 TeaBud ist eine teilkategorie von TeaPlantAerialPart
(subclass TeaTwig TeaPlantAerialPart) Economy.kif 4713-4713 TeaTwig ist eine teilkategorie von TeaPlantAerialPart


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