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 17476-17477
(subclass AlethicAttribute ObjectiveNorm) Merge.kif 17475-17475

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


(instance Necessity AlethicAttribute) Merge.kif 17483-17483
(instance Possibility AlethicAttribute) Merge.kif 17479-17479
(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