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 8604-8604 disapproves et desires sont 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 8607-8611 disapproves et desires sont disjoint
(domain disapproves 1 CognitiveAgent) Mid-level-ontology.kif 8605-8605 Le nombre 1 argument de disapproves est une instance de agent cognitif
(domain disapproves 2 Formula) Mid-level-ontology.kif 8606-8606 Le nombre 2 argument de disapproves est une instance de formule
(instance disapproves BinaryPredicate) Mid-level-ontology.kif 8602-8602 disapproves est une instance de pr�dicat binaire
(instance disapproves PropositionalAttitude) Mid-level-ontology.kif 8601-8601 disapproves est une instance de attitude propositionnelle
(subrelation disapproves inScopeOfInterest) Mid-level-ontology.kif 8603-8603 disapproves est une sous-relation de inScopeOfInterest

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 8589-8589 dislikes est reli� � l'int�rieur de SUMO � disapproves
(termFormat ChineseLanguage disapproves "不赞成") domainEnglishFormat.kif 19785-19785 dislikes est reli� � l'int�rieur de SUMO � disapproves
(termFormat ChineseTraditionalLanguage disapproves "不贊成") domainEnglishFormat.kif 19784-19784 dislikes est reli� � l'int�rieur de SUMO � disapproves
(termFormat EnglishLanguage disapproves "disapproves") domainEnglishFormat.kif 19783-19783 dislikes est reli� � l'int�rieur de SUMO � disapproves

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


(=>
    (and
        (instance ?EXPRESS ExpressingDisapproval)
        (agent ?EXPRESS ?AGENT)
        (patient ?EXPRESS ?THING))
    (or
        (dislikes ?AGENT ?THING)
        (disapproves ?AGENT ?THING)))
Mid-level-ontology.kif 14294-14301
(=>
    (attribute ?PERSON Anger)
    (exists (?PROP)
        (disapproves ?PERSON ?PROP)))
Mid-level-ontology.kif 20895-20898
(=>
    (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