No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1724-1724 |
子類 發動機 and 傳感器 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 630-630 |
子類 迴轉 and 傳感器 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 624-624 |
子類 變壓器 and 傳感器 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58802-58802 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58801-58801 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58800-58800 |
|