No TPTP formula. May not be expressible in strict first order. | Merge.kif 10893-10893 | 增加 是 量变 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1433-1433 | 增殖 是 增加 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6453-6453 | 腹胀 是 增加 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12386-12386 | Inflammation 是 增加 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17139-17139 | 加速 是 增加 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23802-23802 | 延长 是 增加 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23822-23822 | 保存 是 增加 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10914-10914 | 加热 是 增加 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3601-3601 | Inflating 是 增加 的 subclass |