| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3766-3768 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3765-3765 | Unclassified spoken language is a subclass of spoken human language |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3771-3771 | Aariya language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3777-3777 | Abishira language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3786-3786 | Agavotaguerra language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3794-3794 | Aguano language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3806-3806 | Amerax language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3814-3814 | Amikoana language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3820-3820 | Andh language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3830-3830 | Beothuk language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3838-3838 | Betaf language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3845-3845 | Bete language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3855-3855 | Bhatola language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3861-3861 | Bung language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3868-3868 | Cagua language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3874-3874 | Callawalla language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3888-3888 | Candoshi shapra language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3900-3900 | Canichana language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3908-3908 | Carabayo language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3917-3917 | Centuum language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3925-3925 | Chak language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3936-3936 | Chipiajes language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3942-3942 | Cholon language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3950-3950 | Coxima language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3956-3956 | Doso language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3964-3964 | Gail language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3975-3975 | Haitian vodoun culture language is an instance of unclassified spoken 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