No TPTP formula. May not be expressible in strict first order. |
Media.kif 1087-1087 |
Blackboard is a subclass of display artifact |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1102-1102 |
Poster is a subclass of display artifact |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17120-17120 |
Sign is a subclass of display artifact |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25624-25624 |
Whiteboard is a subclass of display artifact |
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 |
|