| 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 | Deaf sign language is a subclass of manual human language |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 163-163 | Adamorobe sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 175-175 | Algerian sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 181-181 | American sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 232-232 | Argentine sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 244-244 | Armenian sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 263-263 | Australian aborigines sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 249-249 | Australian sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 275-275 | Austrian sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 288-288 | Bali sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 296-296 | Bamako sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 306-306 | Ban khor sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 313-313 | Belgian sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 333-333 | Bolivian sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 343-343 | Brazilian sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 355-355 | British sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 375-375 | Bulgarian sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 388-388 | Catalonian sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 395-395 | Chadian sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 403-403 | Chiangmai sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 413-413 | Chilean sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 418-418 | Chinese sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 430-430 | Colombian sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 444-444 | Costa rican sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 450-450 | Czech sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 463-463 | Danish 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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