No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13968-13968 |
沸腾 是 状态改变 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10515-10515 |
Clotting 是 状态改变 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14014-14014 |
凝结 是 状态改变 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3179-3179 |
Curdling 是 状态改变 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6991-6991 |
凝华 是 状态改变 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13993-13993 |
蒸发 是 状态改变 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14035-14035 |
结冰 是 状态改变 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13947-13947 |
溶化 是 状态改变 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7041-7041 |
升华 是 状态改变 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1226-1226 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1673-1673 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 904-904 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 437-437 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 440-440 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2588-2588 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 856-856 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 476-476 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 925-925 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 441-441 |
|