| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8661-8662 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8660-8660 | Central zone indo aryan language is a subclass of indo aryan language |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8717-8717 | Dangaura tharu language is an instance of central zone indo aryan language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8751-8751 | Kathoriya tharu language is an instance of central zone indo aryan language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8763-8763 | Parya language is an instance of central zone indo aryan language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8786-8786 | Sonha language is an instance of central zone indo aryan language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8666-8666 | Bhil language is a subclass of central zone indo aryan language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8672-8672 | Dom language is a subclass of central zone indo aryan language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8678-8678 | Gujarati group language is a subclass of central zone indo aryan language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8685-8685 | Khandesi language is a subclass of central zone indo aryan language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8691-8691 | Panjabi group language is a subclass of central zone indo aryan language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8697-8697 | Rajasthani group language is a subclass of central zone indo aryan language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8704-8704 | Romani group language is a subclass of central zone indo aryan language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8710-8710 | Western hindi group language is a subclass of central zone indo aryan language |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13908-13908 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13907-13907 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13906-13906 |
|
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