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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Resolution
Resolution

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 16082-16083
(subclass Resolution Deciding) Mid-level-ontology.kif 16081-16081

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


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

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


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


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