|
|
   Plant
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3379-3380 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14400-14402 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 875-875 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 151-151 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14399-14399 | 子類 Plant and Organism |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3353-3353 | 範圍子類 PlantFn and Plant |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14404-14404 | 子類 FloweringPlant and Plant |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14408-14408 | 子類 NonFloweringPlant and Plant |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 965-965 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1137-1137 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 642-642 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 173-173 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 176-176 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2326-2326 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 594-594 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 178-178 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 210-210 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 663-663 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 177-177 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6437-6437 | 域 sheddingLeaves, 1 and Plant |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8166-8166 | 域子類 栽種於, 1 and Plant |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6189-6189 | 域子類 植被類型, 2 and Plant |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6218-6218 | 域子類 植被類型模式, 2 and Plant |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14357-14357 | 劃分 Organism, Animal, Plant, Fungus and Microorganism |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8154-8162 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9561-9574 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6201-6209 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6191-6199 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20516-20518 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20066-20072 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 50-72 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15011-15016 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14827-14832 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4214-4218 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4809-4818 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6603-6605 |
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5191-5202 | |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 299-306 |
|
|
|
|
