| AppleOrchard | |
| appearance as argument number 1 |
|
|
| (documentation AppleOrchard EnglishLanguage "An Orchard that produces Apple.") | Food.kif 3686-3686 | |
| (equal AppleOrchard (FarmOfProductFn Apple)) |
Food.kif 3688-3688 | AppleOrchard は FarmOfProductFn Apple と equal では |
| (subclass AppleOrchard Orchard) | Food.kif 3687-3687 | AppleOrchard は Orchard の subclass では |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AppleOrchard "apple orchard") | domainEnglishFormat.kif 64463-64463 |
|
|
|