TreeView Knowledge Base Browser

antecedent

(=>
    (instance ?SHOOT Photographing)
    (exists (?PHOTO ?CAMERA)
        (and
            (instance ?PHOTO Photograph)
            (result ?SHOOT ?PHOTO)
            (instrument ?SHOOT ?CAMERA)
            (instance ?CAMERA Camera))))

If X is an instance of photographing, then there exist Y, Z such that Y is an instance of photograph, Y is a result of X, Z is an instrument for X, and Z is an instance of camera

consequent

(=> (instance ?CAMERA Camera) (capability Photographing instrument ?CAMERA))	Mid-level-ontology.kif 14880-14882	If X is an instance of camera, then X is capable of doing photographing as a instrument
(=> (attribute ?PERSON Photographer) (hasSkill Photographing ?PERSON))	Biography.kif 658-660	If photographer is an attribute of X, then X has the skill to do photographing
(=> (and (instance ?APR AirPhotographicReconnaissance) (agent ?APR ?AGENT) (patient ?APR ?HOSTILE)) (exists (?PHOTOGRAPHING) (and (instance ?PHOTOGRAPHING Photographing) (subProcess ?PHOTOGRAPHING ?APR) (agent ?PHOTOGRAPHING ?AGENT) (patient ?PHOTOGRAPHING ?HOSTILE))))	MilitaryProcesses.kif 775-785	If X is an instance of air photographic reconnaissance, Y is an agent of X, and Z is a patient of X, then there exists W such that W is an instance of photographing, W is a subprocess of X, Y is an agent of W, and Z is a patient of W
(=> (instance ?CLASS PhotographyClass) (exists (?PROC) (and (instance ?PROC Photographing) (subProcess ?PROC ?CLASS))))	Offers.kif 181-186	If X is an instance of PhotographyClass, then there exists Y such that Y is an instance of photographing and Y is a subprocess of X

(subclass Photographing ContentDevelopment)	Mid-level-ontology.kif 14864-14864	Photographing is a subclass of content development
(documentation Photographing EnglishLanguage "ContentDevelopment where the instrument is a camera and the result is a Photograph.")	Mid-level-ontology.kif 14865-14866	Photographing is a subclass of content development
(externalImage Photographing "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4d/ Coolscan_V.jpg")	pictureList.kif 6764-6764	Photographing is a subclass of content development
(externalImage Photographing "http://upload.wikimedia.org/wikipedia/commons/ 9/ 96/ Freak_Out%2C_Oblivion%2C_night.jpg")	pictureList.kif 7541-7541	Photographing is a subclass of content development
(externalImage Photographing "http://upload.wikimedia.org/wikipedia/commons/ a/ ac/ Large_format_camera_lens.jpg")	pictureList.kif 7542-7542	Photographing is a subclass of content development
(externalImage Photographing "http://upload.wikimedia.org/wikipedia/commons/ e/ e9/ Canon_EOS_40D_and_85mmf1.8.jpg")	pictureList.kif 7543-7543	Photographing is a subclass of content development
(externalImage Photographing "http://upload.wikimedia.org/wikipedia/en/0/ 08/ The_Steerage_1907_Stieglitz_Corrected.jpg")	pictureList.kif 7545-7545	Photographing is a subclass of content development
(externalImage Photographing "http://upload.wikimedia.org/wikipedia/commons/ 5/ 56/ Large_format_camera_lens.png")	pictureList.kif 7547-7547	Photographing is a subclass of content development

(termFormat EnglishLanguage Photographing "photographing")	domainEnglishFormat.kif 45689-45689
(termFormat ChineseTraditionalLanguage Photographing "拍攝")	domainEnglishFormat.kif 45690-45690
(termFormat ChineseLanguage Photographing "拍摄")	domainEnglishFormat.kif 45691-45691