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	例 Object and FoodFromPlant Object OrganicObject 例 Object and 一個 dead OrganicObject 部分 Object and Object 子類 OrganicObject and 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	例 Object and Plant 部分 Object and Object Process Entity and Process 例 Process and Process 子類 Process and Keeping 例 Entity and 淡水患者 Process and Entity 能力 Process, 儀器 and Object 例 Object and PlantLeaf 例 Object and PlantStem
(=> (and (vegetationType ?REGION ?TYPE) (subclass ?TYPE Plant) (instance ?REGION GeographicArea)) (exists (?PLANT) (and (instance ?PLANT ?TYPE) (located ?PLANT ?REGION))))	Geography.kif 6191-6199	Plant 是 found 在 GeographicArea 子類 Plant and Plant 例 GeographicArea and GeographicArea Physical 例 Physical and Plant 位於 Physical and GeographicArea
(=> (and (subclass ?CLASS PlantLeaf) (equal ?CLASS LeafyGreenVegetable)) (initialPart ?CLASS Plant))	Economy.kif 4214-4218	子類 Object and PlantLeaf 等於 Object and 綠葉蔬菜 %每個 Object 是 Plant 的 initially part
(=> (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	Plant 是 found 在 GeographicArea 子類 Plant and Plant 例 GeographicArea and GeographicArea Physical 例 Physical and Plant 位於 Physical and GeographicArea
(subclass Plant Organism)	Merge.kif 14399-14399	子類 Plant and Organism
(subclass FloweringPlant Plant)	Merge.kif 14404-14404	子類 FloweringPlant and Plant
(subclass NonFloweringPlant Plant)	Merge.kif 14408-14408	子類 NonFloweringPlant and 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