Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - NormativeAttribute
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


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