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 | O argumento numero 1 de PlantFn e' uma sub-classe de PlantAnatomicalStructure |
(instance PlantFn UnaryFunction) | Food.kif 3351-3351 | PlantFn e' uma instancia de funcao Unaria |
(rangeSubclass PlantFn Plant) | Food.kif 3353-3353 | Os valores retornados por PlantFn sao as sub-classes de Planta |
appearance as argument number 2 |
(termFormat EnglishLanguage PlantFn "plant fn") | Food.kif 3356-3356 |
antecedent |