more pictures...
| NormativeAttribute(normative attribute)
more pictures... | | ABC, ABC's, ABCs, AWOL, Blessed, FTP, GPA, HTTP, Had_crime, MIDI, O.K., OK, PRN, Robert's_Rules_of_Order, TCP, TCP/IP, Tazir_crime, Victorian, a-ok, a-okay, abatement, aberrance, aberrancy, aberration, abet, abidance, able-bodiedism, able-bodism, ableism, ablism, abnormalcy, abnormality, abolitionary, abomination, abortion, aboveboard, absolved, absolvitory, academic_freedom, academic_requirement, acceptable, access, accession, accountability, accountable, acquitted, actionable, actual_sin, actus_reus, adherence... |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3855-3856 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16135-16138 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11538-11538 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10172-10172 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11541-11541 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11539-11539 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11540-11540 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16134-16134 | Normative attribute is a subclass of relational attribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1426-1426 | Duty free is an instance of normative attribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 955-955 | Organic is an instance of normative attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16223-16223 | Objective norm is a subclass of normative attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16165-16165 | Subjective assessment attribute is a subclass of normative attribute |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1241-1241 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1708-1708 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16146-16146 | The number 2 argument of modal attribute is an instance of normative attribute |
|
|
|