|
|
   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 是 有内用物体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26212-26212 | VisualContentBearingObject 是 VisualContentBearingPhysical 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1030-1030 | HardcopyDocument 是 VisualContentBearingObject 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26218-26218 | Image 是 VisualContentBearingObject 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1065-1065 | PrintedSheet 是 VisualContentBearingObject 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65705-65705 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26329-26340 | 过程 是 Photocopying 的 instance 和 内容承载物理 是 那个 过程 的 patient 和 那个 内容承载物理 是 VisualContentBearingObject 的 instance 和 那个 内容承载物理 contains 命题 的资料 若且唯若 有存在 另一个 内容承载物理 和 另一个 命题 这样 那个 另外 内容承载物理 是 那个 过程 的 result 和 那个 另外 内容承载物理 是 VisualContentBearingObject 的 instance 和 那个 另外 内容承载物理 contains 那个 另外 命题 的资料 和 那个 命题 equal 那个 另外 命题 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26299-26315 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26329-26340 | 过程 是 Photocopying 的 instance 和 内容承载物理 是 那个 过程 的 patient 和 那个 内容承载物理 是 VisualContentBearingObject 的 instance 和 那个 内容承载物理 contains 命题 的资料 若且唯若 有存在 另一个 内容承载物理 和 另一个 命题 这样 那个 另外 内容承载物理 是 那个 过程 的 result 和 那个 另外 内容承载物理 是 VisualContentBearingObject 的 instance 和 那个 另外 内容承载物理 contains 那个 另外 命题 的资料 和 那个 命题 equal 那个 另外 命题 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26299-26315 |
|
| 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 是 PaperShredder 的 instance 和 ?CUT 是 切开 的 instance 和 ?X 是导致 ?CUT 的 instrument 和 ?PAPER 是 纸 的 instance 和 ?PAPER 是 ?CUT 的 patient 和 ?CBO 是 located 在 ?PAPER 和 ?CBO 是 VisualContentBearingObject 的 instance 和 ?CBO contains ?INFO 的资料 减少 有存在 ?READ 这样 ?READ 是 解读 的 instance 和 ?INFO 是 ?READ 的 patient 和 ?CUT 出现 的 time 比?READ 出现 的 time发生的earlier 发生的机率 |
|
|
|