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 16054-16055 | |
(subclass Resolution Deciding) | Mid-level-ontology.kif 16053-16053 | 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 16057-16064 |
|