RedOakTree |
appearance as argument number 1 |
![]() |
(documentation RedOakTree EnglishLanguage "RedOakTree is also known as Quercus rubra. It is a native tree of NorthAmerica.[Wikipedia]") | Geography.kif 6593-6593 | |
(relatedInternalConcept RedOakTree RedOakWood) | Geography.kif 6592-6592 | RedOakTree 和 RedOakWood 是 内部相关 |
(subclass RedOakTree DeciduousTree) | Geography.kif 6591-6591 | RedOakTree 是 DeciduousTree 的 subclass |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage RedOakTree "red oak tree") | domainEnglishFormat.kif 65417-65417 |
consequent |
![]() |
(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W RedOakWood) (subclass ?S PlantStem)) (initialPart ?S RedOakTree)) |
Economy.kif 5703-5708 |
|
statement |
![]() |
(equal (JankaHardnessFn RedOakTree) (MeasureFn 1290 PoundForce)) |
Mid-level-ontology.kif 10444-10444 | JankaHardnessFn RedOakTree equal 1290 磅力 |
![]() |
![]() |