No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1772-1772 |
独立模式 是 设备状态属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1860-1860 |
设备关闭 是 设备状态属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1862-1862 |
设备关闭 是 设备状态属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1864-1864 |
设备上 是 设备状态属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1866-1866 |
设备打开 是 设备状态属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19374-19374 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19373-19373 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19372-19372 |
|