WebDocumentAttribute
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1368-1368 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10336-10336 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12158-12158 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12160-12160 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1370-1370 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1369-1369 | Web文档属性 是 内在属性 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1379-1379 | 文件类别 是 Web文档属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62639-62639 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62638-62638 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62637-62637 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1372-1376 |