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 3361-3362
(domainSubclass PlantFn 1 PlantAnatomicalStructure)	Food.kif 3359-3359	The number 1 argument of plant fn is a subclass of plant anatomical structure
(instance PlantFn UnaryFunction)	Food.kif 3358-3358	Plant fn is an instance of unary function
(rangeSubclass PlantFn Plant)	Food.kif 3360-3360	The values returned by plant fn are subclasses of plant

appearance as argument number 2

(termFormat EnglishLanguage PlantFn "plant fn")

Food.kif 3363-3363

antecedent

(=> (equal ?P (PlantFn Apple)) (subclass ?P DeciduousTree))	Food.kif 2191-2193	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 2177-2179	If a kind of plant is equal to plant fn basil, then a kind of plant is a subclass of herbaceous plant
(=> (equal ?P (PlantFn Blueberry)) (subclass ?P Shrub))	Food.kif 2217-2219	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 2403-2405	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 2410-2412	If a kind of plant is equal to plant fn butternut squash, then a kind of plant is a subclass of herbaceous plant
(=> (equal ?P (PlantFn CashewNut)) (subclass ?P BotanicalTree))	Food.kif 2428-2430	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 2434-2436	If a kind of plant is equal to plant fn celery, then a kind of plant is a subclass of herbaceous plant
(=> (equal ?P (PlantFn Cilantro)) (subclass ?P HerbaceousPlant))	Food.kif 2536-2538	If a kind of plant is equal to plant fn cilantro, then a kind of plant is a subclass of herbaceous plant
(=> (equal ?P (PlantFn Garlic)) (subclass ?P HerbaceousPlant))	Food.kif 2591-2593	If a kind of plant is equal to plant fn garlic, then a kind of plant is a subclass of herbaceous plant
(=> (equal ?P (PlantFn Mint)) (subclass ?P HerbaceousPlant))	Food.kif 2679-2681	If a kind of plant is equal to plant fn mint, then a kind of plant is a subclass of herbaceous plant
(=> (equal ?P (PlantFn Mustard)) (subclass ?P HerbaceousPlant))	Food.kif 2703-2705	If a kind of plant is equal to plant fn mustard, then a kind of plant is a subclass of herbaceous plant
(=> (equal ?P (PlantFn Parsley)) (subclass ?P HerbaceousPlant))	Food.kif 2740-2742	If a kind of plant is equal to plant fn parsley, then a kind of plant is a subclass of herbaceous plant
(=> (equal ?P (PlantFn Scallion)) (subclass ?P HerbaceousPlant))	Food.kif 3367-3369	If a kind of plant is equal to plant fn scallion, then a kind of plant is a subclass of herbaceous plant
(=> (equal ?P (PlantFn Sesame)) (subclass ?P HerbaceousPlant))	Food.kif 3404-3406	If a kind of plant is equal to plant fn sesame, then a kind of plant is a subclass of herbaceous plant
(=> (equal ?P (PlantFn Strawberry)) (subclass ?P HerbaceousPlant))	Food.kif 3490-3492	If a kind of plant is equal to plant fn strawberry, then a kind of plant is a subclass of herbaceous plant
(=> (equal ?P (PlantFn TamarindFruit)) (subclass ?P BotanicalTree))	Food.kif 3496-3498	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 5072-5075	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 4403-4406	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 4413-4416	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 4433-4436	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 4423-4426	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 4444-4447	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 4979-4981	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 5003-5005	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: