No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21378-21378 |
子類 流血的 and 液體運動 |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1512-1512 |
子類 BleedingAir and 液體運動 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 484-484 |
子類 BloodCirculation and 液體運動 |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1735-1735 |
子類 Cavitating and 液體運動 |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 651-651 |
子類 CoffeeMaking and 液體運動 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17524-17524 |
子類 滴水 and 液體運動 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17580-17580 |
子類 洪水 and 液體運動 |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1480-1480 |
子類 Perspiring and 液體運動 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17533-17533 |
子類 澆注 and 液體運動 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17602-17602 |
子類 噴 and 液體運動 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17528-17528 |
子類 攪拌 and 液體運動 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11232-11232 |
子類 水運動 and 液體運動 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17551-17551 |
子類 水波 and 液體運動 |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1600-1600 |
子類 泣 and 液體運動 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34655-34655 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34654-34654 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34653-34653 |
|