| 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 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16166-16166 | Subjective assessment attribute is disjoint from objective norm |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3862-3865 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16167-16173 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16165-16165 | Subjective assessment attribute is a subclass of normative attribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23510-23510 | Clean is an instance of subjective assessment attribute |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 203-203 | Dangerous is an instance of subjective assessment attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23515-23515 | Dirty is an instance of subjective assessment attribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 960-960 | Favorite is an instance of subjective assessment attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24205-24205 | Handicapped friendly is an instance of subjective assessment attribute |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1471-1471 | Peace state is an instance of subjective assessment attribute |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1473-1473 | War state is an instance of subjective assessment attribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1014-1014 | Ambience is a subclass of subjective assessment attribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1078-1078 | Food attribute is a subclass of subjective assessment attribute |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2950-2950 | RatingAttribute is a subclass of subjective assessment attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16207-16207 | SubjectiveStrongNegativeAttribute is a subclass of subjective assessment attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16190-16190 | SubjectiveStrongPositiveAttribute is a subclass of subjective assessment attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16215-16215 | SubjectiveWeakNegativeAttribute is a subclass of subjective assessment attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16198-16198 | SubjectiveWeakPositiveAttribute is a subclass of subjective assessment attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23645-23645 | Temperature attribute is a subclass of subjective assessment attribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 975-975 | TimeAttribute is a subclass of subjective assessment attribute |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1242-1242 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1710-1710 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16175-16188 |
|
|
|
|