Blushing(blushing) | ![]() | blush, crimson, flush, redden |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23088-23089 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23087-23087 | Blushing is a subclass of autonomic process |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1695-1695 | Blushing is a subclass of physiological response to emotion process |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11426-11426 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11425-11425 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11424-11424 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23091-23106 |
|
![]() |
![]() |