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 7439-7439 disapprovesdesiresdisjoint では %n
(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 7442-7446
(domain disapproves 1 CognitiveAgent) Mid-level-ontology.kif 7440-7440 disapproves の数値 1 引数は 認識エージェントinstance では %n
(domain disapproves 2 Formula) Mid-level-ontology.kif 7441-7441 disapproves の数値 2 引数は 公式instance では %n
(instance disapproves BinaryPredicate) Mid-level-ontology.kif 7437-7437 disapproves2進述語instance では %n
(instance disapproves PropositionalAttitude) Mid-level-ontology.kif 7436-7436 disapproves命題態度instance では %n
(subrelation disapproves inScopeOfInterest) Mid-level-ontology.kif 7438-7438 disapprovesinScopeOfInterestsubrelation では %n

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 7424-7424 dislikesdisapprovesinternally 関連して %n
(termFormat ChineseLanguage disapproves "不赞成") domainEnglishFormat.kif 19776-19776
(termFormat ChineseTraditionalLanguage disapproves "不贊成") domainEnglishFormat.kif 19775-19775
(termFormat EnglishLanguage disapproves "disapproves") domainEnglishFormat.kif 19774-19774

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


(=>
    (and
        (instance ?EXPRESS ExpressingDisapproval)
        (agent ?EXPRESS ?AGENT)
        (patient ?EXPRESS ?THING))
    (or
        (dislikes ?AGENT ?THING)
        (disapproves ?AGENT ?THING)))
Mid-level-ontology.kif 12963-12970
(=>
    (attribute ?PERSON Anger)
    (exists (?PROP)
        (disapproves ?PERSON ?PROP)))
Mid-level-ontology.kif 19324-19327
(=>
    (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 3.0 is open source software produced by Articulate Software and its partners