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 17394-17394
(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 17395-17401
(subclass SubjectiveAssessmentAttribute NormativeAttribute) Merge.kif 17393-17393

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


(instance Clean SubjectiveAssessmentAttribute) Mid-level-ontology.kif 25611-25611
(instance Dangerous SubjectiveAssessmentAttribute) MilitaryPersons.kif 203-203
(instance Dirty SubjectiveAssessmentAttribute) Mid-level-ontology.kif 25616-25616
(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 26206-26206
(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 17435-17435
(subclass SubjectiveStrongPositiveAttribute SubjectiveAssessmentAttribute) Merge.kif 17418-17418
(subclass SubjectiveWeakNegativeAttribute SubjectiveAssessmentAttribute) Merge.kif 17443-17443
(subclass SubjectiveWeakPositiveAttribute SubjectiveAssessmentAttribute) Merge.kif 17426-17426
(subclass TemperatureAttribute SubjectiveAssessmentAttribute) Mid-level-ontology.kif 25715-25715
(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
(termFormat FrenchLanguage SubjectiveAssessmentAttribute "attribut subjectif") french_format.kif 920-920
(termFormat Hindi SubjectiveAssessmentAttribute "vyaktinishtha mUlyaankana visheshataa") terms-hindi.txt 454-454
(termFormat ItalianLanguage SubjectiveAssessmentAttribute "AttributoSoggettivo") terms-it.txt 457-457
(termFormat JapaneseLanguage SubjectiveAssessmentAttribute "主観評価属性") japanese_format.kif 2604-2604

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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 17403-17416


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