|
|
  IsraeliSignLanguage
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 713-725 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 712-712 | 以色列手语 是 聋人手语 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31195-31195 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31194-31194 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31193-31193 |
|
|
|