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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NormativeAttribute

 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 17292-17295
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11511-11511
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10151-10151
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11514-11514
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11512-11512
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11513-11513
No TPTP formula. May not be expressible in strict first order. Merge.kif 17291-17291 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 1461-1461 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 9310-9310 OTC drug is an instance of normative attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9290-9290 Prescription drug is an instance of normative attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17380-17380 Objective norm is a subclass of normative attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17322-17322 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 1703-1703
No TPTP formula. May not be expressible in strict first order. french_format.kif 919-919
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 453-453
No TPTP formula. May not be expressible in strict first order. terms-it.txt 456-456
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2603-2603
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 871-871
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 492-492
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 940-940
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 457-457

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 17303-17303 The number 2 argument of modal attribute is an instance of normative attribute


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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