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 17063-17063
(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 17064-17070
(subclass SubjectiveAssessmentAttribute NormativeAttribute) Merge.kif 17062-17062

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


(instance Clean SubjectiveAssessmentAttribute) Mid-level-ontology.kif 24921-24921
(instance Dangerous SubjectiveAssessmentAttribute) MilitaryPersons.kif 203-203
(instance Dirty SubjectiveAssessmentAttribute) Mid-level-ontology.kif 24926-24926
(instance Favorite SubjectiveAssessmentAttribute) Dining.kif 960-960
(instance FeelingCold SubjectiveAssessmentAttribute) emotion.kif 1865-1865
(instance FeelingHot SubjectiveAssessmentAttribute) emotion.kif 1902-1902
(instance HandicappedFriendly SubjectiveAssessmentAttribute) Mid-level-ontology.kif 25540-25540
(instance PeaceState SubjectiveAssessmentAttribute) MilitaryProcesses.kif 1490-1490
(instance WarState SubjectiveAssessmentAttribute) MilitaryProcesses.kif 1492-1492
(subclass AmbienceAttribute SubjectiveAssessmentAttribute) Dining.kif 1014-1014
(subclass FoodAttribute SubjectiveAssessmentAttribute) Dining.kif 1078-1078
(subclass RatingAttribute SubjectiveAssessmentAttribute) Hotel.kif 2963-2963
(subclass SubjectiveStrongNegativeAttribute SubjectiveAssessmentAttribute) Merge.kif 17104-17104
(subclass SubjectiveStrongPositiveAttribute SubjectiveAssessmentAttribute) Merge.kif 17087-17087
(subclass SubjectiveWeakNegativeAttribute SubjectiveAssessmentAttribute) Merge.kif 17112-17112
(subclass SubjectiveWeakPositiveAttribute SubjectiveAssessmentAttribute) Merge.kif 17095-17095
(subclass TemperatureAttribute SubjectiveAssessmentAttribute) Mid-level-ontology.kif 25049-25049
(subclass TimeAttribute SubjectiveAssessmentAttribute) Dining.kif 975-975
(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 17072-17085


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