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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AlethicAttribute

Sigma KEE - AlethicAttribute
AlethicAttribute

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


(documentation AlethicAttribute ChineseLanguage "这是一组所有包含与可能性和必要性概念有关的 Attribute Class。") chinese_format.kif 3887-3888
(documentation AlethicAttribute EnglishLanguage "A Class containing all of the Attributes relating to the notions of possibility and necessity.") Merge.kif 17145-17146
(subclass AlethicAttribute ObjectiveNorm) Merge.kif 17144-17144

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


(instance Necessity AlethicAttribute) Merge.kif 17152-17152
(instance Possibility AlethicAttribute) Merge.kif 17148-17148
(termFormat ChineseLanguage AlethicAttribute "真势属性") chinese_format.kif 1245-1245
(termFormat EnglishLanguage AlethicAttribute "alethic attribute") english_format.kif 1711-1711


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