![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
Spore
|
|
|
| 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 |
|
|
| 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 |