| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 80-82 | |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 54-54 | 相關的內部概念 Appraisal and AppraisalProcess |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 79-79 | 子類 Appraisal and StateOfMind |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 513-513 | 例 AppraisalAsBeingDisliked and Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 521-521 | 例 AppraisalAsBeingLiked and Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 281-281 | 子類 AppraisalOfAvoidabilityOfConsequences and Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 591-591 | 子類 AppraisalOfCausalAgency and Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 670-670 | 子類 AppraisalOfCausalIntent and Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 460-460 | 子類 AppraisalOfCongruenceWithIdeals and Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 546-546 | 子類 AppraisalOfDangerousness and Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 389-389 | 子類 AppraisalOfDesirabilityOfConsequences and Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 524-524 | 子類 AppraisalOfExpectedness and Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 313-313 | 子類 AppraisalOfFamiliarity and Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 209-209 | 子類 AppraisalOfGoalImportance and Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 336-336 | 子類 AppraisalOfJusticeOfTreatment and Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 275-275 | 子類 AppraisalOfLoss and Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 494-494 | 子類 AppraisalOfPleasantness and Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 239-239 | 子類 AppraisalOfPredictability and Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 637-637 | 子類 AppraisalOfSocialAttention and Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 573-573 | 子類 AppraisalOfSuddenness and Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 424-424 | 子類 AppraisalOfUrgency and Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 78-78 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 56-64 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners