| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8334-8335 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8333-8333 | 子類 低撒克遜群體語言 and 低撒克遜低法蘭克語 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8338-8338 | 例 achterhoeks語言 and 低撒克遜群體語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8346-8346 | 例 drents語言 and 低撒克遜群體語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8355-8355 | 例 東方語言 and 低撒克遜群體語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8363-8363 | 例 gronings語言 and 低撒克遜群體語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8373-8373 | 例 低撒克遜語 and 低撒克遜群體語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8403-8403 | 例 北方veluws語言 and 低撒克遜群體語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8410-8410 | 例 plautdietsch語言 and 低撒克遜群體語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8463-8463 | 例 sallands語言 and 低撒克遜群體語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8471-8471 | 例 stellingwerfs語言 and 低撒克遜群體語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8480-8480 | 例 twents語言 and 低撒克遜群體語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8488-8488 | 例 veenkoloniaal語言 and 低撒克遜群體語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8495-8495 | 例 韋斯特沃爾德語 and 低撒克遜群體語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8502-8502 | 例 威斯特伐利亞語 and 低撒克遜群體語言 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35213-35213 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35212-35212 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35211-35211 |
|
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