| appearance as argument number 1 |
|
|
| (documentation Meeting EnglishLanguage "The coming together of two or more cognitive agents for the purpose of communication. This covers informal meetings, e.g. visits with family members, and formal meetings, e.g. a board of directors meeting.") | Merge.kif 10630-10633 | |
| (externalImage Meeting "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ office/ office_clipart/ people/ people_2/ meeting_1.png") | pictureList.kif 589-589 | externalImage meeting and "http://www.adampease.org/Articulate/SUMOpictures/pictures/ office/ office_clipart/ people/ people_2/ meeting_1.png" |
| (subclass Meeting SocialInteraction) | Merge.kif 10629-10629 | Meeting is a subclass of social interaction |
| appearance as argument number 2 |
|
|
| (subclass FormalMeeting Meeting) | Mid-level-ontology.kif 9885-9885 | Formal meeting is a subclass of meeting |
| (subclass SocialParty Meeting) | Mid-level-ontology.kif 9880-9880 | Social party is a subclass of meeting |
| (termFormat EnglishLanguage Meeting "meeting") | english_format.kif 884-884 | term format english language, meeting and "meeting" |
| antecedent |
|
|
| (=> (and (instance ?MEET Meeting) (agent ?MEET ?AGENT1) (agent ?MEET ?AGENT2)) (holdsDuring (WhenFn ?MEET) (orientation ?AGENT1 ?AGENT2 Near))) |
Merge.kif 10635-10640 | |
| (=> (instance ?MEET Meeting) (exists (?AGENT1 ?AGENT2) (and (agent ?MEET ?AGENT1) (agent ?MEET ?AGENT2) (hasPurpose ?MEET (exists (?COMM) (and (instance ?COMM Communication) (agent ?COMM ?AGENT1) (agent ?COMM ?AGENT2))))))) |
Merge.kif 10642-10653 |
|
|
|
|