VisualContentBearingObject
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26201-26204 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26199-26199 | VisualContentBearingObject e' uma sub-classe de Objeto Representendo Conteudo Abstrato |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26200-26200 | VisualContentBearingObject e' uma sub-classe de VisualContentBearingPhysical |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1030-1030 | HardcopyDocument e' uma sub-classe de VisualContentBearingObject |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26206-26206 | Image e' uma sub-classe de VisualContentBearingObject |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1065-1065 | PrintedSheet e' uma sub-classe de VisualContentBearingObject |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65705-65705 |
antecedent |
consequent |
statement |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18201-18218 | ?X ?CUT, ?PAPER, ?CBO and ?INFO ?X e' uma instancia de PaperShredder ?CUT e' uma instancia de Cortar ?X e' um instrumento para ?CUT ?PAPER e' uma instancia de Paper ?PAPER e' um patient de ?CUT ?CBO e' situado em ?PAPER ?CBO e' uma instancia de VisualContentBearingObject ?CBO contem informacao ?INFO diminui a probabilidade de ?READ ?READ e' uma instancia de Interpreting ?INFO e' um patient de ?READ tempo de existencia de ?CUT acontence antes de tempo de existencia de ?READ |