| Questioning(questioning)
|
| appearance as argument number 1 |
|
| (subclass Questioning Directing) | Merge.kif 13384-13384 | 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 13385-13387 | 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 1621-1621 |
| antecedent |
|
|
| (=> (and (instance ?QUESTION Questioning) (agent ?QUESTION ?AGENT) (patient ?QUESTION ?FORMULA) (instance ?FORMULA Formula)) (holdsDuring (WhenFn ?QUESTION) (not (knows ?AGENT ?FORMULA)))) |
Merge.kif 13389-13395 | If X is an instance of questioning, Y is an agent of X, Z is a patient of X, 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 15775-15780 | 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 894-900 | 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 2417-2424 | 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 |
|
|
|