Browsing Interface
[ Home |  Graph |  ]

KB:  Language: 


KB Term: 
English Word: 

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, appointment, assemblage, assemble, assembly, assignation, associate, assort, at_home...

 
 appearance as argument number 1


(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 10620-10623 %3
(externalImage Meeting "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ office/ office_clipart/ people/ people_2/ meeting_1.png") pictureList.kif 589-589 externalImage meeting "http://www.adampease.org/Articulate/SUMOpictures/pictures/ office/ office_clipart/ people/ people_2/ meeting_1.png"
(subclass Meeting SocialInteraction) Merge.kif 10619-10619 meeting is a subclass of social interaction

 
 appearance as argument number 2


(subclass FormalMeeting Meeting) Mid-level-ontology.kif 9836-9836 formal meeting is a subclass of meeting
(subclass SocialParty Meeting) Mid-level-ontology.kif 9831-9831 social party is a subclass of meeting
(termFormat EnglishLanguage Meeting "meeting") english_format.kif 885-885 term format english language meeting "meeting"

 antecedent


(=>
    (and
        (instance ?MEET Meeting)
        (agent ?MEET ?AGENT1)
        (agent ?MEET ?AGENT2))
    (holdsDuring
        (WhenFn ?MEET)
        (orientation ?AGENT1 ?AGENT2 Near)))
Merge.kif 10625-10630
(=>
    (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 10632-10643


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


Sigma web home      SUMO web home
Sigma version 2.1b (2007/11/20) is open source software produced by Articulate Software and its partners