VisualContentBearingObject
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26246-26249 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26244-26244 | Visual content bearing object is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26245-26245 | Visual content bearing object is a subclass of visual content bearing physical |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1030-1030 | Hardcopy document is a subclass of visual content bearing object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26251-26251 | Image is a subclass of visual content bearing object |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1065-1065 | Printed sheet is a subclass of visual content bearing object |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65707-65707 |
antecedent |
consequent |
statement |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18229-18246 | There exist ?X, ?CUT,, , ?PAPER,, , ?CBO and ?INFO such that ?X is an instance of paper shredder and ?CUT is an instance of cutting and ?X is an instrument for ?CUT and ?PAPER is an instance of paper and ?PAPER is a patient of ?CUT and ?CBO is located at ?PAPER and ?CBO is an instance of visual content bearing object and ?CBO contains information ?INFO decreases likelihood of there exists ?READ such that ?READ is an instance of interpreting and ?INFO is a patient of ?READ and the time of existence of ?CUT happens earlier than the time of existence of ?READ |