PlantFn |
appearance as argument number 1 |
(documentation PlantFn EnglishLanguage "This function denotes the class of Plant of a given PlantAnatomicalStructure, such as Seed or Flower or FruitOrVegetable.") | Food.kif 3354-3355 | |
(domainSubclass PlantFn 1 PlantAnatomicalStructure) | Food.kif 3352-3352 | 域子類 PlantFn, 1 and 植物解剖結構 |
(instance PlantFn UnaryFunction) | Food.kif 3351-3351 | 例 PlantFn and UnaryFunction |
(rangeSubclass PlantFn Plant) | Food.kif 3353-3353 | 範圍子類 PlantFn and Plant |
appearance as argument number 2 |
(termFormat EnglishLanguage PlantFn "plant fn") | Food.kif 3356-3356 |
antecedent |