No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10154-10154 |
生物过程 是 内部变化 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12525-12525 |
化学过程 是 内部变化 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 153-153 |
电脑程序 是 内部变化 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12806-12806 |
创作 是 内部变化 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12292-12292 |
损坏 是 内部变化 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11212-11212 |
地质过程 是 内部变化 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10894-10894 |
量变 是 内部变化 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12674-12674 |
形状变化 是 内部变化 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13774-13774 |
状态改变 是 内部变化 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12634-12634 |
表面变化 是 内部变化 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4952-4952 |
潮汐过程 是 内部变化 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1065-1065 |
关掉设备 是 内部变化 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1089-1089 |
打开设备 是 内部变化 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1173-1173 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1563-1563 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 851-851 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 383-383 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 386-386 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2535-2535 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 803-803 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 422-422 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 872-872 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 387-387 |
|