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


KB Term:  Term intersection
English Word: 

  disapproves

 Sigma KEE - disapproves
disapproves

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


(instance disapproves PropositionalAttitude) Mid-level-ontology.kif 8756-8756 disapproves is an instance of propositional attitude
(instance disapproves BinaryPredicate) Mid-level-ontology.kif 8757-8757 disapproves is an instance of binary predicate
(subrelation disapproves inScopeOfInterest) Mid-level-ontology.kif 8758-8758 disapproves is a subrelation of in scope of interest
(disjointRelation disapproves desires) Mid-level-ontology.kif 8759-8759 disapproves and desires are disjoint
(domain disapproves 1 CognitiveAgent) Mid-level-ontology.kif 8760-8760 The number 1 argument of disapproves is an instance of cognitive agent
(domain disapproves 2 Formula) Mid-level-ontology.kif 8761-8761 The number 2 argument of disapproves is an instance of formula
(documentation disapproves EnglishLanguage "(disapproves ?AGENT ?FORMULA) means that ?AGENT has a feeling of antipathy to the state of affairs represented by ?FORMULA, i.e. ?AGENT believes that the realization of ?FORMULA will thwart one of his/ her goals. Note that there is no implication that what is disapproved of by an agent is not already true.") Mid-level-ontology.kif 8762-8766 The number 2 argument of disapproves is an instance of formula

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


(relatedInternalConcept dislikes disapproves) Mid-level-ontology.kif 8744-8744 dislikes is internally related to disapproves
(format EnglishLanguage disapproves "%2 is %n a disapproves of %1") domainEnglishFormat.kif 762-762 dislikes is internally related to disapproves
(format ChineseTraditionalLanguage disapproves "%2 %n 是 %1 的 disapproves ") domainEnglishFormat.kif 763-763 dislikes is internally related to disapproves
(format ChineseLanguage disapproves "%2 %n 是 %1 的 disapproves ") domainEnglishFormat.kif 764-764 dislikes is internally related to disapproves
(termFormat EnglishLanguage disapproves "disapproves") domainEnglishFormat.kif 19776-19776 dislikes is internally related to disapproves
(termFormat ChineseTraditionalLanguage disapproves "不贊成") domainEnglishFormat.kif 19777-19777 dislikes is internally related to disapproves
(termFormat ChineseLanguage disapproves "不赞成") domainEnglishFormat.kif 19778-19778 dislikes is internally related to disapproves

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


(=>
    (instance ?PERSON Human)
    (disapproves ?PERSON
        (attribute ?PERSON DislocatedCivilian)))		 MilitaryPersons.kif 49-52 If X is an instance of human, then dislocated civilian is an attribute of X is a disapproves of X
(=>
    (attribute ?PERSON Anger)
    (exists (?PROP)
        (disapproves ?PERSON ?PROP)))		 emotion.kif 1371-1374 If anger is an attribute of X, then there exists Y such that Y is a disapproves of 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
(=>
    (holdsDuring ?T
        (attribute ?A Guilt))
    (or
        (disapproves ?A
            (exists (?P)
                (and
                    (instance ?P Process)
                    (agent ?P ?A)
                    (meetsTemporally
                        (WhenFn ?P) ?T))))
        (disapproves ?A
            (modalAttribute
                (not
                    (exists (?P)
                        (and
                            (instance ?P Process)
                            (agent ?P ?A)
                            (meetsTemporally
                                (WhenFn ?P) ?T)))) Obligation))))		 emotion.kif 1804-1823 If guilt is an attribute of X holds during Y, then there exists Z such that Z is an instance of process, X is an agent of Z, and the time of existence of Z meets Y is a disapproves of X or the statement there doesn't exist Z such that Z is an instance of process, X is an agent of Z, and the time of existence of Z meets Y has the modal force of obligation is a disapproves of X


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