No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2570-2570 |
电池 是 直流电源 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3560-3560 |
DevicePowerSupply 是 直流电源 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18714-18714 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18713-18713 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18712-18712 |
|