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

Formal Language: 



KB Term:  Term intersection
English Word: 

  disapproves

Sigma KEE - disapproves
disapproves

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


(disjointRelation disapproves desires) Mid-level-ontology.kif 7115-7115
(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 7118-7122
(domain disapproves 1 CognitiveAgent) Mid-level-ontology.kif 7116-7116
(domain disapproves 2 Formula) Mid-level-ontology.kif 7117-7117
(instance disapproves BinaryPredicate) Mid-level-ontology.kif 7113-7113
(instance disapproves PropositionalAttitude) Mid-level-ontology.kif 7112-7112
(subrelation disapproves inScopeOfInterest) Mid-level-ontology.kif 7114-7114

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 7100-7100
(termFormat ChineseLanguage disapproves "不赞成") domainEnglishFormat.kif 19767-19767
(termFormat ChineseTraditionalLanguage disapproves "不贊成") domainEnglishFormat.kif 19766-19766
(termFormat EnglishLanguage disapproves "disapproves") domainEnglishFormat.kif 19765-19765

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


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


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 is open source software produced by Articulate Software and its partners