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 17177-17177
(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 17178-17184
(subclass SubjectiveAssessmentAttribute NormativeAttribute) Merge.kif 17176-17176

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


(instance Clean SubjectiveAssessmentAttribute) Mid-level-ontology.kif 25462-25462
(instance Dangerous SubjectiveAssessmentAttribute) MilitaryPersons.kif 203-203
(instance Dirty SubjectiveAssessmentAttribute) Mid-level-ontology.kif 25467-25467
(instance Favorite SubjectiveAssessmentAttribute) Dining.kif 1007-1007
(instance FeelingCold SubjectiveAssessmentAttribute) emotion.kif 1857-1857
(instance FeelingHot SubjectiveAssessmentAttribute) emotion.kif 1894-1894
(instance HandicappedFriendly SubjectiveAssessmentAttribute) Mid-level-ontology.kif 26081-26081
(instance PeaceState SubjectiveAssessmentAttribute) MilitaryProcesses.kif 1490-1490
(instance WarState SubjectiveAssessmentAttribute) MilitaryProcesses.kif 1492-1492
(subclass AmbienceAttribute SubjectiveAssessmentAttribute) Dining.kif 1061-1061
(subclass FoodAttribute SubjectiveAssessmentAttribute) Dining.kif 1125-1125
(subclass RatingAttribute SubjectiveAssessmentAttribute) Hotel.kif 2995-2995
(subclass SubjectiveStrongNegativeAttribute SubjectiveAssessmentAttribute) Merge.kif 17218-17218
(subclass SubjectiveStrongPositiveAttribute SubjectiveAssessmentAttribute) Merge.kif 17201-17201
(subclass SubjectiveWeakNegativeAttribute SubjectiveAssessmentAttribute) Merge.kif 17226-17226
(subclass SubjectiveWeakPositiveAttribute SubjectiveAssessmentAttribute) Merge.kif 17209-17209
(subclass TemperatureAttribute SubjectiveAssessmentAttribute) Mid-level-ontology.kif 25590-25590
(subclass TimeAttribute SubjectiveAssessmentAttribute) Dining.kif 1022-1022
(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 17186-17199


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