| FormalMeeting
| |
| appearance as argument number 1 |
|
|
| (disjoint FormalMeeting SocialParty) | Mid-level-ontology.kif 15989-15989 | |
| (documentation FormalMeeting EnglishLanguage "Any Meeting which is the result of Planning and whose purpose is not socializing.") | Mid-level-ontology.kif 15990-15991 | |
| (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 15988-15988 |
| appearance as argument number 2 |
|
|
| (subclass Funeral FormalMeeting) | Mid-level-ontology.kif 16003-16003 | |
| (subclass Interviewing FormalMeeting) | Mid-level-ontology.kif 16039-16039 | |
| (subclass TradeShow FormalMeeting) | ComputingBrands.kif 2381-2381 | |
| (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 15993-15999 |
| consequent |
|
|
| (=> (instance ?CC ConventionCenter) (hasPurpose ?CC (exists (?M) (and (instance ?M FormalMeeting) (located ?M ?CC))))) |
Mid-level-ontology.kif 6970-6976 | |
| (=> (instance ?RESOLUTION Resolution) (exists (?AGENT ?MEETING) (and (instance ?AGENT Organization) (agent ?RESOLUTION ?AGENT) (subProcess ?RESOLUTION ?MEETING) (instance ?MEETING FormalMeeting)))) |
Mid-level-ontology.kif 16058-16065 | |
| (=> (instance ?X HotelFunctionRoom) (modalAttribute (exists (?MTG) (and (instance ?MTG FormalMeeting) (located ?MTG ?X))) Possibility)) |
Hotel.kif 1706-1712 |
|
|
|