No TPTP formula. May not be expressible in strict first order. |
Media.kif 1087-1087 |
Blackboard 是 显示神器 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1102-1102 |
Poster 是 显示神器 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17120-17120 |
Sign 是 显示神器 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25624-25624 |
Whiteboard 是 显示神器 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19908-19908 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19907-19907 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19906-19906 |
|