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 茶树空中部分水果或蔬菜subclass
(subclass TeaPlantAerialPart PlantSubstance) Economy.kif 4707-4707 茶树空中部分植物物质subclass
(subclass TeaLeaf TeaPlantAerialPart) Economy.kif 4711-4711 茶叶茶树空中部分subclass
(subclass TeaBud TeaPlantAerialPart) Economy.kif 4712-4712 花茶茶树空中部分subclass
(subclass TeaTwig TeaPlantAerialPart) Economy.kif 4713-4713 茎茶茶树空中部分subclass


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