|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 478-478 | Dominican sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 485-485 | Dutch sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 497-497 | Ecuadorian sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 505-505 | Estonian sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 527-527 | Ethiopian sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 535-535 | Finnish sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 549-549 | French sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 568-568 | German sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 579-579 | Ghanaian sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 591-591 | Greek sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 597-597 | Guatemalan sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 602-602 | Guinean sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 610-610 | Haiphong sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 616-616 | Hanoi sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 622-622 | Hausa sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 627-627 | Hawaii pidgin sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 638-638 | Ho chi minh city sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 644-644 | Hungarian sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 656-656 | Icelandic sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 666-666 | Indian sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 690-690 | Indonesian sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 697-697 | Irish sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 712-712 | Israeli sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 727-727 | Italian sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 736-736 | Jamaican sign language is an instance of deaf sign language |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners