| Plant(vanaspati)
| |
| appearance as argument number 1 |
|
|
| (documentation Plant ChineseLanguage "这是有纤维素细胞壁的 Organism，它们靠制造 Substance 生长，它们一般的特征是拥有叶绿素，并且缺乏运动的能力。") | chinese_format.kif 3379-3380 | |
| (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 14470-14472 | |
| (externalImage Plant "http://upload.wikimedia.org/wikipedia/commons/8/8d/ Fern.jpg") | pictureList.kif 875-875 | |
| (externalImage Plant "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 8d/ Fern.jpg/ 800px_Fern.jpg") | pictureList.kif 151-151 | |
| (subclass Plant Organism) | Merge.kif 14469-14469 |
| appearance as argument number 2 |
|
|
| (rangeSubclass PlantFn Plant) | Food.kif 3353-3353 | |
| (subclass FloweringPlant Plant) | Merge.kif 14474-14474 | |
| (subclass NonFloweringPlant Plant) | Merge.kif 14478-14478 | |
| (termFormat ChineseLanguage Plant "植物") | chinese_format.kif 965-965 | |
| (termFormat EnglishLanguage Plant "plant") | english_format.kif 1137-1137 | |
| (termFormat FrenchLanguage Plant "plante") | french_format.kif 642-642 | |
| (termFormat Hindi Plant "vanaspati") | terms-hindi.txt 173-173 | |
| (termFormat ItalianLanguage Plant "Pianta") | terms-it.txt 176-176 | |
| (termFormat JapaneseLanguage Plant "植物") | japanese_format.kif 2326-2326 | |
| (termFormat PortugueseLanguage Plant "Planta") | portuguese_format.kif 594-594 | |
| (termFormat cb Plant "tanum") | terms-cb.txt 178-178 | |
| (termFormat cz Plant "plant") | terms-cz.txt 210-210 | |
| (termFormat de Plant "Pflanze") | terms-de.txt 469-469 | |
| (termFormat ro Plant "plantã") | relations-ro.kif 663-663 | |
| (termFormat tg Plant "pananim") | terms-tg.txt 177-177 |
| appearance as argument number 3 |
|
|
| (domain sheddingLeaves 1 Plant) | Geography.kif 6505-6505 | |
| (domainSubclass plantInArea 1 Plant) | Mid-level-ontology.kif 8866-8866 | |
| (domainSubclass vegetationType 2 Plant) | Geography.kif 6257-6257 | |
| (domainSubclass vegetationTypePattern 2 Plant) | Geography.kif 6286-6286 | |
| (partition Organism Animal Plant Fungus Microorganism) | Merge.kif 14427-14427 |
| antecedent |
|
|
| (=> (and (instance ?G Garden) (plantInArea Plant ?G)) (hasPurpose ?G (exists (?R) (and (instance ?R RecreationOrExercise) (eventLocated ?R ?G))))) |
Mid-level-ontology.kif 8854-8862 | |
| (=> (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 10385-10398 | |
| (=> (and (not (vegetationType ?REGION ?TYPE)) (subclass ?TYPE Plant) (instance ?REGION GeographicArea)) (not (exists (?PLANT) (and (instance ?PLANT ?TYPE) (located ?PLANT ?REGION))))) |
Geography.kif 6269-6277 | |
| (=> (and (vegetationType ?REGION ?TYPE) (subclass ?TYPE Plant) (instance ?REGION GeographicArea)) (exists (?PLANT) (and (instance ?PLANT ?TYPE) (located ?PLANT ?REGION)))) |
Geography.kif 6259-6267 | |
| (=> (instance ?F Plant) (capability Farming patient ?F)) |
Mid-level-ontology.kif 21434-21436 |
| consequent |
|
|
| (=> (and (instance ?A Herbivore) (agent ?E ?A) (instance ?E Eating) (patient ?E ?F)) (instance ?F Plant)) |
Mid-level-ontology.kif 20984-20990 | |
| (=> (and (instance ?ORG Organization) (attribute ?ORG AgricultureForestryFishingAndHunting)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?EV ?MEM) (exists (?THING ?EV2 ?MEM2) (and (or (instance ?EV Killing) (instance ?EV Maintaining)) (patient ?EV ?THING) (or (instance ?THING Animal) (instance ?THING Plant)) (not (instance ?THING Human)) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING)))))) |
naics.kif 50-72 | |
| (=> (and (instance ?STRUCTURE PlantAnatomicalStructure) (instance ?PLANT Organism) (part ?STRUCTURE ?PLANT)) (instance ?PLANT Plant)) |
Merge.kif 15081-15086 | |
| (=> (and (instance ?SUBSTANCE PlantSubstance) (instance ?PLANT Organism) (part ?SUBSTANCE ?PLANT)) (instance ?PLANT Plant)) |
Merge.kif 14897-14902 | |
| (=> (and (subclass ?CLASS PlantLeaf) (equal ?CLASS LeafyGreenVegetable)) (initialPart ?CLASS Plant)) |
Economy.kif 4429-4433 | |
| (=> (attribute ?X ForageCrop) (hasPurpose ?X (exists (?A) (and (instance ?A Agriculture) (result ?A ?X) (instance ?X Plant) (instance ?X (FoodForFn DomesticAnimal)))))) |
Economy.kif 5024-5033 | |
| (=> (instance ?FOREST Jungle) (vegetationTypePattern ?FOREST Plant DenseVegetation)) |
Geography.kif 6671-6673 | |
| (=> (instance ?P PlantProduct) (exists (?M ?A ?B) (and (instance ?M Manufacture) (result ?M ?P) (patient ?M ?A) (or (instance ?A Plant) (and (part ?B ?A) (instance ?B AnatomicalStructure)))))) |
Economy.kif 5406-5417 | |
| (=> (instance ?X FoodFromPlant) (exists (?P ?CLASS) (and (instance ?P (DeadFn ?CLASS)) (part ?X ?P) (subclass ?CLASS Plant)))) |
Food.kif 299-306 |
|
|
|