|
| No TPTP formula. May not be expressible in strict first order. | Military.kif 568-568 | USMilitaryRankO8 est un attribut successeur imm�diat de USMilitaryRankO9 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 581-581 | USMilitaryRankO9 est un attribut successeur imm�diat de USMilitaryRankO10 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 634-634 | USMilitaryRankWO1 est un attribut successeur imm�diat de USMilitaryRankWO2 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 644-644 | USMilitaryRankWO2 est un attribut successeur imm�diat de USMilitaryRankWO3 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 654-654 | USMilitaryRankWO3 est un attribut successeur imm�diat de USMilitaryRankWO4 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 664-664 | USMilitaryRankWO4 est un attribut successeur imm�diat de USMilitaryRankWO5 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 428-428 | UpperMiddleIncomeCountry est un attribut successeur imm�diat de HighIncomeCountry |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25708-25708 | WarmTemperature est un attribut successeur imm�diat de HotTemperature |
|
|
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