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


KB Term:  Term intersection
English Word: 

  NonFloweringPlant

 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners