Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NonFloweringPlant
NonFloweringPlant

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


(disjoint NonFloweringPlant FloweringPlant) Merge.kif 13357-13357 disjoint NonFloweringPlant and FloweringPlant
(disjointDecomposition NonFloweringPlant Alga Fern Moss) Merge.kif 13358-13358 disjointDecomposition NonFloweringPlant, 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 13359-13360
(subclass NonFloweringPlant Plant) Merge.kif 13356-13356 subclass NonFloweringPlant and Plant

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


(subclass Alga NonFloweringPlant) Merge.kif 13362-13362 subclass Alga and NonFloweringPlant
(subclass Fern NonFloweringPlant) Merge.kif 13389-13389 subclass Fern and NonFloweringPlant
(subclass Lichen NonFloweringPlant) Geography.kif 5867-5867 subclass Lichen and NonFloweringPlant
(subclass Moss NonFloweringPlant) Merge.kif 13385-13385 subclass Moss and NonFloweringPlant
(termFormat ChineseLanguage NonFloweringPlant "无花植物") chinese_format.kif 967-967
(termFormat EnglishLanguage NonFloweringPlant "non flowering plant") english_format.kif 1146-1146

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners