| appearance as argument number 1 |
|
|
| (subclass Plant Organism) | Merge.kif 14578-14578 | Plant is a subclass of organism |
| (documentation Plant EnglishLanguage "An Organism having cellulose cell walls, growing by synthesis of Substances, generally distinguished by the presence of chlorophyll, and lacking the power of locomotion.") | Merge.kif 14579-14581 | Plant is a subclass of organism |
| (externalImage Plant "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 8d/ Fern.jpg/ 800px_Fern.jpg") | pictureList.kif 151-151 | Plant is a subclass of organism |
| (externalImage Plant "http://upload.wikimedia.org/wikipedia/commons/8/8d/ Fern.jpg") | pictureList.kif 875-875 | Plant is a subclass of organism |
| appearance as argument number 2 |
|
|
| (subclass FloweringPlant Plant) | Merge.kif 14583-14583 | Flowering plant is a subclass of plant |
| (subclass NonFloweringPlant Plant) | Merge.kif 14587-14587 | Non flowering plant is a subclass of plant |
| (rangeSubclass PlantFn Plant) | Food.kif 3362-3362 | The values returned by plant fn are subclasses of plant |
| (termFormat EnglishLanguage Plant "plant") | english_format.kif 1137-1137 | The values returned by plant fn are subclasses of plant |
| appearance as argument number 3 |
|
|
| (partition Organism Animal Plant Fungus Microorganism) | Merge.kif 14537-14537 | Organism is exhaustively partitioned into animal, plant, fungus, and microorganism |
| (domainSubclass plantInArea 1 Plant) | Mid-level-ontology.kif 9379-9379 | The number 1 argument of plant in area is a subclass of plant |
| (domainSubclass vegetationType 2 Plant) | Geography.kif 7805-7805 | The number 2 argument of vegetation type is a subclass of plant |
| (domainSubclass vegetationTypePattern 2 Plant) | Geography.kif 7834-7834 | The number 2 argument of vegetation type pattern is a subclass of plant |
| (domain sheddingLeaves 1 Plant) | Geography.kif 8054-8054 | The number 1 argument of shedding leaves is an instance of plant |
| antecedent |
|
|
| (=> (and (instance ?G Garden) (plantInArea Plant ?G)) (hasPurpose ?G (exists (?R) (and (instance ?R RecreationOrExercise) (eventLocated ?R ?G))))) |
Mid-level-ontology.kif 9367-9375 | If X is an instance of garden and plant Located in X., then X has the purpose there exists Y such that Y is an instance of recreation or exercise and Y is located at X |
| (=> (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 10955-10968 | If X is an instance of plant and Y is a part of X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of V (3) V is a subclass of keeping (4) W is an instance of freshwater (5) W is a patient of Z (6) Y is capable of doing V as a instrument (7) Y is an instance of plant leaf or Y is an instance of plant stem |
| (=> (instance ?F Plant) (capability Farming patient ?F)) |
Mid-level-ontology.kif 22818-22820 | If X is an instance of plant, then X is capable of doing farming as a patient |
| (=> (and (vegetationType ?REGION ?TYPE) (subclass ?TYPE Plant) (instance ?REGION GeographicArea)) (exists (?PLANT) (and (instance ?PLANT ?TYPE) (located ?PLANT ?REGION)))) |
Geography.kif 7807-7815 | If X is found in Y, X is a subclass of plant, and Y is an instance of geographic area, then there exists Z such that Z is an instance of X and Z is located at Y |
| (=> (and (not (vegetationType ?REGION ?TYPE)) (subclass ?TYPE Plant) (instance ?REGION GeographicArea)) (not (exists (?PLANT) (and (instance ?PLANT ?TYPE) (located ?PLANT ?REGION))))) |
Geography.kif 7817-7825 | If X is found in Y, X is a subclass of plant, and Y is an instance of geographic area, then there doesn't exist Z such that Z is an instance of X and Z is located at Y |
| consequent |
|
|
|
|
|