PlantFn - Sigma 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	The number 1 argument of plant fn is a subclass of plant anatomical structure
(instance PlantFn UnaryFunction)	Food.kif 3351-3351	Plant fn is an instance of unary function
(rangeSubclass PlantFn Plant)	Food.kif 3353-3353	The values returned by plant fn are subclasses of plant

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	If a kind of plant is equal to plant fn apple, then a kind of plant is a subclass of deciduous tree
(=> (equal ?P (PlantFn Basil)) (subclass ?P HerbaceousPlant))	Food.kif 2170-2172	If a kind of plant is equal to plant fn basil, then a kind of plant is a subclass of HerbaceousPlant
(=> (equal ?P (PlantFn Blueberry)) (subclass ?P Shrub))	Food.kif 2210-2212	If a kind of plant is equal to plant fn blueberry, then a kind of plant is a subclass of shrub
(=> (equal ?P (PlantFn Broccoli)) (subclass ?P CabbagePlant))	Food.kif 2396-2398	If a kind of plant is equal to plant fn broccoli, then a kind of plant is a subclass of cabbage plant
(=> (equal ?P (PlantFn ButternutSquash)) (subclass ?P HerbaceousPlant))	Food.kif 2403-2405	If a kind of plant is equal to plant fn butternut squash, then a kind of plant is a subclass of HerbaceousPlant
(=> (equal ?P (PlantFn CashewNut)) (subclass ?P BotanicalTree))	Food.kif 2421-2423	If a kind of plant is equal to plant fn cashew nut, then a kind of plant is a subclass of botanical tree
(=> (equal ?P (PlantFn Celery)) (subclass ?P HerbaceousPlant))	Food.kif 2427-2429	If a kind of plant is equal to plant fn celery, then a kind of plant is a subclass of HerbaceousPlant
(=> (equal ?P (PlantFn Cilantro)) (subclass ?P HerbaceousPlant))	Food.kif 2529-2531	If a kind of plant is equal to plant fn cilantro, then a kind of plant is a subclass of HerbaceousPlant
(=> (equal ?P (PlantFn Garlic)) (subclass ?P HerbaceousPlant))	Food.kif 2584-2586	If a kind of plant is equal to plant fn garlic, then a kind of plant is a subclass of HerbaceousPlant
(=> (equal ?P (PlantFn Mint)) (subclass ?P HerbaceousPlant))	Food.kif 2672-2674	If a kind of plant is equal to plant fn mint, then a kind of plant is a subclass of HerbaceousPlant
(=> (equal ?P (PlantFn Mustard)) (subclass ?P HerbaceousPlant))	Food.kif 2696-2698	If a kind of plant is equal to plant fn mustard, then a kind of plant is a subclass of HerbaceousPlant
(=> (equal ?P (PlantFn Parsley)) (subclass ?P HerbaceousPlant))	Food.kif 2733-2735	If a kind of plant is equal to plant fn parsley, then a kind of plant is a subclass of HerbaceousPlant
(=> (equal ?P (PlantFn Scallion)) (subclass ?P HerbaceousPlant))	Food.kif 3360-3362	If a kind of plant is equal to plant fn scallion, then a kind of plant is a subclass of HerbaceousPlant
(=> (equal ?P (PlantFn Sesame)) (subclass ?P HerbaceousPlant))	Food.kif 3397-3399	If a kind of plant is equal to plant fn sesame, then a kind of plant is a subclass of HerbaceousPlant
(=> (equal ?P (PlantFn Strawberry)) (subclass ?P HerbaceousPlant))	Food.kif 3483-3485	If a kind of plant is equal to plant fn strawberry, then a kind of plant is a subclass of HerbaceousPlant
(=> (equal ?P (PlantFn TamarindFruit)) (subclass ?P BotanicalTree))	Food.kif 3489-3491	If a kind of plant is equal to plant fn tamarind fruit, then a kind of plant is a subclass of botanical tree
(=> (equal ?P (PlantFn WineGrape)) (subclass ?P GrapeVine))	Economy.kif 4732-4735	If a kind of plant is equal to plant fn wine grape, then a kind of plant is a subclass of grape vine
(=> (equal ?X (PlantFn CommonWheatGrain)) (subclass ?X CommonWheatGrass))	Economy.kif 4066-4069	If a kind of plant is equal to plant fn common wheat grain, then a kind of plant is a subclass of common wheat grass
(=> (equal ?X (PlantFn DurumWheatGrain)) (subclass ?X DurumWheatGrass))	Economy.kif 4076-4079	If a kind of plant is equal to plant fn durum wheat grain, then a kind of plant is a subclass of durum wheat grass
(=> (equal ?X (PlantFn EinkornWheatGrain)) (subclass ?X EinkornWheatGrass))	Economy.kif 4096-4099	If a kind of plant is equal to plant fn Einkorn wheat grain, then a kind of plant is a subclass of einkorn wheat grass
(=> (equal ?X (PlantFn EmmerWheatGrain)) (subclass ?X EmmerWheatGrass))	Economy.kif 4086-4089	If a kind of plant is equal to plant fn Emmer wheat grain, then a kind of plant is a subclass of emmer wheat grass
(=> (equal ?X (PlantFn SpeltWheatGrain)) (subclass ?X SpeltWheatGrass))	Economy.kif 4107-4110	If a kind of plant is equal to plant fn spelt wheat grain, then a kind of plant is a subclass of spelt wheat grass
(=> (instance ?P (PlantFn CoffeeArabica)) (instance ?P CoffeaArabica))	Economy.kif 4641-4643	If an entity is an instance of plant fn coffee arabica, then the entity is an instance of coffea arabica
(=> (instance ?P (PlantFn CoffeeRobusta)) (instance ?P CoffeaRobusta))	Economy.kif 4665-4667	If an entity is an instance of plant fn coffee robusta, then the entity is an instance of coffea robusta

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

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: