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


KB Term:  Term intersection
English Word: 

  Questioning

 Sigma KEE - Questioning
Questioning(questioning)
address, ask, catechism, challenge, cross-examination, cross-question, cross_examine, cross_question, deposition, direct_examination, employment_interview, enquire, enquiringly, enquiry, examination, examine, inquire, inquiring, inquiringly, inquiry, inquisition, interrogate, interrogation, interrogative, interrogative_sentence, interrogatively, interrogatory, interview, job_interview, leading_question, pose, present, prise, probe, pry, pryingly, pump, query, question, questioning, questioningly, quizzically, re-examine, redirect_examination, reexamination, rhetorically, telephone_interview, unquestioningly, wonderingly, yes-no_question

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


(subclass Questioning Directing) Merge.kif 13508-13508 Questioning is a subclass of directing
(documentation Questioning EnglishLanguage "A request for information. For example, John asked Bill if the President had said anything about taxes in his State of the Union address.") Merge.kif 13509-13511 Questioning is a subclass of directing
(externalImage Questioning "http://articulatesoftware.com/SUMOpictures/signs_symbol/ BW/ BW_3/ information.png") pictureList.kif 517-517 Questioning is a subclass of directing

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


(termFormat EnglishLanguage Questioning "questioning") english_format.kif 1625-1625

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


(=>
    (and
        (instance ?QUESTION Questioning)
        (agent ?QUESTION ?AGENT)
        (containsFormula ?QUESTION ?FORMULA)
        (instance ?FORMULA Formula))
    (holdsDuring
        (WhenFn ?QUESTION)
        (not
            (knows ?AGENT ?FORMULA))))		 Merge.kif 13513-13522 If X is an instance of questioning, Y is an agent of X, X contains the formula Z, and Z is an instance of formula, then Y doesn't know Z holds during the time of existence of X
(=>
    (and
        (instance ?QUESTION Questioning)
        (result ?QUESTION ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Question))		 Mid-level-ontology.kif 15858-15863 If X is an instance of questioning, Y is a result of X, and Y is an instance of sentence, then Y is an instance of question

consequent
-------------------------


(=>
    (instance ?ANSWER Answering)
    (exists (?QUESTION)
        (and
            (instance ?QUESTION Questioning)
            (refers ?ANSWER ?QUESTION)
            (earlier
                (WhenFn ?QUESTION)
                (WhenFn ?ANSWER)))))		 Mid-level-ontology.kif 888-894 If X is an instance of answering, then there exists Y such that Y is an instance of questioning, X includes a reference to Y, and the time of existence of Y happens earlier than the time of existence of X
(=>
    (instance ?QUERY SearchQuery)
    (exists (?QUESTION ?SEARCHENGINE)
        (and
            (instance ?QUESTION Questioning)
            (result ?QUESTION ?QUERY)
            (destination ?QUESTION ?SEARCHENGINE)
            (instance ?SEARCHENGINE SearchEngine))))		 UXExperimentalTerms.kif 2418-2425 If X is an instance of Search query, then there exist Y, Z such that Y is an instance of questioning, X is a result of Y, Y ends up at Z, and Z is an instance of search engine


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners