Meeting![]() | ![]() |
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 12359-12362 | |
(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 12358-12358 |
appearance as argument number 2 |
![]() |
(subclass FormalMeeting Meeting) | Mid-level-ontology.kif 13671-13671 | |
(subclass SocialParty Meeting) | Mid-level-ontology.kif 13666-13666 | |
(termFormat ChineseLanguage Meeting "会面") | chinese_format.kif 1207-1207 | |
(termFormat EnglishLanguage Meeting "meeting") | english_format.kif 1636-1636 |
antecedent |
![]() |
(=> (and (instance ?MEET Meeting) (agent ?MEET ?AGENT1) (agent ?MEET ?AGENT2)) (holdsDuring (WhenFn ?MEET) (orientation ?AGENT1 ?AGENT2 Near))) |
Merge.kif 12364-12369 | |
(=> (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 12371-12382 |
![]() |
![]() |