Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Meeting

 Sigma KEE - Meeting
Meeting(meeting)
Areopagus, Chalcedon, Constance, Constantinople, Council_of_Basel-Ferrara-Florence, Council_of_Chalcedon, Council_of_Constance, Council_of_Ephesus, Council_of_Trent, Council_of_Vienne, Ephesus, Fifth_Lateran_Council, First_Council_of_Constantinople, First_Council_of_Lyons, First_Council_of_Nicaea, First_Lateran_Council, First_Vatican_Council, Fourth_Council_of_Constantinople, Fourth_Lateran_Council, Jirga, Lateran_Council, Loya_Jirga, Lyons, Nicaea, Potsdam_Conference, SALT, Second_Council_of_Constantinople, Second_Council_of_Lyons, Second_Council_of_Nicaea, Second_Lateran_Council, Second_Vatican_Council, Strategic_Arms_Limitation_Talks, Third_Council_of_Constantinople, Third_Lateran_Council, Vatican_Council, Vatican_I, Vatican_II, Vienne, Yalta_Conference, affiliate, apparition, appearance, appearing, appointment, assemblage, assemble, assembly, assignation, associate, assort...

appearance as argument number 1
-------------------------


(subclass Meeting SocialInteraction) Merge.kif 13584-13584 Meeting is a subclass of social interaction
(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 13585-13588 Meeting is a subclass of social interaction
(externalImage Meeting "http://articulatesoftware.com/SUMOpictures/office/ office_clipart/ people/ people_2/ meeting_1.png") pictureList.kif 589-589 Meeting is a subclass of social interaction

appearance as argument number 2
-------------------------


(subclass SocialParty Meeting) Mid-level-ontology.kif 17591-17591 Social party is a subclass of meeting
(subclass FormalMeeting Meeting) Mid-level-ontology.kif 17596-17596 Formal meeting is a subclass of meeting
(subclass LearningMeeting Meeting) Offers.kif 34-34 LearningMeeting is a subclass of meeting
(subclass WineTasting Meeting) Offers.kif 337-337 WineTasting is a subclass of meeting
(subclass BeverageTasting Meeting) Offers.kif 351-351 BeverageTasting is a subclass of meeting
(termFormat EnglishLanguage Meeting "meeting") english_format.kif 1635-1635 BeverageTasting is a subclass of meeting

antecedent
-------------------------


(=>
    (and
        (instance ?MEET Meeting)
        (agent ?MEET ?AGENT1)
        (agent ?MEET ?AGENT2))
    (holdsDuring
        (WhenFn ?MEET)
        (orientation ?AGENT1 ?AGENT2 Near)))		 Merge.kif 13590-13597 If X is an instance of meeting, Y is an agent of X, and Z is an agent of X, then Y is near to Z holds during the time of existence of X
(=>
    (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 13599-13610 If X is an instance of meeting, then there exist Y, Z such that Y is an agent of X, Z is an agent of X, X has the purpose there exists W such that W is an instance of communication, Y is an agent of W, and Z is an agent of W


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners