|
|
   Seed
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3503-3504 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15038-15039 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 164-164 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1975-1975 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 900-900 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 899-899 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 896-896 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 898-898 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 894-894 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 903-903 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 904-904 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 892-892 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 893-893 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 895-895 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 905-905 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 902-902 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 901-901 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 897-897 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15037-15037 | Seed e' uma sub-classe de PlantAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15036-15036 | Seed e' uma sub-classe de Corpo Reprodutor |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4026-4026 | CerealGrain e' uma sub-classe de Seed |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4686-4686 | CocoaBean e' uma sub-classe de Seed |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4624-4624 | CoffeeBean e' uma sub-classe de Seed |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4500-4500 | KentiaPalmSeed e' uma sub-classe de Seed |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4497-4497 | NorfolkIslandPineSeed e' uma sub-classe de Seed |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4509-4509 | Oilseed e' uma sub-classe de Seed |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4112-4112 | Pea e' uma sub-classe de Seed |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3391-3391 | Sesame e' uma sub-classe de Seed |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4503-4503 | SunflowerSeed e' uma sub-classe de Seed |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51963-51963 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51962-51962 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51961-51961 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4629-4634 |
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4693-4699 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4532-4543 |
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4839-4843 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15041-15046 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 174-180 |
|
|
|
