|
| No TPTP formula. May not be expressible in strict first order. | Military.kif 597-597 | USMilitaryRankSpecial est un sous-attribut de Soldier |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 628-628 | USMilitaryRankWO1 est un sous-attribut de Soldier |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 638-638 | USMilitaryRankWO2 est un sous-attribut de Soldier |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 648-648 | USMilitaryRankWO3 est un sous-attribut de Soldier |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 658-658 | USMilitaryRankWO4 est un sous-attribut de Soldier |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 668-668 | USMilitaryRankWO5 est un sous-attribut de Soldier |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 231-231 | USRevolutionaryWarSoldier est un sous-attribut de Soldier |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53858-53858 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53857-53857 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53856-53856 |
|
|
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