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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - NonFloweringPlant

appearance as argument number 1

(disjoint NonFloweringPlant FloweringPlant) Merge.kif 14379-14379
(disjointDecomposition NonFloweringPlant Alga Fern Moss) Merge.kif 14380-14380
(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 14381-14382
(subclass NonFloweringPlant Plant) Merge.kif 14378-14378

appearance as argument number 2

(subclass Alga NonFloweringPlant) Merge.kif 14384-14384
(subclass Fern NonFloweringPlant) Merge.kif 14411-14411
(subclass Lichen NonFloweringPlant) Geography.kif 6300-6300
(subclass Moss NonFloweringPlant) Merge.kif 14407-14407
(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


    (instance ?SPORE Spore)
    (exists (?PLANT ?TIME)
            (instance ?PLANT NonFloweringPlant)
            (holdsDuring ?TIME
                (part ?SPORE ?PLANT)))))
Merge.kif 15035-15040

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