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 17467-17470 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11504-11504 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10149-10149 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11507-11507 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11505-11505 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11506-11506 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17466-17466 | Normative attribute is a subclass of relational attribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3234-3234 | Bidirectional traffic is an instance of normative attribute |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1472-1472 | Duty free is an instance of normative attribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1002-1002 | Organic is an instance of normative attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10639-10639 | OTC drug is an instance of normative attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10619-10619 | Prescription drug is an instance of normative attribute |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3268-3268 | Unidirectional traffic is an instance of normative attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17555-17555 | Objective norm is a subclass of normative attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17497-17497 | 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 | Subjective assessment attribute is a subclass of normative attribute |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1703-1703 | Subjective assessment attribute is a subclass of normative attribute |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 919-919 | Subjective assessment attribute is a subclass of normative attribute |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 453-453 | Subjective assessment attribute is a subclass of normative attribute |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 456-456 | Subjective assessment attribute is a subclass of normative attribute |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2603-2603 | Subjective assessment attribute is a subclass of normative attribute |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 871-871 | Subjective assessment attribute is a subclass of normative attribute |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 492-492 | Subjective assessment attribute is a subclass of normative attribute |
| No TPTP formula. May not be expressible in strict first order. | terms-de.txt 751-751 | Subjective assessment attribute is a subclass of normative attribute |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 940-940 | Subjective assessment attribute is a subclass of normative attribute |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 457-457 | Subjective assessment attribute is a subclass of normative attribute |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17478-17478 | The number 2 argument of modal attribute is an instance of normative attribute |
|
|
|