| Arguing | |
| appearance as argument number 1 |
|
|
| (documentation Arguing EnglishLanguage "Any Stating which has the form of an Argument.") | Mid-level-ontology.kif 900-900 | |
| (subclass Arguing Stating) | Mid-level-ontology.kif 899-899 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Arguing "争论") | domainEnglishFormat.kif 8337-8337 | |
| (termFormat ChineseTraditionalLanguage Arguing "爭論") | domainEnglishFormat.kif 8336-8336 | |
| (termFormat EnglishLanguage Arguing "arguing") | domainEnglishFormat.kif 8335-8335 |
| antecedent |
|
|
| (=> (instance ?ARGUE Arguing) (exists (?STATEMENT ?ARGUMENT) (and (patient ?ARGUE ?STATEMENT) (instance ?STATEMENT Statement) (containsInformation ?STATEMENT ?ARGUMENT) (instance ?ARGUMENT Argument)))) |
Mid-level-ontology.kif 902-909 |
|
|
|