| Plant(植物)
| |
| 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 14553-14555 | |
| (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 14552-14552 | 植物 是 生物 的 subclass |
| appearance as argument number 2 |
|
|
| (rangeSubclass PlantFn Plant) | Food.kif 3360-3360 | PlantFn 的所得值 是 植物 的 subclass |
| (subclass FloweringPlant Plant) | Merge.kif 14557-14557 | 开花植物 是 植物 的 subclass |
| (subclass NonFloweringPlant Plant) | Merge.kif 14561-14561 | 无花植物 是 植物 的 subclass |
| (termFormat ChineseLanguage Plant "植物") | chinese_format.kif 965-965 | 无花植物 是 植物 的 subclass |
| (termFormat EnglishLanguage Plant "plant") | english_format.kif 1137-1137 | 无花植物 是 植物 的 subclass |
| (termFormat FrenchLanguage Plant "plante") | french_format.kif 642-642 | 无花植物 是 植物 的 subclass |
| (termFormat Hindi Plant "vanaspati") | terms-hindi.txt 173-173 | 无花植物 是 植物 的 subclass |
| (termFormat ItalianLanguage Plant "Pianta") | terms-it.txt 176-176 | 无花植物 是 植物 的 subclass |
| (termFormat JapaneseLanguage Plant "植物") | japanese_format.kif 2326-2326 | 无花植物 是 植物 的 subclass |
| (termFormat PortugueseLanguage Plant "Planta") | portuguese_format.kif 594-594 | 无花植物 是 植物 的 subclass |
| (termFormat cb Plant "tanum") | terms-cb.txt 178-178 | 无花植物 是 植物 的 subclass |
| (termFormat cz Plant "plant") | terms-cz.txt 210-210 | 无花植物 是 植物 的 subclass |
| (termFormat de Plant "Pflanze") | terms-de.txt 469-469 | 无花植物 是 植物 的 subclass |
| (termFormat ro Plant "plantã") | relations-ro.kif 663-663 | 无花植物 是 植物 的 subclass |
| (termFormat tg Plant "pananim") | terms-tg.txt 177-177 | 无花植物 是 植物 的 subclass |
| appearance as argument number 3 |
|
|
| (domain sheddingLeaves 1 Plant) | Geography.kif 6740-6740 | sheddingLeaves 的 1 数量 是 植物 的 instance |
| (domainSubclass plantInArea 1 Plant) | Mid-level-ontology.kif 9333-9333 | 栽种于 的 1 数量 是 植物 的 subclass |
| (domainSubclass vegetationType 2 Plant) | Geography.kif 6491-6491 | 植被类型 的 2 数量 是 植物 的 subclass |
| (domainSubclass vegetationTypePattern 2 Plant) | Geography.kif 6520-6520 | 植被类型模式 的 2 数量 是 植物 的 subclass |
| (partition Organism Animal Plant Fungus Microorganism) | Merge.kif 14510-14510 | 生物 详尽无遗地 partition 成 动物, 植物, 菌类, 和 微生物 |
| antecedent |
|
|
| (=> (and (instance ?G Garden) (plantInArea Plant ?G)) (hasPurpose ?G (exists (?R) (and (instance ?R RecreationOrExercise) (eventLocated ?R ?G))))) |
Mid-level-ontology.kif 9321-9329 | |
| (=> (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 10890-10903 | |
| (=> (and (not (vegetationType ?REGION ?TYPE)) (subclass ?TYPE Plant) (instance ?REGION GeographicArea)) (not (exists (?PLANT) (and (instance ?PLANT ?TYPE) (located ?PLANT ?REGION))))) |
Geography.kif 6503-6511 | |
| (=> (and (vegetationType ?REGION ?TYPE) (subclass ?TYPE Plant) (instance ?REGION GeographicArea)) (exists (?PLANT) (and (instance ?PLANT ?TYPE) (located ?PLANT ?REGION)))) |
Geography.kif 6493-6501 | |
| (=> (instance ?F Plant) (capability Farming patient ?F)) |
Mid-level-ontology.kif 22133-22135 |
| consequent |
|
|
| (=> (and (instance ?A Herbivore) (agent ?E ?A) (instance ?E Eating) (patient ?E ?F)) (instance ?F Plant)) |
Mid-level-ontology.kif 21653-21659 | |
| (=> (and (instance ?A Omnivore) (agent ?E ?A) (instance ?E Eating) (patient ?E ?F)) (or (instance ?F Plant) (instance ?F Animal) (instance ?F Fungus))) |
Mid-level-ontology.kif 21667-21676 | |
| (=> (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 15164-15169 | |
| (=> (and (instance ?SUBSTANCE PlantSubstance) (instance ?PLANT Organism) (part ?SUBSTANCE ?PLANT)) (instance ?PLANT Plant)) |
Merge.kif 14980-14985 | |
| (=> (and (subclass ?CLASS PlantLeaf) (equal ?CLASS LeafyGreenVegetable)) (initialPart ?CLASS Plant)) |
Economy.kif 4551-4555 | |
| (=> (attribute ?X ForageCrop) (hasPurpose ?X (exists (?A) (and (instance ?A Agriculture) (result ?A ?X) (instance ?X Plant) (instance ?X (FoodForFn DomesticAnimal)))))) |
Economy.kif 5149-5158 | |
| (=> (instance ?FOREST Jungle) (vegetationTypePattern ?FOREST Plant DenseVegetation)) |
Geography.kif 6906-6908 |
|
| (=> (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 5532-5543 | |
| (=> (instance ?X FoodFromPlant) (exists (?P ?CLASS) (and (instance ?P (DeadFn ?CLASS)) (part ?X ?P) (subclass ?CLASS Plant)))) |
Food.kif 299-306 |
|
|
|