| 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 888-889 | |
| (subclass Answering Stating) | Mid-level-ontology.kif 887-887 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Answering "回答中") | domainEnglishFormat.kif 7728-7728 | |
| (termFormat ChineseTraditionalLanguage Answering "回答中") | domainEnglishFormat.kif 7727-7727 | |
| (termFormat EnglishLanguage Answering "answering") | domainEnglishFormat.kif 7726-7726 |
| antecedent |
|
|
| (=> (instance ?ANSWER Answering) (exists (?QUESTION) (and (instance ?QUESTION Questioning) (refers ?ANSWER ?QUESTION) (earlier (WhenFn ?QUESTION) (WhenFn ?ANSWER))))) |
Mid-level-ontology.kif 891-897 |
| consequent |
|
|
| (=> (dayPhone ?Number ?Agent) (exists (?Phone ?Hour ?Num) (and (phoneNumber ?Number ?Phone) (greaterThan ?Num 6) (lessThan ?Num 18) (holdsDuring (instance ?Hour (HourFn ?Num Day)) (exists (?T) (and (instance ?T Telephoning) (destination ?T ?Agent) (patient ?T ?Phone) (possesses ?Agent ?Phone) (modalAttribute (exists (?A) (and (instance ?A Answering) (subProcess ?A ?T) (agent ?A ?Agent))) Likely))))))) |
FinancialOntology.kif 3691-3711 | |
| (=> (eveningPhone ?Number ?Agent) (exists (?Phone ?Hour ?Num) (and (phoneNumber ?Number ?Phone) (greaterThan ?Num 18) (lessThan ?Num 6) (holdsDuring (instance ?Hour (HourFn ?Num Day)) (exists (?T) (and (instance ?T Telephoning) (destination ?T ?Agent) (patient ?T ?Phone) (possesses ?Agent ?Phone) (modalAttribute (exists (?A) (and (instance ?A Answering) (subProcess ?A ?T) (agent ?A ?Agent))) Likely))))))) |
FinancialOntology.kif 3735-3755 |
|
|
|