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 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