Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - NonFloweringPlant
NonFloweringPlant(non flowering plant)Christmas_green, Cryptogamia, Cryptogrammataceae, Equisetaceae, Equisetales, Equisetatae, Equisetum, Equisetum_Sylvaticum, Equisetum_arvense, Equisetum_fluviatile, Equisetum_hyemale, Equisetum_hyemale_robustum, Equisetum_palustre, Equisetum_robustum, Equisetum_variegatum, Horneophyton, Isoetaceae, Isoetales, Isoetes, Lepidodendraceae, Lepidodendrales, Lycophyta, Lycopodiales, Lycopodiate, Lycopodineae, Lycopodium, Lycopodium_alopecuroides, Lycopodium_alpinum, Lycopodium_clavitum, Lycopodium_complanatum, Lycopodium_lucidulum, Lycopodium_obscurum, Lycopodium_selago, Lycopsida, Psilophytaceae, Psilophytales, Rhynia, Rhyniaceae, Selaginella, Selaginella_apoda, Selaginella_eatonii, Selaginella_eremophila, Selaginella_lepidophylla, Selaginella_rupestris, Selaginellaceae, Selaginellales, Sphenopsida, Thallophyta, acrogen, acrogenic...

appearance as argument number 1
-------------------------


(subclass NonFloweringPlant Plant) Merge.kif 14720-14720 Non flowering plant is a subclass of plant
(disjoint NonFloweringPlant FloweringPlant) Merge.kif 14721-14721 Non flowering plant is disjoint from flowering plant
(disjointDecomposition NonFloweringPlant Alga Fern Moss) Merge.kif 14722-14722 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 14723-14724 Non flowering plant is disjointly decomposed into alga, fern, and moss

appearance as argument number 2
-------------------------


(subclass Alga NonFloweringPlant) Merge.kif 14726-14726 Alga is a subclass of non flowering plant
(subclass Moss NonFloweringPlant) Merge.kif 14749-14749 Moss is a subclass of non flowering plant
(subclass Fern NonFloweringPlant) Merge.kif 14753-14753 Fern is a subclass of non flowering plant
(subclass Lichen NonFloweringPlant) Geography.kif 7947-7947 Lichen is a subclass of non flowering plant
(termFormat EnglishLanguage NonFloweringPlant "non flowering plant") english_format.kif 1145-1145 Lichen 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 15361-15366 If X is an instance of spore, then there exist Y, Z such that Y is an instance of non flowering plant, and X is a part of Y holds during Z


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners