TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Resolution Deciding)	Mid-level-ontology.kif 17662-17662	Resolution is a subclass of deciding
(documentation Resolution EnglishLanguage "Any instance of Deciding which is conducted at a FormalMeeting and where the agent is an Organization.")	Mid-level-ontology.kif 17663-17664	Resolution is a subclass of deciding

appearance as argument number 2

(termFormat EnglishLanguage Resolution "resolution")	domainEnglishFormat.kif 49707-49707
(termFormat ChineseTraditionalLanguage Resolution "解析度")	domainEnglishFormat.kif 49708-49708
(termFormat ChineseLanguage Resolution "解析度")	domainEnglishFormat.kif 49709-49709

antecedent

(=>
    (instance ?RESOLUTION Resolution)
    (exists (?AGENT ?MEETING)
        (and
            (instance ?AGENT Organization)
            (agent ?RESOLUTION ?AGENT)
            (subProcess ?RESOLUTION ?MEETING)
            (instance ?MEETING FormalMeeting))))

If X is an instance of resolution, then there exist Y, Z such that Y is an instance of organization, Y is an agent of X, X is a subprocess of Z, and Z is an instance of formal meeting