| 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 16983-16984 | |
| (subclass Resolution Deciding) | Mid-level-ontology.kif 16982-16982 | Resolution is a subclass of deciding |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Resolution "解析度") | domainEnglishFormat.kif 49745-49745 | |
| (termFormat ChineseTraditionalLanguage Resolution "解析度") | domainEnglishFormat.kif 49744-49744 | |
| (termFormat EnglishLanguage Resolution "resolution") | domainEnglishFormat.kif 49743-49743 |
| antecedent |
|
|
| (=> (instance ?RESOLUTION Resolution) (exists (?AGENT ?MEETING) (and (instance ?AGENT Organization) (agent ?RESOLUTION ?AGENT) (subProcess ?RESOLUTION ?MEETING) (instance ?MEETING FormalMeeting)))) |
Mid-level-ontology.kif 16986-16993 |
|
|
|
|