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



KB Term:  Term intersection
English Word: 

  Spore

Sigma KEE - Spore
Spore(spore)
aeciospore, ascospore, basidiospore, carpospore, chlamydospore, conidiophore, conidiospore, conidium, endospore, fern_seed, macrospore, megaspore, microspore, oosphere, oospore, resting_spore, spore, teliospore, tetraspore, zoospore, zygospore

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


(subclass Spore ReproductiveBody) Merge.kif 15357-15357 Spore is a subclass of reproductive body
(subclass Spore PlantAnatomicalStructure) Merge.kif 15358-15358 Spore is a subclass of plant anatomical structure
(documentation Spore EnglishLanguage "Any ReproductiveBody of a NonFloweringPlant.") Merge.kif 15359-15359 Spore is a subclass of plant anatomical structure
(externalImage Spore "http://upload.wikimedia.org/wikipedia/commons/e/ea/ Tree_Fern_Spores.jpg") pictureList.kif 2372-2372 Spore is a subclass of plant anatomical structure

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


(termFormat EnglishLanguage Spore "spore") domainEnglishFormat.kif 54691-54691
(termFormat ChineseTraditionalLanguage Spore "孢子") domainEnglishFormat.kif 54692-54692
(termFormat ChineseLanguage Spore "孢子") domainEnglishFormat.kif 54693-54693

antecedent
-------------------------


(=>
    (instance ?SPORE Spore)
    (exists (?PLANT ?TIME)
        (and
            (instance ?PLANT NonFloweringPlant)
            (holdsDuring ?TIME
                (part ?SPORE ?PLANT)))))
Merge.kif 15361-15366 If X is an instance of spore, then there exist Y, Z such that Y is an instance of non flowering plant, and X is a part of Y holds during Z


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners