| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 10199-10200 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 10198-10198 | West iberian language is a subclass of ibero romance language |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 10204-10204 | Asturo leonese language is a subclass of west iberian language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 10269-10269 | Castilian language is a subclass of west iberian language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 10448-10448 | Portuguese galician language is a subclass of west iberian language |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62871-62871 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62870-62870 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62869-62869 |
|
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