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

Formal Language: 



KB Term:  Term intersection
English Word: 

  approves

 Sigma KEE - approves
approves

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


(documentation approves EnglishLanguage "(approves ?AGENT1 ?AGENT2) means that ?AGENT1 is satisfied that ?AGENT2 has met some requirement or proposition, and publicly declares such") Mid-level-ontology.kif 25055-25057
(domain approves 1 CognitiveAgent) Mid-level-ontology.kif 25060-25060 The number 1 argument of approves is an instance of cognitive agent
(domain approves 2 CognitiveAgent) Mid-level-ontology.kif 25061-25061 The number 2 argument of approves is an instance of cognitive agent
(instance approves BinaryPredicate) Mid-level-ontology.kif 25054-25054 approves is an instance of binary predicate
(subrelation approves inScopeOfInterest) Mid-level-ontology.kif 25053-25053 approves is a subrelation of in scope of interest

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


(format ChineseLanguage approves "%1 approves %2 ") domainEnglishFormat.kif 2815-2815
(format ChineseTraditionalLanguage approves "%1 approves %2 ") domainEnglishFormat.kif 2814-2814
(format EnglishLanguage approves "%1 approves %2") domainEnglishFormat.kif 2813-2813
(termFormat EnglishLanguage approves "approves") Mid-level-ontology.kif 25058-25058

antecedent
-------------------------


(=>
    (approves ?AGENT1 ?AGENT2)
    (exists (?PROP)
        (believes ?AGENT1
            (conforms ?AGENT2 ?PROP))))		 Mid-level-ontology.kif 25063-25067


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