No TPTP formula. May not be expressible in strict first order. | Food.kif 2876-2882 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2906-2914 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15257-15257 | 脂肪组织 是 ConnectiveTissue 的 subclass |