Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Meeting
Meeting

VerbNet: amalgamate-22.2|associate, shake-22.3|gather, amalgamate-22.2|associate, amalgamate-22.2|associate, meet-36.3|visit, meet-36.3|visit, classify-29.10|constellate, classify-29.10|constellate, meet-36.3|meet, herd-47.5.2|congregate, amalgamate-22.2|associate, classify-29.10|constellate, marry-36.2|date, meet-36.3|meet, accompany-51.7|escort, classify-29.10|constellate, meet-36.3|meet, meet-36.3|meet, shake-22.3|gather, shake-22.3|gather, cooperate-73|join, shake-22.3|mass, meet-36.3|meet, get-13.5.1|procure, get-13.5.1|procure, get-13.5.1|procure, correspond-36.1|rendezvous, meet-36.3|meet, meet-36.3|meet, meet-36.3|meet, meet-36.3|visit,


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 12310-12313
(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 12309-12309

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


(subclass FormalMeeting Meeting) Mid-level-ontology.kif 13696-13696
(subclass SocialParty Meeting) Mid-level-ontology.kif 13691-13691
(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 12315-12320
(=>
    (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 12322-12333


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners