No TPTP formula. May not be expressible in strict first order. |
Media.kif 1087-1087 |
Blackboard est une sous-classe de DisplayArtifact |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1102-1102 |
Poster est une sous-classe de DisplayArtifact |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17147-17147 |
Sign est une sous-classe de DisplayArtifact |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25657-25657 |
Whiteboard est une sous-classe de DisplayArtifact |
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 |
|