|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 126-126 | Morocco est une partie de Africa |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 753-753 | NashvilleTennessee est une partie de Tennessee |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 30-30 | NewEngland est une partie de UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1034-1034 | NewHampshire est une partie de NewEngland |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 55-55 | Paris est une partie de France |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 763-763 | PhiladelphiaPennsylvania est une partie de Pennsylvania |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 766-766 | PittsburghPennsylvania est une partie de Pennsylvania |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1160-1160 | PuertoRico est une partie de UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4242-4242 | RedRiver est une partie de MississippiRiver |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4243-4243 | RedRiver est une partie de UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1092-1092 | RhodeIsland est une partie de NewEngland |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1328-1328 | Rhodes est une partie de Greece |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 783-783 | SaintLouisMissouri est une partie de Missouri |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 791-791 | SanFranciscoCalifornia est une partie de California |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 795-795 | SavannahGeorgia est une partie de Georgia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 799-799 | Scotland est une partie de UnitedKingdom |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2592-2592 | SvalbardAndJanMayenIsland est une partie de Norway |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4816-4816 | UnitedStatesHouseOfRepresentatives est une partie de UnitedStatesCongress |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4823-4823 | UnitedStatesSenate est une partie de UnitedStatesCongress |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1124-1124 | Vermont est une partie de NewEngland |
|
|
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