Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FirTree(Fir tree) |
| appearance as argument number 1 |
|
| (subclass FirTree Conifer) | Geography.kif 8212-8212 | Fir tree is a subclass of conifer |
| (relatedInternalConcept FirTree FirWood) | Geography.kif 8213-8213 | Fir tree is internally related to fir wood |
| (documentation FirTree EnglishLanguage "FirTree is in the family of Pinaceae. It belongs to the the genus of Abies. There are 48-56 extant species. The genus is closely related to cedar.[Wikipedia]") | Geography.kif 8214-8215 | Fir tree is internally related to fir wood |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FirTree "Fir tree") | domainEnglishFormat.kif 64867-64867 |
| consequent |
|
|
| (=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W FirWood) (subclass ?S PlantStem)) (initialPart ?S FirTree)) |
Economy.kif 5780-5785 | If equal X and Object made from Y, X is a subclass of fir wood, and Y is a subclass of plant stem, then every Y is initially part of a Fir tree |
|