Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SubjectiveAssessmentAttribute(subjective assessment attribute) |  | 2-dimensional, Aboriginal, Acheronian, Acherontic, Achilles'_heel, Ashcan_School, Assumption, Augean, Baroque, Baroque_era, Baroque_period, Boche, Bolshevik, Bolshevist, Breed's_Hill, Call, Chinaman, Christ's_Resurrection, Cimmerian, Copernican, Cultural_Revolution, Draconian, Dunkirk, Dutch_courage, Eden, Eight, Eurobabble, Fall, Fall_of_Man, Fanny_Adams, Freudian_slip, Gaul, Gilbertian, Godspeed, Gongorism, Gordian, Gordian_knot, Great_Proletarian_Cultural_Revolution, Grundyism, Guinea, Guinea_worm, Guinea_worm_disease, Hadean, Hollywood, Holy_Order, Hun, Indus_civilization, Injun, Irish_bull, Janus-faced... |
| appearance as argument number 1 |
|
|
| (subclass SubjectiveAssessmentAttribute NormativeAttribute) | Merge.kif 17672-17672 | Subjective assessment attribute is a subclass of normative attribute |
| (disjoint SubjectiveAssessmentAttribute ObjectiveNorm) | Merge.kif 17673-17673 | Subjective assessment attribute is disjoint from objective norm |
| (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 17674-17680 | Subjective assessment attribute is disjoint from objective norm |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (and (instance ?JUDGE Judging) (agent ?JUDGE ?AGENT) (patient ?JUDGE ?OBJ)) (exists (?ATR) (and (instance ?ATR SubjectiveAssessmentAttribute) (holdsDuring (ImmediateFutureFn (WhenFn ?JUDGE)) (believes ?AGENT (property ?OBJ ?ATR)))))) |
Merge.kif 17682-17694 | If X is an instance of judging, Y is an agent of X, and Z is a patient of X, then there exists W such that W is an instance of subjective assessment attribute and Y believes Z the attribute W holds during immediately after the time of existence of X |
|