|
|
   BiodiversityAttribute
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2602-2604 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8380-8380 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8987-8987 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8986-8986 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2600-2600 | 生物多样性属 是 内在属性 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2608-2608 | 生物多样性 是 生物多样性属 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2606-2606 | 生物多样性低 是 生物多样性属 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2607-2607 | 中程度的生物多样性 是 生物多样性属 的 instance |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11063-11063 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11062-11062 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11061-11061 |
|
|
|
