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


KB Term:  Term intersection
English Word: 

  Public

 Sigma KEE - Public
Public(public)public

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


(subclass Public GroupOfPeople) Mid-level-ontology.kif 28646-28646 Public is a subclass of group of people
(documentation Public EnglishLanguage "a body of people sharing some common interest; example: the reading public.") Mid-level-ontology.kif 28647-28648 Public is a subclass of group of people

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


(termFormat EnglishLanguage Public "public") domainEnglishFormat.kif 47947-47947
(termFormat ChineseTraditionalLanguage Public "上市") domainEnglishFormat.kif 47948-47948
(termFormat ChineseLanguage Public "上市") domainEnglishFormat.kif 47949-47949

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


(=>
    (and
        (member ?A ?G)
        (instance ?G Public)
        (holdsDuring ?T
            (attribute ?A Shame)))
    (believes ?A
        (=>
            (knows ?G
                (exists (?P)
                    (and
                        (instance ?P Process)
                        (agent ?P ?A)
                        (meetsTemporally
                            (WhenFn ?P) ?T))))
            (dislikes ?G ?A))))		 emotion.kif 1395-1410 If X is a member of Y, Y is an instance of public, and shame is an attribute of X holds during Z, then X believes Y knows there exists W such that W is an instance of process, X is an agent of W, and the time of existence of W meets ZY dislikes X
(=>
    (and
        (instance ?G Public)
        (member ?A ?G)
        (holdsDuring ?T
            (attribute ?A Embarrassment)))
    (disapproves ?A
        (exists (?P ?S)
            (and
                (instance ?P Process)
                (agent ?P ?A)
                (instance ?S Seeing)
                (patient ?S ?P)
                (agent ?S ?G)
                (meetsTemporally
                    (WhenFn ?P) ?T)))))		 emotion.kif 1549-1564 If X is an instance of public, Y is a member of X, and embarrassment is an attribute of Y holds during Z, then All of the following hold: (1) there exist W (2) V such that W is an instance of process (3) Y is an agent of W (4) V is an instance of seeing (5) W is a patient of V (6) X is an agent of V (7) the time of existence of W meets Z is a disapproves of Y

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


(=>
    (instance ?A Appointing)
    (not
        (exists (?H)
            (and
                (agent ?A ?H)
                (instance ?H Public)))))		 Mid-level-ontology.kif 1047-1053 If X is an instance of appointing, then there doesn't exist Y such that Y is an agent of X and Y is an instance of public
(=>
    (and
        (instance ?PP PublicProgram)
        (experiencer ?PP ?PUBLIC))
    (hasPurpose ?PP
        (exists (?HELPING)
            (and
                (instance ?HELPING Helping)
                (experiencer ?HELPING ?PUBLIC)
                (instance ?PUBLIC Public)))))		 MilitaryProcesses.kif 1405-1414 If X is an instance of public program and Y experiences X, then X has the purpose there exists Z such that Z is an instance of helping, Y experiences Z, and Y is an instance of public


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