NonFloweringPlant - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint NonFloweringPlant FloweringPlant)	Merge.kif 14483-14483	Non flowering plant is disjoint from flowering plant
(disjointDecomposition NonFloweringPlant Alga Fern Moss)	Merge.kif 14484-14484	Non flowering plant is disjointly decomposed into alga, fern, and moss
(documentation NonFloweringPlant ChineseLanguage "这是一种通过孢子来繁殖，而不能开花的 Plant。")	chinese_format.kif 3383-3383	Non flowering plant is disjointly decomposed into alga, fern, and moss
(documentation NonFloweringPlant EnglishLanguage "A Plant that reproduces with spores and does not produce flowers.")	Merge.kif 14485-14486	Non flowering plant is disjointly decomposed into alga, fern, and moss
(subclass NonFloweringPlant Plant)	Merge.kif 14482-14482	Non flowering plant is a subclass of plant

appearance as argument number 2

(subclass Alga NonFloweringPlant)	Merge.kif 14488-14488	Alga is a subclass of non flowering plant
(subclass Fern NonFloweringPlant)	Merge.kif 14515-14515	Fern is a subclass of non flowering plant
(subclass Lichen NonFloweringPlant)	Geography.kif 6390-6390	Lichen is a subclass of non flowering plant
(subclass Moss NonFloweringPlant)	Merge.kif 14511-14511	Moss is a subclass of non flowering plant
(termFormat ChineseLanguage NonFloweringPlant "无花植物")	chinese_format.kif 967-967	Moss is a subclass of non flowering plant
(termFormat EnglishLanguage NonFloweringPlant "non flowering plant")	english_format.kif 1141-1141	Moss is a subclass of non flowering plant
(termFormat FrenchLanguage NonFloweringPlant "plante non florissante")	french_format.kif 644-644	Moss is a subclass of non flowering plant
(termFormat Hindi NonFloweringPlant "apushpI vanaspati")	terms-hindi.txt 175-175	Moss is a subclass of non flowering plant
(termFormat ItalianLanguage NonFloweringPlant "PiantaNonDaFiore")	terms-it.txt 178-178	Moss is a subclass of non flowering plant
(termFormat JapaneseLanguage NonFloweringPlant "隠花植物")	japanese_format.kif 2328-2328	Moss is a subclass of non flowering plant
(termFormat PortugueseLanguage NonFloweringPlant "Planta sem flores")	portuguese_format.kif 596-596	Moss is a subclass of non flowering plant
(termFormat cz NonFloweringPlant "non flowering plant")	terms-cz.txt 212-212	Moss is a subclass of non flowering plant
(termFormat de NonFloweringPlant "nichtbluehende Pflanze")	terms-de.txt 471-471	Moss is a subclass of non flowering plant
(termFormat ro NonFloweringPlant "plantã fãrã flori")	relations-ro.kif 665-665	Moss is a subclass of non flowering plant
(termFormat tg NonFloweringPlant "Halamang di-namumulaklak")	terms-tg.txt 179-179	Moss is a subclass of non flowering plant

consequent

(=>
    (instance ?SPORE Spore)
    (exists (?PLANT ?TIME)
        (and
            (instance ?PLANT NonFloweringPlant)
            (holdsDuring ?TIME
                (part ?SPORE ?PLANT)))))

Merge.kif 15139-15144

If an entity is an instance of spore,
then there exist another entity and a time position such that the other entity is an instance of non flowering plant and the entity is a part of the other entity holds during the time position

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: