Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SubjectiveAssessmentAttribute
SubjectiveAssessmentAttribute(主观评价属性)

appearance as argument number 1
-------------------------


(disjoint SubjectiveAssessmentAttribute ObjectiveNorm) Merge.kif 17683-17683 主观评价属性 和 % 2 是 disjoint
(documentation SubjectiveAssessmentAttribute ChineseLanguage "这是缺乏客观标准为根据的 NormativeAttribute Class,也就是说判断这些 Attribute 的基础因人而异,甚至对同一个人的感受会 随时而差异,一般来说,这个 Class 只用于把外在的知识来源和SUMO联系的时候。如果一个词看似缺乏客观标准为 根据的话,我们会把它归纳到这个 Class。") Merge.kif 17691-17694
(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 17684-17690
(subclass SubjectiveAssessmentAttribute NormativeAttribute) Merge.kif 17682-17682 主观评价属性规范属性subclass

appearance as argument number 2
-------------------------


(instance Clean SubjectiveAssessmentAttribute) Mid-level-ontology.kif 23466-23466 Clean主观评价属性instance
(instance Dangerous SubjectiveAssessmentAttribute) MilitaryPersons.kif 203-203 Dangerous主观评价属性instance
(instance Dirty SubjectiveAssessmentAttribute) Mid-level-ontology.kif 23471-23471 Dirty主观评价属性instance
(instance Favorite SubjectiveAssessmentAttribute) Dining.kif 964-964 Favorite主观评价属性instance
(instance HandicappedFriendly SubjectiveAssessmentAttribute) Mid-level-ontology.kif 24161-24161 HandicappedFriendly主观评价属性instance
(instance PeaceState SubjectiveAssessmentAttribute) MilitaryProcesses.kif 1458-1458 PeaceState主观评价属性instance
(instance WarState SubjectiveAssessmentAttribute) MilitaryProcesses.kif 1460-1460 WarState主观评价属性instance
(subclass AmbienceAttribute SubjectiveAssessmentAttribute) Dining.kif 1015-1015 AmbienceAttribute主观评价属性subclass
(subclass FoodAttribute SubjectiveAssessmentAttribute) Dining.kif 1079-1079 FoodAttribute主观评价属性subclass
(subclass RatingAttribute SubjectiveAssessmentAttribute) Hotel.kif 2930-2930 RatingAttribute主观评价属性subclass
(subclass SubjectiveStrongNegativeAttribute SubjectiveAssessmentAttribute) Merge.kif 17737-17737 SubjectiveStrongNegativeAttribute主观评价属性subclass
(subclass SubjectiveStrongPositiveAttribute SubjectiveAssessmentAttribute) Merge.kif 17711-17711 SubjectiveStrongPositiveAttribute主观评价属性subclass
(subclass SubjectiveWeakNegativeAttribute SubjectiveAssessmentAttribute) Merge.kif 17749-17749 SubjectiveWeakNegativeAttribute主观评价属性subclass
(subclass SubjectiveWeakPositiveAttribute SubjectiveAssessmentAttribute) Merge.kif 17724-17724 SubjectiveWeakPositiveAttribute主观评价属性subclass
(subclass TemperatureAttribute SubjectiveAssessmentAttribute) Mid-level-ontology.kif 23601-23601 TemperatureAttribute主观评价属性subclass
(subclass TimeAttribute SubjectiveAssessmentAttribute) Dining.kif 979-979 TimeAttribute主观评价属性subclass
(termFormat ChineseLanguage SubjectiveAssessmentAttribute "主观评价属性") chinese_format.kif 1242-1242 termFormat ChineseLanguage, 主观评价属性 and "主观评价属性"
(termFormat EnglishLanguage SubjectiveAssessmentAttribute "subjective assessment attribute") english_format.kif 1807-1807 termFormat EnglishLanguage, 主观评价属性 and "subjective assessment attribute"
(termFormat JapaneseLanguage SubjectiveAssessmentAttribute "主観評価属性") english_format.kif 1808-1808 termFormat JapaneseLanguage, 主观评价属性 and "主観評価属性"

antecedent
-------------------------


(=>
    (and
        (attribute ?OBJ ?ATR)
        (instance ?ATR SubjectiveAssessmentAttribute))
    (exists (?TIME ?JUDGE ?AGENT)
        (and
            (instance ?JUDGE Judging)
            (agent ?JUDGE ?AGENT)
            (patient ?JUDGE ?OBJ)
            (patient ?JUDGE
                (attribute ?OBJ ?ATR))
            (holdsDuring ?TIME
                (believes ?AGENT
                    (property ?OBJ ?ATR))))))
Merge.kif 17696-17709


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners