Sigma KB Term Intersection

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	If equal an object and Object made from another kind of object and the object is a subclass of tea plant aerial part and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a tea plant
(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