| 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 | AttributoAletico è una sottoclasse di NormaOggettiva |
| appearance as argument number 2 |
|
|
| (instance Necessity AlethicAttribute) | Merge.kif 17483-17483 | Necessity è un' istanza di AttributoAletico |
| (instance Possibility AlethicAttribute) | Merge.kif 17479-17479 | Possibility è un' istanza di AttributoAletico |
| (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