No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26193-26193 | VisualContentBearingPhysical est une sous-classe de ContentBearingPhysical |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26200-26200 | VisualContentBearingObject est une sous-classe de VisualContentBearingPhysical |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 934-934 | View est une sous-classe de VisualContentBearingPhysical |
![]() |