| Photograph(photograph) | | beefcake, cheesecake, closeup, exposure, frame, glossy, negative, photo, photograph, pic, picture, shot, snap, snapshot, telephotograph, wedding_picture |
| appearance as argument number 1 |
|
|
| s__documentation(s__Photograph,s__EnglishLanguage,'"An Image that is the result of a process of Photographing."')
|
Mid-level-ontology.kif 12629-12630 | |
| s__instance(s__Image,s__Class) s__subclass(s__Photograph,s__Image) s__instance(s__Photograph,s__Class)
|
Mid-level-ontology.kif 12627-12627 | Photograph is a subclass of Image |
| s__subclass(s__Photograph,s__Recording) s__instance(s__Photograph,s__Class) s__instance(s__Recording,s__Class)
|
Mid-level-ontology.kif 12628-12628 | Photograph is a subclass of recording |
| appearance as argument number 2 |
|
|
| s__termFormat(s__ChineseLanguage,s__Photograph,'"照片"')
|
domainEnglishFormat.kif 45637-45637 | |
| s__termFormat(s__ChineseTraditionalLanguage,s__Photograph,'"照片"')
|
domainEnglishFormat.kif 45636-45636 | |
| s__termFormat(s__EnglishLanguage,s__Photograph,'"photograph"')
|
domainEnglishFormat.kif 45635-45635 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1483-1491 |
|
| ( ! [V__SHOOT] : ((s__instance(V__SHOOT,s__Photographing) => (( ? [V__PHOTO, V__CAMERA] : ((s__instance(V__PHOTO,s__Photograph) & s__result(V__SHOOT,V__PHOTO) & s__instrument(V__SHOOT,V__CAMERA) & s__instance(V__CAMERA,s__Camera)))))) ) )
|
Mid-level-ontology.kif 12636-12643 |
|
|
|
|