Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Resolution
Resolution(resolution)declaration, joint_resolution, resolution, resolve

appearance as argument number 1
-------------------------


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

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Resolution "解析度") domainEnglishFormat.kif 49712-49712
(termFormat ChineseTraditionalLanguage Resolution "解析度") domainEnglishFormat.kif 49711-49711
(termFormat EnglishLanguage Resolution "resolution") domainEnglishFormat.kif 49710-49710

antecedent
-------------------------


(=>
    (instance ?RESOLUTION Resolution)
    (exists (?AGENT ?MEETING)
        (and
            (instance ?AGENT Organization)
            (agent ?RESOLUTION ?AGENT)
            (subProcess ?RESOLUTION ?MEETING)
            (instance ?MEETING FormalMeeting))))
Mid-level-ontology.kif 16058-16065


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners