|
|
   DeafSignLanguage
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 159-161 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 158-158 | DeafSignLanguage est une sous-classe de ManualHumanLanguage |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 163-163 | AdamorobeSignLanguage est une instance de DeafSignLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 175-175 | AlgerianSignLanguage est une instance de DeafSignLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 181-181 | AmericanSignLanguage est une instance de DeafSignLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 232-232 | ArgentineSignLanguage est une instance de DeafSignLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 244-244 | ArmenianSignLanguage est une instance de DeafSignLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 263-263 | AustralianAboriginesSignLanguage est une instance de DeafSignLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 249-249 | AustralianSignLanguage est une instance de DeafSignLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 275-275 | AustrianSignLanguage est une instance de DeafSignLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 288-288 | BaliSignLanguage est une instance de DeafSignLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 296-296 | BamakoSignLanguage est une instance de DeafSignLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 306-306 | BanKhorSignLanguage est une instance de DeafSignLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 313-313 | BelgianSignLanguage est une instance de DeafSignLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 333-333 | BolivianSignLanguage est une instance de DeafSignLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 343-343 | BrazilianSignLanguage est une instance de DeafSignLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 355-355 | BritishSignLanguage est une instance de DeafSignLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 375-375 | BulgarianSignLanguage est une instance de DeafSignLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 388-388 | CatalonianSignLanguage est une instance de DeafSignLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 395-395 | ChadianSignLanguage est une instance de DeafSignLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 403-403 | ChiangmaiSignLanguage est une instance de DeafSignLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 413-413 | ChileanSignLanguage est une instance de DeafSignLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 418-418 | ChineseSignLanguage est une instance de DeafSignLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 430-430 | ColombianSignLanguage est une instance de DeafSignLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 444-444 | CostaRicanSignLanguage est une instance de DeafSignLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 450-450 | CzechSignLanguage est une instance de DeafSignLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 463-463 | DanishSignLanguage est une instance de DeafSignLanguage |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|