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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 17152-17153
(subclass AlethicAttribute ObjectiveNorm) Merge.kif 17151-17151 subclass AlethicAttribute and ObjectiveNorm

appearance as argument number 2

(instance Necessity AlethicAttribute) Merge.kif 17159-17159 instance Necessity and AlethicAttribute
(instance Possibility AlethicAttribute) Merge.kif 17155-17155 instance Possibility and AlethicAttribute
(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