VisualContentBearingObject |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26213-26216 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26211-26211 | VisualContentBearingObject est une sous-classe de objet exprimant un sens |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26212-26212 | VisualContentBearingObject est une sous-classe de VisualContentBearingPhysical |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1030-1030 | HardcopyDocument est une sous-classe de VisualContentBearingObject |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26218-26218 | Image est une sous-classe de VisualContentBearingObject |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1065-1065 | PrintedSheet est une sous-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 18202-18219 | ?X ?CUT, ?PAPER, ?CBO and ?INFO ?X est une instance de PaperShredder ?CUT est une instance de couper ?X est un instrument pour ?CUT ?PAPER est une instance de Paper ?PAPER est un patient de ?CUT ?CBO est situ� � ?PAPER ?CBO est une instance de VisualContentBearingObject ?CBO contient information ?INFO diminue la probabilit� de ?READ ?READ est une instance de Interpreting ?INFO est un patient de ?READ temps d'existence de ?CUT arrive plus t�t que temps d'existence de ?READ |