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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NonFloweringPlant

Sigma KEE - NonFloweringPlant
NonFloweringPlant(隠花植物)

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


(disjoint NonFloweringPlant FloweringPlant) Merge.kif 14409-14409 隠花植物顕花植物disjoint では %n
(disjointDecomposition NonFloweringPlant Alga Fern Moss) Merge.kif 14410-14410 隠花植物, シダ, + コケdisjointly decomposed %n
(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 14411-14412
(subclass NonFloweringPlant Plant) Merge.kif 14408-14408 隠花植物植物subclass では %n

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


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

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


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


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 is open source software produced by Articulate Software and its partners