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 14547-14547 隠花植物顕花植物disjoint では
(disjointDecomposition NonFloweringPlant Alga Fern Moss) Merge.kif 14548-14548 隠花植物, シダ, + コケdisjointly decomposed
(documentation NonFloweringPlant ChineseLanguage "这是一种通过孢子来繁殖,而不能开花的 Plant。") chinese_format.kif 3383-3383 隠花植物, シダ, + コケdisjointly decomposed
(documentation NonFloweringPlant EnglishLanguage "A Plant that reproduces with spores and does not produce flowers.") Merge.kif 14549-14550 隠花植物, シダ, + コケdisjointly decomposed
(subclass NonFloweringPlant Plant) Merge.kif 14546-14546 隠花植物植物subclass では

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


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

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


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


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