TreeView Knowledge Base Browser

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

(=> (equal ?P (PlantFn Apple)) (subclass ?P DeciduousTree))	Food.kif 2184-2186	植物は PlantFn Apple と equal では %n 植物は DeciduousTree の subclass では %n
(=> (equal ?P (PlantFn Basil)) (subclass ?P HerbaceousPlant))	Food.kif 2170-2172	植物は PlantFn Basil と equal では %n 植物は HerbaceousPlant の subclass では %n
(=> (equal ?P (PlantFn Blueberry)) (subclass ?P Shrub))	Food.kif 2210-2212	植物は PlantFn Blueberry と equal では %n 植物は Shrub の subclass では %n
(=> (equal ?P (PlantFn Broccoli)) (subclass ?P CabbagePlant))	Food.kif 2396-2398	植物は PlantFn Broccoli と equal では %n 植物は CabbagePlant の subclass では %n
(=> (equal ?P (PlantFn ButternutSquash)) (subclass ?P HerbaceousPlant))	Food.kif 2403-2405	植物は PlantFn ButternutSquash と equal では %n 植物は HerbaceousPlant の subclass では %n
(=> (equal ?P (PlantFn CashewNut)) (subclass ?P BotanicalTree))	Food.kif 2421-2423	植物は PlantFn CashewNut と equal では %n 植物は BotanicalTree の subclass では %n
(=> (equal ?P (PlantFn Celery)) (subclass ?P HerbaceousPlant))	Food.kif 2427-2429	植物は PlantFn Celery と equal では %n 植物は HerbaceousPlant の subclass では %n
(=> (equal ?P (PlantFn Cilantro)) (subclass ?P HerbaceousPlant))	Food.kif 2529-2531	植物は PlantFn Cilantro と equal では %n 植物は HerbaceousPlant の subclass では %n
(=> (equal ?P (PlantFn Garlic)) (subclass ?P HerbaceousPlant))	Food.kif 2584-2586	植物は PlantFn Garlic と equal では %n 植物は HerbaceousPlant の subclass では %n
(=> (equal ?P (PlantFn Mint)) (subclass ?P HerbaceousPlant))	Food.kif 2672-2674	植物は PlantFn Mint と equal では %n 植物は HerbaceousPlant の subclass では %n
(=> (equal ?P (PlantFn Mustard)) (subclass ?P HerbaceousPlant))	Food.kif 2696-2698	植物は PlantFn Mustard と equal では %n 植物は HerbaceousPlant の subclass では %n
(=> (equal ?P (PlantFn Parsley)) (subclass ?P HerbaceousPlant))	Food.kif 2733-2735	植物は PlantFn Parsley と equal では %n 植物は HerbaceousPlant の subclass では %n
(=> (equal ?P (PlantFn Scallion)) (subclass ?P HerbaceousPlant))	Food.kif 3360-3362	植物は PlantFn Scallion と equal では %n 植物は HerbaceousPlant の subclass では %n
(=> (equal ?P (PlantFn Sesame)) (subclass ?P HerbaceousPlant))	Food.kif 3397-3399	植物は PlantFn Sesame と equal では %n 植物は HerbaceousPlant の subclass では %n
(=> (equal ?P (PlantFn Strawberry)) (subclass ?P HerbaceousPlant))	Food.kif 3483-3485	植物は PlantFn Strawberry と equal では %n 植物は HerbaceousPlant の subclass では %n
(=> (equal ?P (PlantFn TamarindFruit)) (subclass ?P BotanicalTree))	Food.kif 3489-3491	植物は PlantFn TamarindFruit と equal では %n 植物は BotanicalTree の subclass では %n
(=> (equal ?P (PlantFn WineGrape)) (subclass ?P GrapeVine))	Economy.kif 4732-4735	植物は PlantFn WineGrape と equal では %n 植物は GrapeVine の subclass では %n
(=> (equal ?X (PlantFn CommonWheatGrain)) (subclass ?X CommonWheatGrass))	Economy.kif 4066-4069	植物は PlantFn CommonWheatGrain と equal では %n 植物は CommonWheatGrass の subclass では %n
(=> (equal ?X (PlantFn DurumWheatGrain)) (subclass ?X DurumWheatGrass))	Economy.kif 4076-4079	植物は PlantFn DurumWheatGrain と equal では %n 植物は DurumWheatGrass の subclass では %n
(=> (equal ?X (PlantFn EinkornWheatGrain)) (subclass ?X EinkornWheatGrass))	Economy.kif 4096-4099	植物は PlantFn EinkornWheatGrain と equal では %n 植物は EinkornWheatGrass の subclass では %n
(=> (equal ?X (PlantFn EmmerWheatGrain)) (subclass ?X EmmerWheatGrass))	Economy.kif 4086-4089	植物は PlantFn EmmerWheatGrain と equal では %n 植物は EmmerWheatGrass の subclass では %n
(=> (equal ?X (PlantFn SpeltWheatGrain)) (subclass ?X SpeltWheatGrass))	Economy.kif 4107-4110	植物は PlantFn SpeltWheatGrain と equal では %n 植物は SpeltWheatGrass の subclass では %n
(=> (instance ?P (PlantFn CoffeeArabica)) (instance ?P CoffeaArabica))	Economy.kif 4641-4643	エンティティーは PlantFn CoffeeArabica の instance では %n エンティティーは CoffeaArabica の instance では %n
(=> (instance ?P (PlantFn CoffeeRobusta)) (instance ?P CoffeaRobusta))	Economy.kif 4665-4667	エンティティーは PlantFn CoffeeRobusta の instance では %n エンティティーは CoffeaRobusta の instance では %n

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: