| FormalMeeting(formal meeting)
| | Constitutional_Convention, Maundy, audience, camp_meeting, ceremonial, ceremonial_occasion, ceremony, circumstance, conference, consultation, convention, group_meeting, interview, meeting, observance, plenum, potlatch, psychotherapy_group, see, session, skull_session, visit |
| appearance as argument number 1 |
|
|
| (disjoint FormalMeeting SocialParty) | Mid-level-ontology.kif 9886-9886 | Formal meeting is disjoint from social party |
| (documentation FormalMeeting EnglishLanguage "Any meeting which is the result of planning and whose purpose is not socializing.") | Mid-level-ontology.kif 9887-9888 | |
| (externalImage FormalMeeting "http://upload.wikimedia.org/wikipedia/commons/ 2/ 24/ Rabin_at_peace_talks.jpg") | pictureList.kif 6050-6050 | externalImage formal meeting and "http://upload.wikimedia.org/wikipedia/commons/2/24/ Rabin_at_peace_talks.jpg" |
| (externalImage FormalMeeting "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Bill_Clinton%2C_George_H._W._Bush%2C_George_W._Bush_and_Silvio_Berlusconi.jpg") | pictureList.kif 6581-6581 | externalImage formal meeting and "http://upload.wikimedia.org/wikipedia/commons/c/ca/ Bill_Clinton%2C_George_H._W._Bush%2C_George_W._Bush_and_Silvio_Berlusconi.jpg" |
| (externalImage FormalMeeting "http://upload.wikimedia.org/wikipedia/commons/ e/ e4/ Zeminhandshake.JPG") | pictureList.kif 6580-6580 | externalImage formal meeting and "http://upload.wikimedia.org/wikipedia/commons/e/e4/ Zeminhandshake.JPG" |
| (subclass FormalMeeting Meeting) | Mid-level-ontology.kif 9885-9885 | Formal meeting is a subclass of meeting |
| appearance as argument number 2 |
|
|
| (subclass Funeral FormalMeeting) | Mid-level-ontology.kif 9898-9898 | Funeral is a subclass of formal meeting |
| (subclass Interviewing FormalMeeting) | Mid-level-ontology.kif 9908-9908 | Interviewing is a subclass of formal meeting |
| (termFormat EnglishLanguage FormalMeeting "formal meeting") | domainEnglishFormat.kif 3923-3923 | term format english language, formal meeting and "formal meeting" |
| antecedent |
|
|
| (=> (instance ?MEETING FormalMeeting) (exists (?PLANNING) (and (instance ?PLANNING Planning) (result ?PLANNING ?MEETING) (earlier (WhenFn ?PLANNING) (WhenFn ?MEETING))))) |
Mid-level-ontology.kif 9890-9896 |
| consequent |
|
|
| (=> (instance ?RESOLUTION Resolution) (exists (?AGENT ?MEETING) (and (instance ?AGENT Organization) (agent ?RESOLUTION ?AGENT) (subProcess ?RESOLUTION ?MEETING) (instance ?MEETING FormalMeeting)))) |
Mid-level-ontology.kif 9926-9933 |
|
|
|
|