Browsing Interface

[ Home |  Graph |  ] KB:  SUMO Language:  EnglishLanguage

KB Term:
English Word:		Noun Verb Adjective Adverb

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 9837-9837	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 9838-9839	%3
(externalImage FormalMeeting "http://upload.wikimedia.org/wikipedia/commons/ 2/ 24/ Rabin_at_peace_talks.jpg")	pictureList.kif 6053-6053	externalImage formal meeting "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 6584-6584	externalImage formal meeting "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 6583-6583	externalImage formal meeting "http://upload.wikimedia.org/wikipedia/commons/e/e4/ Zeminhandshake.JPG"
(subclass FormalMeeting Meeting)	Mid-level-ontology.kif 9836-9836	formal meeting is a subclass of meeting

 
 appearance as argument number 2

(subclass Funeral FormalMeeting)	Mid-level-ontology.kif 9849-9849	funeral is a subclass of formal meeting
(subclass Interviewing FormalMeeting)	Mid-level-ontology.kif 9859-9859	interviewing is a subclass of formal meeting
(termFormat EnglishLanguage FormalMeeting "formal meeting")	domainEnglishFormat.kif 3962-3962	term format english language formal meeting "formal meeting"

 antecedent

(=>     (instance ?MEETING FormalMeeting)     (exists (?PLANNING)         (and             (instance ?PLANNING Planning)             (result ?PLANNING ?MEETING)             (earlier                 (WhenFn ?PLANNING)                 (WhenFn ?MEETING)))))

Mid-level-ontology.kif 9841-9847

if a physical is an instance of formal meeting then there exists a process so that process is an instance of planning and physical is a result of process and the time of existence of process happens earlier than the time of existence of physical

 consequent

(=>     (instance ?RESOLUTION Resolution)     (exists (?AGENT ?MEETING)         (and             (instance ?AGENT Organization)             (agent ?RESOLUTION ?AGENT)             (subProcess ?RESOLUTION ?MEETING)             (instance ?MEETING FormalMeeting))))

Mid-level-ontology.kif 9877-9884

if a process is an instance of resolution then there exist an agent and process so that agent is an instance of organization and agent is an agent of process and process is a subprocess of process and process is an instance of formal meeting

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