|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1467-1467 | 例 VarianceFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1728-1728 | 例 表決 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7812-7812 | 例 財富 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14807-14807 | 例 WeekAfterFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14814-14814 | 例 WeekBeforeFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8488-8488 | 例 何時 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8575-8575 | 例 年 and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1997-1997 | 子類 InfectionFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3369-3369 | 子類 OneToOneFunction and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6447-6447 | 子類 UnitOfMeasureMultiplier and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 917-917 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1041-1041 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 593-593 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 123-123 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 126-126 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2278-2278 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 545-545 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 160-160 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 614-614 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 127-127 |
|
|
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