Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


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

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


(subclass Alga NonFloweringPlant) Merge.kif 14153-14153 Alga is a subclass of non flowering plant
(subclass Fern NonFloweringPlant) Merge.kif 14180-14180 Fern is a subclass of non flowering plant
(subclass Lichen NonFloweringPlant) Geography.kif 6214-6214 Lichen is a subclass of non flowering plant
(subclass Moss NonFloweringPlant) Merge.kif 14176-14176 Moss is a subclass of non flowering plant
(termFormat ChineseLanguage NonFloweringPlant "无花植物") chinese_format.kif 967-967
(termFormat EnglishLanguage NonFloweringPlant "non flowering plant") english_format.kif 1141-1141

consequent
-------------------------


(=>
    (instance ?SPORE Spore)
    (exists (?PLANT ?TIME)
        (and
            (instance ?PLANT NonFloweringPlant)
            (holdsDuring ?TIME
                (part ?SPORE ?PLANT)))))
Merge.kif 14800-14805


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