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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NonFloweringPlant
NonFloweringPlant(plante non florissante)

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


(disjoint NonFloweringPlant FloweringPlant) Merge.kif 14409-14409 Plante non florissante est disjoint de plant florissante
(disjointDecomposition NonFloweringPlant Alga Fern Moss) Merge.kif 14410-14410 Plante non florissante est disjointement decompos� en algue, foug�re, + mousse
(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 Plante non florissante est une sous-classe de plante

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


(subclass Alga NonFloweringPlant) Merge.kif 14414-14414 Algue est une sous-classe de plante non florissante
(subclass Fern NonFloweringPlant) Merge.kif 14441-14441 Foug�re est une sous-classe de plante non florissante
(subclass Lichen NonFloweringPlant) Geography.kif 6322-6322 Lichen est une sous-classe de plante non florissante
(subclass Moss NonFloweringPlant) Merge.kif 14437-14437 Mousse est une sous-classe de plante non florissante
(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 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