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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - disapproves
disapproves

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


(disjointRelation disapproves desires) Mid-level-ontology.kif 7144-7144 disapproves and desires are disjoint
(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 7147-7151
(domain disapproves 1 CognitiveAgent) Mid-level-ontology.kif 7145-7145 The number 1 argument of disapproves is an instance of cognitive agent
(domain disapproves 2 Formula) Mid-level-ontology.kif 7146-7146 The number 2 argument of disapproves is an instance of formula
(instance disapproves BinaryPredicate) Mid-level-ontology.kif 7142-7142 disapproves is an instance of binary predicate
(instance disapproves PropositionalAttitude) Mid-level-ontology.kif 7141-7141 disapproves is an instance of propositional attitude
(subrelation disapproves inScopeOfInterest) Mid-level-ontology.kif 7143-7143 disapproves is a subrelation of in scope of interest

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


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

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


(=>
    (and
        (instance ?EXPRESS ExpressingDisapproval)
        (agent ?EXPRESS ?AGENT)
        (patient ?EXPRESS ?THING))
    (or
        (dislikes ?AGENT ?THING)
        (disapproves ?AGENT ?THING)))
Mid-level-ontology.kif 10573-10580
(=>
    (attribute ?PERSON Anger)
    (exists (?PROP)
        (disapproves ?PERSON ?PROP)))
Mid-level-ontology.kif 17106-17109
(=>
    (instance ?PERSON Human)
    (disapproves ?PERSON
        (attribute ?PERSON DislocatedCivilian)))
MilitaryPersons.kif 49-52


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners