TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	emotion.kif 158-159
No TPTP formula. May not be expressible in strict first order.	emotion.kif 156-156	actionTendency 的 1 数量是情绪状态的 instance
No TPTP formula. May not be expressible in strict first order.	emotion.kif 157-157	actionTendency 的 2 数量是 EmotionalBehavioralProcess 的 subclass
No TPTP formula. May not be expressible in strict first order.	emotion.kif 155-155	actionTendency 是二元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

domainEnglishFormat.kif 65771-65771

antecedent

No TPTP formula. May not be expressible in strict first order.

emotion.kif 161-172

如果情绪状态是实体的 attribute 在时间位置 holdsDuring 和 actionTendency 那个情绪状态 and 有点 EmotionalBehavioralProcess，
然后有存在另一个实体这样那个另外实体是有点 EmotionalBehavioralProcess 的 instance 和那个另外实体出现的 time 在那个时间位置时段内发生和那个实体经历了那个另外实体的声明 has 容易的语气

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	emotion.kif 186-186	actionTendency 愤怒 and AngryFacialExpression
No TPTP formula. May not be expressible in strict first order.	emotion.kif 182-182	actionTendency Disgust and DisgustedFacialExpression
No TPTP formula. May not be expressible in strict first order.	emotion.kif 183-183	actionTendency Fear and FearfulFacialExpression
No TPTP formula. May not be expressible in strict first order.	emotion.kif 175-175	actionTendency Grief and 泣
No TPTP formula. May not be expressible in strict first order.	emotion.kif 184-184	actionTendency 幸福 and HappyFacialExpression
No TPTP formula. May not be expressible in strict first order.	emotion.kif 176-176	actionTendency 幸福 and 笑
No TPTP formula. May not be expressible in strict first order.	emotion.kif 177-177	actionTendency 幸福 and 微笑
No TPTP formula. May not be expressible in strict first order.	emotion.kif 185-185	actionTendency Sadness and SadFacialExpression
No TPTP formula. May not be expressible in strict first order.	emotion.kif 179-179	actionTendency 惊喜 and JawDropping
No TPTP formula. May not be expressible in strict first order.	emotion.kif 180-180	actionTendency 惊喜 and OpeningEyesWidely
No TPTP formula. May not be expressible in strict first order.	emotion.kif 181-181	actionTendency 惊喜 and RaisingEyebrows
No TPTP formula. May not be expressible in strict first order.	emotion.kif 174-174	actionTendency 惊喜 and SurprisedFacialExpression
No TPTP formula. May not be expressible in strict first order.	emotion.kif 178-178	actionTendency 不幸 and 皱着眉头

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: