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 26313-26315
(domain approves 1 CognitiveAgent) Mid-level-ontology.kif 26318-26318
(domain approves 2 CognitiveAgent) Mid-level-ontology.kif 26319-26319
(instance approves BinaryPredicate) Mid-level-ontology.kif 26312-26312
(subrelation approves inScopeOfInterest) Mid-level-ontology.kif 26311-26311

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 26316-26316

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


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


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