|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14781-14781 | "lv" in ISO-639-1 denotes latvian language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14870-14870 | "mg" in ISO-639-1 denotes Malagasy language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14866-14866 | "mh" in ISO-639-1 denotes Marshallese language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14732-14732 | "mi" in ISO-639-1 denotes Maori language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14783-14783 | "mk" in ISO-639-1 denotes macedonian language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14867-14867 | "ml" in ISO-639-1 denotes Malayalam language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14873-14873 | "mn" in ISO-639-1 denotes Mongolian language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14872-14872 | "mo" in ISO-639-1 denotes Moldovan language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14868-14868 | "mr" in ISO-639-1 denotes Marathi language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14869-14869 | "ms" in ISO-639-1 denotes Malay language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14871-14871 | "mt" in ISO-639-1 denotes Maltese language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14819-14819 | "my" in ISO-639-1 denotes Burmese language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14874-14874 | "na" in ISO-639-1 denotes Nauruan language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14736-14736 | "nb" in ISO-639-1 denotes bokmal norwegian language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14733-14733 | "nd" in ISO-639-1 denotes Northern Ndebele language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14877-14877 | "ne" in ISO-639-1 denotes Nepali language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14876-14876 | "ng" in ISO-639-1 denotes Ndonga language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14723-14723 | "nl" in ISO-639-1 denotes dutch language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14735-14735 | "nn" in ISO-639-1 denotes Nynorsk Norwegian language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14737-14737 | "no" in ISO-639-1 denotes Norwegian language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14734-14734 | "nr" in ISO-639-1 denotes Southern Ndebele language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14875-14875 | "nv" in ISO-639-1 denotes Navajo language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14738-14738 | "ny" in ISO-639-1 denotes Chichewa language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14784-14784 | "oc" in ISO-639-1 denotes provencal language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14878-14878 | "oj" in ISO-639-1 denotes Anishinaabe language |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
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