|
| No TPTP formula. May not be expressible in strict first order. | Military.kif 597-597 | US military rank special is a subattribute of soldier |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 628-628 | US military rankW o1 is a subattribute of soldier |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 638-638 | US military rankW o2 is a subattribute of soldier |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 648-648 | US military rankW o3 is a subattribute of soldier |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 658-658 | US military rankW o4 is a subattribute of soldier |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 668-668 | US military rankW o5 is a subattribute of soldier |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 231-231 | US revolutionary war soldier is a subattribute of soldier |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53840-53840 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53839-53839 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53838-53838 |
|
|
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