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 26978-26980
(domain approves 1 CognitiveAgent) Mid-level-ontology.kif 26983-26983 Il numero 1 argomenti di approves è un istanza di AgenteCognitivo
(domain approves 2 CognitiveAgent) Mid-level-ontology.kif 26984-26984 Il numero 2 argomenti di approves è un istanza di AgenteCognitivo
(instance approves BinaryPredicate) Mid-level-ontology.kif 26977-26977 approves è un' istanza di PredicatoBinario
(subrelation approves inScopeOfInterest) Mid-level-ontology.kif 26976-26976 approves è una sottorelazione di inScopeOfInterest

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


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

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


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


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