| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30524-30524 |
馴鹿 的預期 value 是 測量 300.0 and 磅質量 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30508-30522 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 689-689 |
|
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30528-30528 |
馴鹿 inhabits 亞洲 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30527-30527 |
馴鹿 inhabits 歐洲 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30529-30529 |
馴鹿 inhabits 北美 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30525-30525 |
屬性 馴鹿 and VulnerableSpecies |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30526-30526 |
子類 馴鹿 and 鹿 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4909-4909 |
子類 馴鹿 and HoofedMammal |
