|
|
   TreeBranch
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9517-9518 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 52-52 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9516-9516 | TreeBranch e' uma sub-classe de PlantBranch |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59140-59140 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59139-59139 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59138-59138 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9520-9525 |
|
|
|
|
