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 引数は PlantAnatomicalStructure のsubclass では %n |
(instance PlantFn UnaryFunction) | Food.kif 3351-3351 | PlantFn は 1変数関数 の instance では %n |
(rangeSubclass PlantFn Plant) | Food.kif 3353-3353 | PlantFn が返す値は 植物 の subclasses では %n |
appearance as argument number 2 |
(termFormat EnglishLanguage PlantFn "plant fn") | Food.kif 3356-3356 |
antecedent |