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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ObjectiveNorm

 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 17381-17383
No TPTP formula. May not be expressible in strict first order. Merge.kif 17380-17380 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 17323-17323 Subjective assessment attribute is disjoint from objective norm
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3013-3013 Not safe for work is an instance of objective norm
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26149-26149 Wheelchair accessible is an instance of objective norm
No TPTP formula. May not be expressible in strict first order. Merge.kif 17404-17404 Alethic attribute is a subclass of objective norm
No TPTP formula. May not be expressible in strict first order. Merge.kif 17385-17385 Contest attribute is a subclass of objective norm
No TPTP formula. May not be expressible in strict first order. Merge.kif 17467-17467 Deontic attribute is a subclass of objective norm
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1827-1827 Device attribute is a subclass of objective norm
No TPTP formula. May not be expressible in strict first order. Merge.kif 17519-17519 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 1707-1707
No TPTP formula. May not be expressible in strict first order. french_format.kif 921-921
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 455-455
No TPTP formula. May not be expressible in strict first order. terms-it.txt 458-458
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2605-2605
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 873-873
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 494-494
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 942-942
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 459-459

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3994-3994 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 4016-4016 The number 3 argument of deprives norm is an instance of objective norm


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