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

Formal Language: 



KB Term:  Term intersection
English Word: 

  discovers

 Sigma KEE - discovers
discovers

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


(documentation discovers EnglishLanguage "(discovers ?AGENT ?OBJECT) means that the AutonomousAgent ?AGENT discovered the Object ?OBJECT.") Mid-level-ontology.kif 2594-2595
(domain discovers 1 AutonomousAgent) Mid-level-ontology.kif 2592-2592
(domain discovers 2 Object) Mid-level-ontology.kif 2593-2593
(instance discovers BinaryPredicate) Mid-level-ontology.kif 2591-2591

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


(format ChineseLanguage discovers "%1 discovers %2 ") domainEnglishFormat.kif 3258-3258
(format ChineseTraditionalLanguage discovers "%1 discovers %2 ") domainEnglishFormat.kif 3257-3257
(format EnglishLanguage discovers "%1 discovers %2") domainEnglishFormat.kif 3256-3256
(termFormat EnglishLanguage discovers "discovers") Mid-level-ontology.kif 2596-2596

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


(=>
    (discovers ?AGENT ?OBJECT)
    (exists (?DISCOVERING)
        (and
            (instance ?DISCOVERING Discovering)
            (agent ?DISCOVERING ?AGENT)
            (patient ?DISCOVERING ?OBJECT))))		 Mid-level-ontology.kif 2597-2603


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