(instance Necessity AlethicAttribute) |
Merge.kif 17508-17508 |
Necessity is an instance of alethic attribute |
(instance Possibility AlethicAttribute) |
Merge.kif 17504-17504 |
Possibility is an instance of alethic attribute |
(termFormat ChineseLanguage AlethicAttribute "真势属性") |
chinese_format.kif 1245-1245 |
Possibility is an instance of alethic attribute |
(termFormat EnglishLanguage AlethicAttribute "alethic attribute") |
english_format.kif 1711-1711 |
Possibility is an instance of alethic attribute |
(termFormat FrenchLanguage AlethicAttribute "alethic attribute") |
french_format.kif 923-923 |
Possibility is an instance of alethic attribute |
(termFormat Hindi AlethicAttribute "") |
terms-hindi.txt 457-457 |
Possibility is an instance of alethic attribute |
(termFormat ItalianLanguage AlethicAttribute "AttributoAletico") |
terms-it.txt 460-460 |
Possibility is an instance of alethic attribute |
(termFormat JapaneseLanguage AlethicAttribute "真理属性") |
japanese_format.kif 2607-2607 |
Possibility is an instance of alethic attribute |
(termFormat PortugueseLanguage AlethicAttribute "Atributo Aletico") |
portuguese_format.kif 875-875 |
Possibility is an instance of alethic attribute |
(termFormat cz AlethicAttribute "alethic attribute") |
terms-cz.txt 496-496 |
Possibility is an instance of alethic attribute |
(termFormat de AlethicAttribute "alethisches Attribut") |
terms-de.txt 755-755 |
Possibility is an instance of alethic attribute |
(termFormat ro AlethicAttribute "atribut alethic") |
relations-ro.kif 944-944 |
Possibility is an instance of alethic attribute |
(termFormat tg AlethicAttribute "") |
terms-tg.txt 461-461 |
Possibility is an instance of alethic attribute |