No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1772-1772 |
例 獨立模式 and 設備狀態屬性 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1867-1867 |
例 設備關閉 and 設備狀態屬性 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1869-1869 |
例 設備關閉 and 設備狀態屬性 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1871-1871 |
例 設備上 and 設備狀態屬性 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1873-1873 |
例 設備打開 and 設備狀態屬性 |
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 |
|