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


KB Term:  Term intersection
English Word: 

  FormalMeeting

 Sigma KEE - FormalMeeting
FormalMeeting(formal meeting)
Constitutional_Convention, audience, camp_meeting, conference, consultation, convention, group_meeting, interview, meeting, plenum, psychotherapy_group, see, session, skull_session, visit

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


(subclass FormalMeeting Meeting) Mid-level-ontology.kif 17596-17596 Formal meeting is a subclass of meeting
(disjoint FormalMeeting SocialParty) Mid-level-ontology.kif 17597-17597 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 17598-17599 Formal meeting is disjoint from social party
(externalImage FormalMeeting "http://upload.wikimedia.org/wikipedia/commons/ e/ e4/ Zeminhandshake.JPG") pictureList.kif 6559-6559 Formal meeting is disjoint from social party
(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 6560-6560 Formal meeting is disjoint from social party

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


(subclass Funeral FormalMeeting) Mid-level-ontology.kif 17611-17611 Funeral is a subclass of formal meeting
(subclass Interviewing FormalMeeting) Mid-level-ontology.kif 17647-17647 Interviewing is a subclass of formal meeting
(subclass TradeShow FormalMeeting) ComputingBrands.kif 2381-2381 Trade show is a subclass of formal meeting
(termFormat EnglishLanguage FormalMeeting "formal meeting") domainEnglishFormat.kif 24712-24712 Trade show is a subclass of formal meeting
(termFormat ChineseTraditionalLanguage FormalMeeting "正式會議") domainEnglishFormat.kif 24713-24713 Trade show is a subclass of formal meeting
(termFormat ChineseLanguage FormalMeeting "正式会议") domainEnglishFormat.kif 24714-24714 Trade show is a subclass of formal meeting

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


(=>
    (instance ?MEETING FormalMeeting)
    (exists (?PLANNING)
        (and
            (instance ?PLANNING Planning)
            (result ?PLANNING ?MEETING)
            (earlier
                (WhenFn ?PLANNING)
                (WhenFn ?MEETING)))))		 Mid-level-ontology.kif 17601-17607 If X is an instance of formal meeting, then there exists Y such that Y is an instance of planning, X is a result of Y, and the time of existence of Y happens earlier than the time of existence of X

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


(=>
    (instance ?CC ConventionCenter)
    (hasPurpose ?CC
        (exists (?M)
            (and
                (instance ?M FormalMeeting)
                (located ?M ?CC)))))		 Mid-level-ontology.kif 8286-8292 If X is an instance of convention center, then X has the purpose there exists Y such that Y is an instance of formal meeting and Y is located at X
(=>
    (instance ?RESOLUTION Resolution)
    (exists (?AGENT ?MEETING)
        (and
            (instance ?AGENT Organization)
            (agent ?RESOLUTION ?AGENT)
            (subProcess ?RESOLUTION ?MEETING)
            (instance ?MEETING FormalMeeting))))		 Mid-level-ontology.kif 17666-17673 If X is an instance of resolution, then there exist Y, Z such that Y is an instance of organization, Y is an agent of X, X is a subprocess of Z, and Z is an instance of formal meeting
(=>
    (instance ?X HotelFunctionRoom)
    (modalAttribute
        (exists (?MTG)
            (and
                (instance ?MTG FormalMeeting)
                (located ?MTG ?X))) Possibility))		 Hotel.kif 1717-1723 If X is an instance of hotel function room, then the statement there exists Y such that Y is an instance of formal meeting and Y is located at X has the modal force of possibility


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