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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 17405-17406
(subclass AlethicAttribute ObjectiveNorm) Merge.kif 17404-17404 真势属性客观标准subclass

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


(instance Necessity AlethicAttribute) Merge.kif 17412-17412 必要性真势属性instance
(instance Possibility AlethicAttribute) Merge.kif 17408-17408 可能性真势属性instance
(termFormat ChineseLanguage AlethicAttribute "真势属性") chinese_format.kif 1245-1245
(termFormat EnglishLanguage AlethicAttribute "alethic attribute") english_format.kif 1711-1711
(termFormat FrenchLanguage AlethicAttribute "alethic attribute") french_format.kif 923-923
(termFormat Hindi AlethicAttribute "") terms-hindi.txt 457-457
(termFormat ItalianLanguage AlethicAttribute "AttributoAletico") terms-it.txt 460-460
(termFormat JapaneseLanguage AlethicAttribute "真理属性") japanese_format.kif 2607-2607
(termFormat PortugueseLanguage AlethicAttribute "Atributo Aletico") portuguese_format.kif 875-875
(termFormat cz AlethicAttribute "alethic attribute") terms-cz.txt 496-496
(termFormat ro AlethicAttribute "atribut alethic") relations-ro.kif 944-944
(termFormat tg AlethicAttribute "") terms-tg.txt 461-461


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