FormalMeeting(formal meeting) | Constitutional_Convention, audience, camp_meeting, conference, consultation, convention, group_meeting, interview, meeting, plenum, psychotherapy_group, see, session, skull_session, visit |
appearance as argument number 1 |
(disjoint FormalMeeting SocialParty) | Mid-level-ontology.kif 15988-15988 | 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 15989-15990 | |
(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 6561-6561 | |
(externalImage FormalMeeting "http://upload.wikimedia.org/wikipedia/commons/ e/ e4/ Zeminhandshake.JPG") | pictureList.kif 6560-6560 | |
(subclass FormalMeeting Meeting) | Mid-level-ontology.kif 15987-15987 | Formal meeting is a subclass of meeting |
appearance as argument number 2 |
(subclass Funeral FormalMeeting) | Mid-level-ontology.kif 16002-16002 | Funeral is a subclass of formal meeting |
(subclass Interviewing FormalMeeting) | Mid-level-ontology.kif 16038-16038 | Interviewing is a subclass of formal meeting |
(subclass TradeShow FormalMeeting) | ComputingBrands.kif 2381-2381 | Trade show is a subclass of formal meeting |
(termFormat ChineseLanguage FormalMeeting "正式会议") | domainEnglishFormat.kif 24722-24722 | |
(termFormat ChineseTraditionalLanguage FormalMeeting "正式會議") | domainEnglishFormat.kif 24721-24721 | |
(termFormat EnglishLanguage FormalMeeting "formal meeting") | domainEnglishFormat.kif 24720-24720 |
antecedent |
(=> (instance ?MEETING FormalMeeting) (exists (?PLANNING) (and (instance ?PLANNING Planning) (result ?PLANNING ?MEETING) (earlier (WhenFn ?PLANNING) (WhenFn ?MEETING))))) |
Mid-level-ontology.kif 15992-15998 |
|
consequent |