|
| No TPTP formula. May not be expressible in strict first order. | Military.kif 674-674 | US military rank special is a subattribute of soldier |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 705-705 | US military rankW o1 is a subattribute of soldier |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 715-715 | US military rankW o2 is a subattribute of soldier |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 725-725 | US military rankW o3 is a subattribute of soldier |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 735-735 | US military rankW o4 is a subattribute of soldier |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 745-745 | US military rankW o5 is a subattribute of soldier |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 308-308 | US revolutionary war soldier is a subattribute of soldier |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53862-53862 | US revolutionary war soldier is a subattribute of soldier |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53861-53861 | US revolutionary war soldier is a subattribute of soldier |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53860-53860 | US revolutionary war soldier is a subattribute of soldier |
|
|
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