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 17070-17070 主观评价属性 和 % 2 是 disjoint
(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 17071-17077
(subclass SubjectiveAssessmentAttribute NormativeAttribute) Merge.kif 17069-17069 主观评价属性规范属性subclass

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


(instance Clean SubjectiveAssessmentAttribute) Mid-level-ontology.kif 25038-25038 Clean主观评价属性instance
(instance Dangerous SubjectiveAssessmentAttribute) MilitaryPersons.kif 203-203 危险主观评价属性instance
(instance Dirty SubjectiveAssessmentAttribute) Mid-level-ontology.kif 25043-25043 Dirty主观评价属性instance
(instance Favorite SubjectiveAssessmentAttribute) Dining.kif 960-960 Favorite主观评价属性instance
(instance FeelingCold SubjectiveAssessmentAttribute) emotion.kif 1857-1857 FeelingCold主观评价属性instance
(instance FeelingHot SubjectiveAssessmentAttribute) emotion.kif 1894-1894 FeelingHot主观评价属性instance
(instance HandicappedFriendly SubjectiveAssessmentAttribute) Mid-level-ontology.kif 25657-25657 HandicappedFriendly主观评价属性instance
(instance PeaceState SubjectiveAssessmentAttribute) MilitaryProcesses.kif 1490-1490 和平国家主观评价属性instance
(instance WarState SubjectiveAssessmentAttribute) MilitaryProcesses.kif 1492-1492 战争状态主观评价属性instance
(subclass AmbienceAttribute SubjectiveAssessmentAttribute) Dining.kif 1014-1014 AmbienceAttribute主观评价属性subclass
(subclass FoodAttribute SubjectiveAssessmentAttribute) Dining.kif 1078-1078 FoodAttribute主观评价属性subclass
(subclass RatingAttribute SubjectiveAssessmentAttribute) Hotel.kif 2995-2995 RatingAttribute主观评价属性subclass
(subclass SubjectiveStrongNegativeAttribute SubjectiveAssessmentAttribute) Merge.kif 17111-17111 SubjectiveStrongNegativeAttribute主观评价属性subclass
(subclass SubjectiveStrongPositiveAttribute SubjectiveAssessmentAttribute) Merge.kif 17094-17094 SubjectiveStrongPositiveAttribute主观评价属性subclass
(subclass SubjectiveWeakNegativeAttribute SubjectiveAssessmentAttribute) Merge.kif 17119-17119 SubjectiveWeakNegativeAttribute主观评价属性subclass
(subclass SubjectiveWeakPositiveAttribute SubjectiveAssessmentAttribute) Merge.kif 17102-17102 SubjectiveWeakPositiveAttribute主观评价属性subclass
(subclass TemperatureAttribute SubjectiveAssessmentAttribute) Mid-level-ontology.kif 25166-25166 TemperatureAttribute主观评价属性subclass
(subclass TimeAttribute SubjectiveAssessmentAttribute) Dining.kif 975-975 TimeAttribute主观评价属性subclass
(termFormat ChineseLanguage SubjectiveAssessmentAttribute "主观评价属性") chinese_format.kif 1242-1242
(termFormat EnglishLanguage SubjectiveAssessmentAttribute "subjective assessment attribute") english_format.kif 1705-1705

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 17079-17092


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