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