appearance as argument number 1 |
![]() |
(documentation Meeting ChineseLanguage "这是当两个或以上的 CognitiveAgent 为了 Communication 而聚在一起的活动。这包括非正式的会面如探访家人,和正式的会议如董事会。") | chinese_format.kif 3284-3285 | |
(documentation Meeting EnglishLanguage "The coming together of two or more CognitiveAgents 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 13136-13139 | |
(externalImage Meeting "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ office/ office_clipart/ people/ people_2/ meeting_1.png") | pictureList.kif 589-589 | |
(subclass Meeting SocialInteraction) | Merge.kif 13135-13135 | Meeting is a subclass of social interaction |
appearance as argument number 2 |
![]() |
(subclass FormalMeeting Meeting) | Mid-level-ontology.kif 15835-15835 | Formal meeting is a subclass of meeting |
(subclass SocialParty Meeting) | Mid-level-ontology.kif 15830-15830 | Social party is a subclass of meeting |
(termFormat ChineseLanguage Meeting "会面") | chinese_format.kif 1207-1207 | |
(termFormat EnglishLanguage Meeting "meeting") | english_format.kif 1631-1631 |
antecedent |
![]() |
(=> (and (instance ?MEET Meeting) (agent ?MEET ?AGENT1) (agent ?MEET ?AGENT2)) (holdsDuring (WhenFn ?MEET) (orientation ?AGENT1 ?AGENT2 Near))) |
Merge.kif 13141-13146 |
|
(=> (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 13148-13159 |
|
![]() |
![]() |