Sigma KB Term Intersection

(=> (instance ?X FoodFromPlant) (exists (?P ?CLASS) (and (instance ?P (DeadFn ?CLASS)) (part ?X ?P) (subclass ?CLASS Plant))))	Food.kif 299-306	Wenn Object ist ein fall von FoodFromPlant %n{nicht}, dann es gibt Object und OrganicObject um Object ist ein fall von DeadFn OrganicObject %n{nicht} und Object ist ein teil von Object %n{nicht} und OrganicObject ist eine teilkategorie von Plant
(=> (and (instance ?P Plant) (part ?TIS ?P)) (exists (?K ?W ?CLASS) (and (instance ?K ?CLASS) (subclass ?CLASS Keeping) (instance ?W FreshWater) (patient ?K ?W) (capability ?CLASS instrument ?TIS) (or (instance ?TIS PlantLeaf) (instance ?TIS PlantStem)))))	Mid-level-ontology.kif 9561-9574	Wenn Object ist ein fall von Plant %n{nicht} und Object ist ein teil von Object %n{nicht}, dann es gibt Process, Entity, and und Process um Process ist ein fall von Process %n{nicht} und Process ist eine teilkategorie von Keeping und Entity ist ein fall von FreshWater %n{nicht} und Entity ist ein patient von Process %n{nicht} und Object ist faehig %n{nicht}, in der Rolle instrument Process zu tun und Object ist ein fall von PlantLeaf %n{nicht} oder Object ist ein fall von PlantStem %n{nicht}
(=> (and (vegetationType ?REGION ?TYPE) (subclass ?TYPE Plant) (instance ?REGION GeographicArea)) (exists (?PLANT) (and (instance ?PLANT ?TYPE) (located ?PLANT ?REGION))))	Geography.kif 6191-6199	Wenn vegetationType GeographicArea and Plant und Plant ist eine teilkategorie von Plant und GeographicArea ist ein fall von GeographicArea %n{nicht}, dann es gibt Physical um Physical ist ein fall von Plant %n{nicht} und ** Physical befindet sich an %n{nicht}
(=> (and (subclass ?CLASS PlantLeaf) (equal ?CLASS LeafyGreenVegetable)) (initialPart ?CLASS Plant))	Economy.kif 4214-4218	Wenn Object ist eine teilkategorie von PlantLeaf und Object ist gleich LeafyGreenVegetable %n{nicht}, dann initialPart Object and Plant
(=> (and (not (vegetationType ?REGION ?TYPE)) (subclass ?TYPE Plant) (instance ?REGION GeographicArea)) (not (exists (?PLANT) (and (instance ?PLANT ?TYPE) (located ?PLANT ?REGION)))))	Geography.kif 6201-6209	Wenn vegetationType GeographicArea and Plant und Plant ist eine teilkategorie von Plant und GeographicArea ist ein fall von GeographicArea %n{nicht}, dann es gibt nicht Physical um Physical ist ein fall von Plant %n{nicht} und ** Physical befindet sich an %n{nicht}
(subclass Plant Organism)	Merge.kif 14399-14399	Plant ist eine teilkategorie von Organism
(subclass FloweringPlant Plant)	Merge.kif 14404-14404	FloweringPlant ist eine teilkategorie von Plant
(subclass NonFloweringPlant Plant)	Merge.kif 14408-14408	NonFloweringPlant ist eine teilkategorie von Plant

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