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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ObjectiveNorm
ObjectiveNorm(objective norm)abatable_nuisance, attractive_nuisance, ethic, just, mixed_nuisance, moral_principle, private_nuisance, value-system, value_orientation

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3882-3883
No TPTP formula. May not be expressible in strict first order. Merge.kif 16224-16226
No TPTP formula. May not be expressible in strict first order. Merge.kif 16223-16223 Objective norm is a subclass of normative attribute

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 16166-16166 Subjective assessment attribute is disjoint from objective norm
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22362-22362 Wheelchair accessible is an instance of objective norm
No TPTP formula. May not be expressible in strict first order. Merge.kif 16247-16247 Alethic attribute is a subclass of objective norm
No TPTP formula. May not be expressible in strict first order. Merge.kif 16228-16228 Contest attribute is a subclass of objective norm
No TPTP formula. May not be expressible in strict first order. Merge.kif 16310-16310 Deontic attribute is a subclass of objective norm
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1764-1764 Device attribute is a subclass of objective norm
No TPTP formula. May not be expressible in strict first order. Merge.kif 16362-16362 Probability attribute is a subclass of objective norm
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1243-1243
No TPTP formula. May not be expressible in strict first order. english_format.kif 1712-1712

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3863-3863 The number 3 argument of confers norm is an instance of objective norm
No TPTP formula. May not be expressible in strict first order. Merge.kif 3885-3885 The number 3 argument of deprives norm is an instance of objective norm


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