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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Answering
Answering

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


(documentation Answering EnglishLanguage "Responding to a Questioning, i.e. trying to answer someone's question.") Mid-level-ontology.kif 1283-1284
(subclass Answering Stating) Mid-level-ontology.kif 1282-1282

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


(termFormat ChineseLanguage Answering "回答中") domainEnglishFormat.kif 7739-7739
(termFormat ChineseTraditionalLanguage Answering "回答中") domainEnglishFormat.kif 7738-7738
(termFormat EnglishLanguage Answering "answering") domainEnglishFormat.kif 7737-7737

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


(=>
    (instance ?ANSWER Answering)
    (exists (?QUESTION)
        (and
            (instance ?QUESTION Questioning)
            (refers ?ANSWER ?QUESTION)
            (earlier
                (WhenFn ?QUESTION)
                (WhenFn ?ANSWER)))))
Mid-level-ontology.kif 1286-1292


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