| 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 13247-13250 | |
| (externalImage Meeting "http://articulatesoftware.com/SUMOpictures/office/ office_clipart/ people/ people_2/ meeting_1.png") | pictureList.kif 589-589 | |
| (subclass Meeting SocialInteraction) | Merge.kif 13246-13246 | Meeting is a subclass of social interaction |
| appearance as argument number 2 |
|
|
| (subclass FormalMeeting Meeting) | Mid-level-ontology.kif 15960-15960 | Formal meeting is a subclass of meeting |
| (subclass SocialParty Meeting) | Mid-level-ontology.kif 15955-15955 | Social party is a subclass of meeting |
| (termFormat ChineseLanguage Meeting "会面") | chinese_format.kif 1207-1207 | |
| (termFormat EnglishLanguage Meeting "meeting") | english_format.kif 1631-1631 | |
| (termFormat FrenchLanguage Meeting "rencontrer") | french_format.kif 885-885 | |
| (termFormat Hindi Meeting "sangoshthii") | terms-hindi.txt 418-418 | |
| (termFormat ItalianLanguage Meeting "Incontro") | terms-it.txt 421-421 | |
| (termFormat JapaneseLanguage Meeting "会合") | japanese_format.kif 2569-2569 | |
| (termFormat PortugueseLanguage Meeting "Encontro") | portuguese_format.kif 837-837 | |
| (termFormat cb Meeting "pagtagbo") | terms-cb.txt 423-423 | |
| (termFormat cz Meeting "meeting") | terms-cz.txt 457-457 | |
| (termFormat ro Meeting "întâlnire") | relations-ro.kif 906-906 | |
| (termFormat tg Meeting "pagkikita") | terms-tg.txt 422-422 |
| antecedent |
|
|
| (=> (and (instance ?MEET Meeting) (agent ?MEET ?AGENT1) (agent ?MEET ?AGENT2)) (holdsDuring (WhenFn ?MEET) (orientation ?AGENT1 ?AGENT2 Near))) |
Merge.kif 13252-13257 |
|
| (=> (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 13259-13270 |
|
|
|
|