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 | Die Zahl 1 Argument von PlantFn ist eine teilkategorie von PlantAnatomicalStructure %n{nicht} |
(instance PlantFn UnaryFunction) | Food.kif 3351-3351 | PlantFn ist ein fall von UnaryFunction %n{nicht} |
(rangeSubclass PlantFn Plant) | Food.kif 3353-3353 | Die werte die PlantFn zurueckgibt sind teilkategorien von Plant |
appearance as argument number 2 |
(termFormat EnglishLanguage PlantFn "plant fn") | Food.kif 3356-3356 |
antecedent |