No TPTP formula. May not be expressible in strict first order. | emotion.kif 86-86 | Emotional speaking behavior is a subclass of speaking |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 87-87 | Emotional speaking behavior is a subclass of emotional behavioral process |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 97-97 | Emotional voice utterances is a subclass of emotional speaking behavior |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 2012-2012 | Speaking at a faster rate is a subclass of emotional speaking behavior |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 2032-2032 | Speaking assertively is a subclass of emotional speaking behavior |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 2041-2041 | Speaking with altered speech melody is a subclass of emotional speaking behavior |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 2045-2045 | Speaking in a disturbed fashion is a subclass of emotional speaking behavior |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 2049-2049 | Speaking loudly is a subclass of emotional speaking behavior |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 2054-2054 | Speaking softly is a subclass of emotional speaking behavior |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 2075-2075 | Speaking at a slower rate is a subclass of emotional speaking behavior |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 2082-2082 | Not speaking is a subclass of emotional speaking behavior |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 2086-2086 | Speaking with trembling voice is a subclass of emotional speaking behavior |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 2094-2094 | Speaking a long utterance is a subclass of emotional speaking behavior |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 2098-2098 | Speaking a short utterance is a subclass of emotional speaking behavior |