|
|
   SubjectiveAssessmentAttribute
|
|
|
| appearance as argument number 1 |
|
|
| (disjoint SubjectiveAssessmentAttribute ObjectiveNorm) | Merge.kif 17323-17323 | 不相交的 SubjectiveAssessmentAttribute and ObjectiveNorm |
| (documentation SubjectiveAssessmentAttribute ChineseLanguage "这是缺乏客观标准为根据的 NormativeAttribute Class，也就是说判断这些 Attribute 的基础因人而异，甚至对同一个人的感受会 随时而差异，一般来说，这个 Class 只用于把外在的知识来源和SUMO联系的时候。如果一个词看似缺乏客观标准为 根据的话，我们会把它归纳到这个 Class。") | chinese_format.kif 3862-3865 | |
| (documentation SubjectiveAssessmentAttribute EnglishLanguage "The Class of NormativeAttributes which lack an objective criterion for their attribution, i.e. the attribution of these Attributes varies from subject to subject and even with respect to the same subject over time. This Class is, generally speaking, only used when mapping external knowledge sources to the SUMO. If a term from such a knowledge source seems to lack objective criteria for its attribution, it is assigned to this Class.") | Merge.kif 17324-17330 | |
| (subclass SubjectiveAssessmentAttribute NormativeAttribute) | Merge.kif 17322-17322 | 子類 SubjectiveAssessmentAttribute and NormativeAttribute |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (attribute ?OBJ ?ATR) (instance ?ATR SubjectiveAssessmentAttribute)) (exists (?TIME ?JUDGE ?AGENT) (and (instance ?JUDGE Judging) (agent ?JUDGE ?AGENT) (patient ?JUDGE ?OBJ) (result ?JUDGE (attribute ?OBJ ?ATR)) (holdsDuring ?TIME (believes ?AGENT (property ?OBJ ?ATR)))))) |
Merge.kif 17332-17345 |
|
|
|
|