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 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


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