No TPTP formula. May not be expressible in strict first order. | Merge.kif 12036-12048 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12028-12028 | 决定 是 选择 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16053-16053 | 解析度 是 决定 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16274-16274 | 比赛电话 是 决定 的 subclass |