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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AlethicAttribute
AlethicAttribute(alethic attribute)

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


s__documentation(s__AlethicAttribute,s__ChineseLanguage,'"这是一组所有包含与可能性和必要性概念有关的 Attribute Class。"')

chinese_format.kif 3887-3888
s__documentation(s__AlethicAttribute,s__EnglishLanguage,'"A Class containing all of the Attributes relating to the notions of possibility and necessity."')

Merge.kif 16596-16597
s__subclass(s__AlethicAttribute,s__ObjectiveNorm)

s__instance(s__ObjectiveNorm,s__SetOrClass)

s__instance(s__AlethicAttribute,s__SetOrClass)

Merge.kif 16595-16595 Alethic attribute is a subclass of objective norm

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


s__instance(s__Necessity,s__AlethicAttribute)

s__instance(s__AlethicAttribute,s__SetOrClass)

Merge.kif 16603-16603 Necessity is an instance of alethic attribute
s__instance(s__AlethicAttribute,s__SetOrClass)

s__instance(s__Possibility,s__AlethicAttribute)

Merge.kif 16599-16599 Possibility is an instance of alethic attribute
s__termFormat(s__ChineseLanguage,s__AlethicAttribute,'"真势属性"')

chinese_format.kif 1245-1245
s__termFormat(s__EnglishLanguage,s__AlethicAttribute,'"alethic attribute"')

english_format.kif 1716-1716


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