No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3135-3135 |
主页按钮 是 开关设备 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 749-749 |
中继 是 开关设备 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56563-56563 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56562-56562 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56561-56561 |
|