No TPTP formula. May not be expressible in strict first order. |
engineering.kif 641-641 |
子類 電氣過程 and 自然過程 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11311-11311 |
子類 地質過程 and 自然過程 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 637-637 |
子類 機械過程 and 自然過程 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 650-650 |
子類 諧振 and 自然過程 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2882-2882 |
子類 鹽鹼 and 自然過程 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39910-39910 |
子類 鹽鹼 and 自然過程 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39909-39909 |
子類 鹽鹼 and 自然過程 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39908-39908 |
子類 鹽鹼 and 自然過程 |