Browsing Interface
Home |  Graph |   ]

KB:  Language: 


KB Term: 
English Word: 

Sigma KEE - FormalMeeting
FormalMeeting(formal meeting)
Constitutional_Convention, Maundy, audience, camp_meeting, ceremonial, ceremonial_occasion, ceremony, circumstance, conference, consultation, convention, group_meeting, interview, meeting, observance, plenum, potlatch, psychotherapy_group, see, session, skull_session, visit

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


(disjoint FormalMeeting SocialParty) Mid-level-ontology.kif 9886-9886 Formal meeting is disjoint from social party
(documentation FormalMeeting EnglishLanguage "Any meeting which is the result of planning and whose purpose is not socializing.") Mid-level-ontology.kif 9887-9888
(externalImage FormalMeeting "http://upload.wikimedia.org/wikipedia/commons/ 2/ 24/ Rabin_at_peace_talks.jpg") pictureList.kif 6050-6050 externalImage formal meeting and "http://upload.wikimedia.org/wikipedia/commons/2/24/ Rabin_at_peace_talks.jpg"
(externalImage FormalMeeting "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Bill_Clinton%2C_George_H._W._Bush%2C_George_W._Bush_and_Silvio_Berlusconi.jpg") pictureList.kif 6581-6581 externalImage formal meeting and "http://upload.wikimedia.org/wikipedia/commons/c/ca/ Bill_Clinton%2C_George_H._W._Bush%2C_George_W._Bush_and_Silvio_Berlusconi.jpg"
(externalImage FormalMeeting "http://upload.wikimedia.org/wikipedia/commons/ e/ e4/ Zeminhandshake.JPG") pictureList.kif 6580-6580 externalImage formal meeting and "http://upload.wikimedia.org/wikipedia/commons/e/e4/ Zeminhandshake.JPG"
(subclass FormalMeeting Meeting) Mid-level-ontology.kif 9885-9885 Formal meeting is a subclass of meeting

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


(subclass Funeral FormalMeeting) Mid-level-ontology.kif 9898-9898 Funeral is a subclass of formal meeting
(subclass Interviewing FormalMeeting) Mid-level-ontology.kif 9908-9908 Interviewing is a subclass of formal meeting
(termFormat EnglishLanguage FormalMeeting "formal meeting") domainEnglishFormat.kif 3923-3923 term format english language, formal meeting and "formal meeting"

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


(=>
    (instance ?MEETING FormalMeeting)
    (exists (?PLANNING)
        (and
            (instance ?PLANNING Planning)
            (result ?PLANNING ?MEETING)
            (earlier
                (WhenFn ?PLANNING)
                (WhenFn ?MEETING)))))
Mid-level-ontology.kif 9890-9896

consequent
-------------------------


(=>
    (instance ?RESOLUTION Resolution)
    (exists (?AGENT ?MEETING)
        (and
            (instance ?AGENT Organization)
            (agent ?RESOLUTION ?AGENT)
            (subProcess ?RESOLUTION ?MEETING)
            (instance ?MEETING FormalMeeting))))
Mid-level-ontology.kif 9926-9933


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.8b (2010/03/15) is open source software produced by Articulate Software and its partners