Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AlethicAttribute(alethic attribute) |
| appearance as argument number 1 |
|
| (subclass AlethicAttribute ObjectiveNorm) | Merge.kif 17753-17753 | Alethic attribute is a subclass of objective norm |
| (documentation AlethicAttribute EnglishLanguage "A Class containing all of the Attributes relating to the notions of possibility and necessity.") | Merge.kif 17754-17755 | Alethic attribute is a subclass of objective norm |
| appearance as argument number 2 |
|
|
| (instance Possibility AlethicAttribute) | Merge.kif 17757-17757 | Possibility is an instance of alethic attribute |
| (instance Necessity AlethicAttribute) | Merge.kif 17761-17761 | Necessity is an instance of alethic attribute |
| (termFormat EnglishLanguage AlethicAttribute "alethic attribute") | english_format.kif 1715-1715 | Necessity is an instance of alethic attribute |
|