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



KB Term:  Term intersection
English Word: 

  Commission

Sigma KEE - Commission
Commission(commission)blue_ribbon_commission, blue_ribbon_committee, commission, committee, select_committee

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


(subclass Commission Organization) Mid-level-ontology.kif 9797-9797 Commission is a subclass of organization
(documentation Commission EnglishLanguage "A small, temporary Organization whose purpose is to investigate some issue.") Mid-level-ontology.kif 9798-9799 Commission is a subclass of organization

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


(termFormat EnglishLanguage Commission "commission") domainEnglishFormat.kif 15888-15888
(termFormat ChineseTraditionalLanguage Commission "佣金") domainEnglishFormat.kif 15889-15889
(termFormat ChineseLanguage Commission "佣金") domainEnglishFormat.kif 15890-15890

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


(=>
    (instance ?COMMISSION Commission)
    (hasPurpose ?COMMISSION
        (exists (?INVESTIGATE ?ISSUE)
            (and
                (instance ?INVESTIGATE Investigating)
                (patient ?INVESTIGATE ?ISSUE)
                (agent ?INVESTIGATE ?COMMISSION)))))
Mid-level-ontology.kif 9801-9808 If X is an instance of commission, then X has the purpose there exist Y, Z such that Y is an instance of investigating, Z is a patient of Y, and X is an agent of Y


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