Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Duplicate top-level statements (axioms) #209

Open
nordlow opened this issue Jan 22, 2020 · 3 comments
Open

Duplicate top-level statements (axioms) #209

nordlow opened this issue Jan 22, 2020 · 3 comments

Comments

@nordlow
Copy link
Contributor

nordlow commented Jan 22, 2020 •
edited
Loading

Here's the complete list of duplicate definitions along with links to the original definition. Formatted in GNU-style diagnostics format.

Copy to a file in SUMO root directory and open in, for instance, Emacs and enter compilation-mode to make the FILE:LINE:COLUMN tags clickable:

sumo/Food.kif:17:1: warning: redefinition of `CookedAttribute`
sumo/Mid-level-ontology.kif:19264:1: note: instance `CookedAttribute previously defined here
sumo/Food.kif:29:1: warning: redefinition of `RawAttribute`
sumo/Mid-level-ontology.kif:19276:1: note: instance `RawAttribute previously defined here
sumo/Transportation.kif:2480:1: warning: redefinition of `Kayak`
sumo/Sports.kif:166:1: note: subclass `Kayak previously defined here
sumo/mappings/DHS_Taxonomy.kif:38:1: warning: redefinition of `ClassificationScheme`
sumo/Mid-level-ontology.kif:20660:1: note: subclass `ClassificationScheme previously defined here
sumo/mappings/DHS_Taxonomy.kif:43:1: warning: redefinition of `Taxonomy`
sumo/Mid-level-ontology.kif:20665:1: note: subclass `Taxonomy previously defined here
sumo/mappings/DHS_Taxonomy.kif:55:1: warning: redefinition of `Ontology`
sumo/Mid-level-ontology.kif:20686:1: note: subclass `Ontology previously defined here
sumo/mappings/DHS_Taxonomy.kif:560:1: warning: redefinition of `ServiceProcess`
sumo/Merge.kif:11042:1: note: subclass `ServiceProcess previously defined here
sumo/mappings/DHS_Taxonomy.kif:566:1: warning: redefinition of `CommercialService`
sumo/Merge.kif:11053:1: note: subclass `CommercialService previously defined here
sumo/Cars.kif:4889:1: warning: redefinition of `FordAutomobile`
sumo/SimpleFacts/CarBrands.kif:2370:1: note: subclass `FordAutomobile previously defined here
sumo/Cars.kif:4946:1: warning: redefinition of `ChevroletAutomobile`
sumo/SimpleFacts/CarBrands.kif:2184:1: note: subclass `ChevroletAutomobile previously defined here
sumo/CCTrep.kif:5:1: warning: redefinition of `CodingScheme`
sumo/QoSontology.kif:2170:1: note: subclass `CodingScheme previously defined here
sumo/CCTrep.kif:81:1: warning: redefinition of `MimeEncodingScheme`
sumo/QoSontology.kif:2238:1: note: subclass `MimeEncodingScheme previously defined here
sumo/CCTrep.kif:85:1: warning: redefinition of `MimeText`
sumo/QoSontology.kif:2242:1: note: subclass `MimeText previously defined here
sumo/CCTrep.kif:86:1: warning: redefinition of `MimeEnrichedText`
sumo/QoSontology.kif:2243:1: note: subclass `MimeEnrichedText previously defined here
sumo/CCTrep.kif:89:1: warning: redefinition of `MimeImage`
sumo/QoSontology.kif:2246:1: note: subclass `MimeImage previously defined here
sumo/CCTrep.kif:90:1: warning: redefinition of `MimeAudio`
sumo/QoSontology.kif:2247:1: note: subclass `MimeAudio previously defined here
sumo/CCTrep.kif:91:1: warning: redefinition of `MimeVideo`
sumo/QoSontology.kif:2248:1: note: subclass `MimeVideo previously defined here
sumo/CCTrep.kif:92:1: warning: redefinition of `MimeApplication`
sumo/QoSontology.kif:2249:1: note: subclass `MimeApplication previously defined here
sumo/CCTrep.kif:93:1: warning: redefinition of `MimeMessage`
sumo/QoSontology.kif:2250:1: note: subclass `MimeMessage previously defined here
sumo/CCTrep.kif:94:1: warning: redefinition of `MimeMultipart`
sumo/QoSontology.kif:2251:1: note: subclass `MimeMultipart previously defined here
sumo/CCTrep.kif:108:1: warning: redefinition of `EncodingProcedure`
sumo/QoSontology.kif:2260:1: note: subclass `EncodingProcedure previously defined here
sumo/Government.kif:4758:1: warning: redefinition of `DepartmentOfHomelandSecurity`
sumo/mappings/DHS_Taxonomy.kif:88:1: note: instance `DepartmentOfHomelandSecurity previously defined here
sumo/emotion.kif:824:1: warning: redefinition of `Happiness`
sumo/Mid-level-ontology.kif:17066:1: note: instance `Happiness previously defined here
sumo/emotion.kif:920:1: warning: redefinition of `Surprise`
sumo/Mid-level-ontology.kif:17126:1: note: instance `Surprise previously defined here
sumo/CountriesAndRegions.kif:3854:1: warning: redefinition of `USVirginIslands`
sumo/Media.kif:2570:1: note: instance `USVirginIslands previously defined here
sumo/HouseholdAppliances.kif:214:1: warning: redefinition of `HairDryer`
sumo/Mid-level-ontology.kif:23284:1: note: subclass `HairDryer previously defined here
sumo/HouseholdAppliances.kif:653:1: warning: redefinition of `ClothesWashingMachine`
sumo/Mid-level-ontology.kif:23281:1: note: subclass `ClothesWashingMachine previously defined here
sumo/HouseholdAppliances.kif:1079:1: warning: redefinition of `AirConditioner`
sumo/Mid-level-ontology.kif:23987:1: note: subclass `AirConditioner previously defined here
sumo/HouseholdAppliances.kif:1235:1: warning: redefinition of `UnitOfFrequency`
sumo/Merge.kif:6509:1: note: subclass `UnitOfFrequency previously defined here
sumo/Dining.kif:153:1: warning: redefinition of `OutdoorDiningArea`
sumo/mappings/HotelDetail.kif:326:1: note: subclass `OutdoorDiningArea previously defined here
sumo/development/NIEM-Scenario-Concepts.kif:31:1: warning: redefinition of `USCustomsAndBorderProtection`
sumo/Government.kif:4728:1: note: instance `USCustomsAndBorderProtection previously defined here
sumo/development/NIEM-Scenario-Concepts.kif:41:1: warning: redefinition of `USCustomsAndBorderProtection`
sumo/Government.kif:4738:1: note: instance `USCustomsAndBorderProtection previously defined here
sumo/development/NIEM-Scenario-Concepts.kif:126:1: warning: redefinition of `AchievingControl`
sumo/Mid-level-ontology.kif:21341:1: note: subclass `AchievingControl previously defined here
sumo/development/NIEM-Scenario-Concepts.kif:149:1: warning: redefinition of `ChangeOfControl`
sumo/Mid-level-ontology.kif:21363:1: note: subclass `ChangeOfControl previously defined here
sumo/development/NIEM-Scenario-Concepts.kif:163:1: warning: redefinition of `Capturing`
sumo/Mid-level-ontology.kif:21377:1: note: subclass `Capturing previously defined here
sumo/development/NIEM-Scenario-Concepts.kif:174:1: warning: redefinition of `PlacingUnderArrest`
sumo/Mid-level-ontology.kif:21388:1: note: subclass `PlacingUnderArrest previously defined here
sumo/development/NIEM-Scenario-Concepts.kif:175:1: warning: redefinition of `PlacingUnderArrest`
sumo/Mid-level-ontology.kif:21389:1: note: subclass `PlacingUnderArrest previously defined here
sumo/development/NIEM-Scenario-Concepts.kif:180:1: warning: redefinition of `PlacingUnderArrest`
sumo/Mid-level-ontology.kif:21394:1: note: subclass `PlacingUnderArrest previously defined here
sumo/development/NIEM-Scenario-Concepts.kif:181:1: warning: redefinition of `PlacingUnderArrest`
sumo/Mid-level-ontology.kif:21395:1: note: subclass `PlacingUnderArrest previously defined here
sumo/development/NIEM-Scenario-Concepts.kif:252:1: warning: redefinition of `TransportViaRoadVehicle`
sumo/Mid-level-ontology.kif:15382:1: note: subclass `TransportViaRoadVehicle previously defined here
sumo/development/NIEM-Scenario-Concepts.kif:253:1: warning: redefinition of `TransportViaRoadVehicle`
sumo/Mid-level-ontology.kif:15383:1: note: subclass `TransportViaRoadVehicle previously defined here
sumo/development/Society.kif:463:1: warning: redefinition of `BookStore`
sumo/Media.kif:1668:1: note: subclass `BookStore previously defined here
sumo/development/Society.kif:643:1: warning: redefinition of `Microwave`
sumo/Mid-level-ontology.kif:23320:1: note: subclass `Microwave previously defined here
sumo/development/Society.kif:646:1: warning: redefinition of `Oven`
sumo/Mid-level-ontology.kif:2773:1: note: subclass `Oven previously defined here
sumo/development/Society.kif:665:1: warning: redefinition of `ClothesWashingMachine`
sumo/Mid-level-ontology.kif:23281:1: note: subclass `ClothesWashingMachine previously defined here
sumo/development/Society.kif:669:1: warning: redefinition of `Dishwasher`
sumo/HouseholdAppliances.kif:620:1: note: subclass `Dishwasher previously defined here
sumo/development/Society.kif:672:1: warning: redefinition of `ClothesDryer`
sumo/Mid-level-ontology.kif:23279:1: note: subclass `ClothesDryer previously defined here
sumo/development/Society.kif:745:1: warning: redefinition of `FoodProcessor`
sumo/HouseholdAppliances.kif:889:1: note: subclass `FoodProcessor previously defined here
sumo/development/Society.kif:919:1: warning: redefinition of `ElectricKettle`
sumo/HouseholdAppliances.kif:920:1: note: subclass `ElectricKettle previously defined here
sumo/development/Society.kif:1084:1: warning: redefinition of `Cheese`
sumo/Food.kif:771:1: note: subclass `Cheese previously defined here
sumo/development/Biography.kif:87:1: warning: redefinition of `Coronation`
sumo/Government.kif:1325:1: note: subclass `Coronation previously defined here
sumo/development/Biography.kif:88:1: warning: redefinition of `Coronation`
sumo/Government.kif:1326:1: note: subclass `Coronation previously defined here
sumo/development/Biography.kif:334:1: warning: redefinition of `ActuaryScience`
sumo/Mid-level-ontology.kif:18834:1: note: instance `ActuaryScience previously defined here
sumo/development/Biography.kif:344:1: warning: redefinition of `Astronomy`
sumo/Mid-level-ontology.kif:18885:1: note: instance `Astronomy previously defined here
sumo/development/Biography.kif:347:1: warning: redefinition of `Cartography`
sumo/Mid-level-ontology.kif:18898:1: note: instance `Cartography previously defined here
sumo/development/Biography.kif:349:1: warning: redefinition of `ComputerScience`
sumo/Mid-level-ontology.kif:18888:1: note: instance `ComputerScience previously defined here
sumo/development/Biography.kif:351:1: warning: redefinition of `Geography`
sumo/Mid-level-ontology.kif:18894:1: note: instance `Geography previously defined here
sumo/development/Biography.kif:353:1: warning: redefinition of `Geology`
sumo/Mid-level-ontology.kif:18901:1: note: instance `Geology previously defined here
sumo/development/Biography.kif:355:1: warning: redefinition of `LibraryScience`
sumo/Mid-level-ontology.kif:18904:1: note: instance `LibraryScience previously defined here
sumo/development/Biography.kif:359:1: warning: redefinition of `Sociology`
sumo/Mid-level-ontology.kif:18957:1: note: instance `Sociology previously defined here
sumo/development/Biography.kif:361:1: warning: redefinition of `Statistics`
sumo/Mid-level-ontology.kif:18960:1: note: instance `Statistics previously defined here
sumo/development/Biography.kif:369:1: warning: redefinition of `Paleontology`
sumo/Mid-level-ontology.kif:18947:1: note: instance `Paleontology previously defined here
sumo/development/Biography.kif:372:1: warning: redefinition of `Actuary`
sumo/Biography.kif:119:1: note: instance `Actuary previously defined here
sumo/development/Biography.kif:374:1: warning: redefinition of `Anthropologist`
sumo/Biography.kif:127:1: note: instance `Anthropologist previously defined here
sumo/development/Biography.kif:379:1: warning: redefinition of `Architect`
sumo/Biography.kif:143:1: note: instance `Architect previously defined here
sumo/development/Biography.kif:381:1: warning: redefinition of `Astronomer`
sumo/Biography.kif:150:1: note: instance `Astronomer previously defined here
sumo/development/Biography.kif:383:1: warning: redefinition of `Biologist`
sumo/Biography.kif:159:1: note: instance `Biologist previously defined here
sumo/development/Biography.kif:385:1: warning: redefinition of `Chemist`
sumo/Biography.kif:167:1: note: instance `Chemist previously defined here
sumo/development/Biography.kif:387:1: warning: redefinition of `Economist`
sumo/Biography.kif:183:1: note: instance `Economist previously defined here
sumo/development/Biography.kif:391:1: warning: redefinition of `Engineer`
sumo/Biography.kif:191:1: note: instance `Engineer previously defined here
sumo/development/Biography.kif:395:1: warning: redefinition of `Geographer`
sumo/Biography.kif:234:1: note: instance `Geographer previously defined here
sumo/development/Biography.kif:397:1: warning: redefinition of `Geologist`
sumo/Biography.kif:242:1: note: instance `Geologist previously defined here
sumo/development/Biography.kif:399:1: warning: redefinition of `Historian`
sumo/Biography.kif:250:1: note: instance `Historian previously defined here
sumo/development/Biography.kif:401:1: warning: redefinition of `Linguist`
sumo/Biography.kif:257:1: note: instance `Linguist previously defined here
sumo/development/Biography.kif:403:1: warning: redefinition of `Mathematician`
sumo/Biography.kif:265:1: note: instance `Mathematician previously defined here
sumo/development/Biography.kif:405:1: warning: redefinition of `MedicalResearcher`
sumo/Biography.kif:272:1: note: instance `MedicalResearcher previously defined here
sumo/development/Biography.kif:407:1: warning: redefinition of `Paleontologist`
sumo/Biography.kif:282:1: note: instance `Paleontologist previously defined here
sumo/development/Biography.kif:409:1: warning: redefinition of `Philosopher`
sumo/Biography.kif:290:1: note: instance `Philosopher previously defined here
sumo/development/Biography.kif:411:1: warning: redefinition of `Psychologist`
sumo/Biography.kif:298:1: note: instance `Psychologist previously defined here
sumo/development/Biography.kif:413:1: warning: redefinition of `Physicist`
sumo/Biography.kif:306:1: note: instance `Physicist previously defined here
sumo/development/Biography.kif:415:1: warning: redefinition of `PoliticalScientist`
sumo/Biography.kif:314:1: note: instance `PoliticalScientist previously defined here
sumo/development/Biography.kif:417:1: warning: redefinition of `Librarian`
sumo/Biography.kif:322:1: note: instance `Librarian previously defined here
sumo/development/Biography.kif:419:1: warning: redefinition of `RegisteredNurse`
sumo/Biography.kif:330:1: note: instance `RegisteredNurse previously defined here
sumo/development/Biography.kif:421:1: warning: redefinition of `Scientist`
sumo/Biography.kif:113:1: note: instance `Scientist previously defined here
sumo/development/Biography.kif:425:1: warning: redefinition of `Sociologist`
sumo/Biography.kif:337:1: note: instance `Sociologist previously defined here
sumo/development/Biography.kif:427:1: warning: redefinition of `Statistician`
sumo/Biography.kif:345:1: note: instance `Statistician previously defined here
sumo/development/Biography.kif:429:1: warning: redefinition of `Theologian`
sumo/Biography.kif:352:1: note: instance `Theologian previously defined here
sumo/development/Biography.kif:431:1: warning: redefinition of `Veterinarian`
sumo/Biography.kif:359:1: note: instance `Veterinarian previously defined here
sumo/development/Biography.kif:433:1: warning: redefinition of `Zoologist`
sumo/Biography.kif:367:1: note: instance `Zoologist previously defined here
sumo/development/Biography.kif:435:1: warning: redefinition of `Botanist`
sumo/Biography.kif:375:1: note: instance `Botanist previously defined here
sumo/development/Biography.kif:440:1: warning: redefinition of `PrivateDetective`
sumo/Mid-level-ontology.kif:18632:1: note: instance `PrivateDetective previously defined here
sumo/development/Biography.kif:444:1: warning: redefinition of `Lawyer`
sumo/Mid-level-ontology.kif:18637:1: note: instance `Lawyer previously defined here
sumo/development/Biography.kif:760:1: warning: redefinition of `ArtisticOccupation`
sumo/Biography.kif:431:1: note: subclass `ArtisticOccupation previously defined here
sumo/development/Biography.kif:767:1: warning: redefinition of `Musician`
sumo/Mid-level-ontology.kif:20010:1: note: subclass `Musician previously defined here
sumo/development/Biography.kif:1089:1: warning: redefinition of `Pope`
sumo/People.kif:1289:1: note: instance `Pope previously defined here
sumo/development/Biography.kif:1103:1: warning: redefinition of `Rabbi`
sumo/People.kif:1434:1: note: instance `Rabbi previously defined here
sumo/development/Biography.kif:1106:1: warning: redefinition of `Ayatollah`
sumo/People.kif:1383:1: note: instance `Ayatollah previously defined here
sumo/development/Biography.kif:1108:1: warning: redefinition of `Abbot`
sumo/People.kif:1211:1: note: instance `Abbot previously defined here
sumo/development/Biography.kif:1113:1: warning: redefinition of `Monk`
sumo/People.kif:682:1: note: instance `Monk previously defined here
sumo/development/Biography.kif:1115:1: warning: redefinition of `Bishop`
sumo/People.kif:828:1: note: instance `Bishop previously defined here
sumo/development/Biography.kif:1117:1: warning: redefinition of `Cardinal`
sumo/People.kif:1296:1: note: instance `Cardinal previously defined here
sumo/development/Biography.kif:1120:1: warning: redefinition of `Chaplain`
sumo/People.kif:1135:1: note: instance `Chaplain previously defined here
sumo/development/Biography.kif:1125:1: warning: redefinition of `Chapel`
sumo/People.kif:1131:1: note: subclass `Chapel previously defined here
sumo/development/Biography.kif:1128:1: warning: redefinition of `ChurchBuilding`
sumo/People.kif:824:1: note: subclass `ChurchBuilding previously defined here
sumo/development/Biography.kif:1131:1: warning: redefinition of `Mosque`
sumo/People.kif:1336:1: note: subclass `Mosque previously defined here
sumo/development/Biography.kif:1133:1: warning: redefinition of `Synagogue`
sumo/People.kif:1437:1: note: subclass `Synagogue previously defined here
sumo/development/Biography.kif:1577:1: warning: redefinition of `Sculpting`
sumo/Mid-level-ontology.kif:3810:1: note: subclass `Sculpting previously defined here
sumo/development/Biography.kif:1582:1: warning: redefinition of `Designing`
sumo/Merge.kif:10104:1: note: subclass `Designing previously defined here
sumo/development/Biography.kif:1584:1: warning: redefinition of `GraphicDesigning`
sumo/Mid-level-ontology.kif:3824:1: note: subclass `GraphicDesigning previously defined here
sumo/development/Biography.kif:1593:1: warning: redefinition of `ArtMuseum`
sumo/Mid-level-ontology.kif:8223:1: note: subclass `ArtMuseum previously defined here
sumo/development/Biography.kif:1617:1: warning: redefinition of `Criminal`
sumo/Justice.kif:84:1: note: instance `Criminal previously defined here
sumo/development/Biography.kif:1693:1: warning: redefinition of `Pilot`
sumo/Biography.kif:393:1: note: instance `Pilot previously defined here
sumo/development/Biography.kif:1707:1: warning: redefinition of `Admiral`
sumo/Mid-level-ontology.kif:16796:1: note: instance `Admiral previously defined here
sumo/development/Biography.kif:1711:1: warning: redefinition of `Major`
sumo/Mid-level-ontology.kif:16800:1: note: instance `Major previously defined here
sumo/development/Biography.kif:1856:1: warning: redefinition of `ReligiousFuneral`
sumo/Mid-level-ontology.kif:13679:1: note: subclass `ReligiousFuneral previously defined here
sumo/development/Biography.kif:1857:1: warning: redefinition of `ReligiousFuneral`
sumo/Mid-level-ontology.kif:13680:1: note: subclass `ReligiousFuneral previously defined here
sumo/development/Biography.kif:1884:1: warning: redefinition of `SpectralColor`
sumo/Mid-level-ontology.kif:17152:1: note: subclass `SpectralColor previously defined here
sumo/development/Biography.kif:1888:1: warning: redefinition of `VioletColor`
sumo/Mid-level-ontology.kif:17175:1: note: instance `VioletColor previously defined here
sumo/development/Biography.kif:2033:1: warning: redefinition of `Waist`
sumo/Mid-level-ontology.kif:10467:1: note: subclass `Waist previously defined here
sumo/development/Biography.kif:2039:1: warning: redefinition of `Bust`
sumo/Mid-level-ontology.kif:10489:1: note: subclass `Bust previously defined here
sumo/development/TravelPolicies.kif:134:1: warning: redefinition of `Policy`
sumo/Mid-level-ontology.kif:25439:1: note: subclass `Policy previously defined here
sumo/development/TravelPolicies.kif:323:1: warning: redefinition of `organizationRepresentative`
sumo/development/Biography.kif:736:1: note: instance `organizationRepresentative previously defined here
sumo/development/emotion.kif:48:1: warning: redefinition of `AppraisalProcess`
sumo/emotion.kif:48:1: note: subclass `AppraisalProcess previously defined here
sumo/development/emotion.kif:66:1: warning: redefinition of `SubjectiveEmotionalFeeling`
sumo/emotion.kif:73:1: note: subclass `SubjectiveEmotionalFeeling previously defined here
sumo/development/emotion.kif:70:1: warning: redefinition of `Appraisal`
sumo/emotion.kif:79:1: note: subclass `Appraisal previously defined here
sumo/development/emotion.kif:74:1: warning: redefinition of `EmotionalSpeakingBehavior`
sumo/emotion.kif:86:1: note: subclass `EmotionalSpeakingBehavior previously defined here
sumo/development/emotion.kif:75:1: warning: redefinition of `EmotionalSpeakingBehavior`
sumo/emotion.kif:87:1: note: subclass `EmotionalSpeakingBehavior previously defined here
sumo/development/emotion.kif:79:1: warning: redefinition of `EmotionalVoiceUtterances`
sumo/emotion.kif:97:1: note: subclass `EmotionalVoiceUtterances previously defined here
sumo/development/emotion.kif:93:1: warning: redefinition of `EmotionalBehavioralProcess`
sumo/emotion.kif:117:1: note: subclass `EmotionalBehavioralProcess previously defined here
sumo/development/emotion.kif:182:1: warning: redefinition of `AppraisalOfGoalImportance`
sumo/emotion.kif:209:1: note: subclass `AppraisalOfGoalImportance previously defined here
sumo/development/emotion.kif:186:1: warning: redefinition of `EvaluationAsImportantToGoals`
sumo/emotion.kif:216:1: note: instance `EvaluationAsImportantToGoals previously defined here
sumo/development/emotion.kif:192:1: warning: redefinition of `EvaluationAsNotImportantToGoals`
sumo/emotion.kif:228:1: note: instance `EvaluationAsNotImportantToGoals previously defined here
sumo/development/emotion.kif:199:1: warning: redefinition of `AppraisalOfPredictability`
sumo/emotion.kif:239:1: note: subclass `AppraisalOfPredictability previously defined here
sumo/development/emotion.kif:204:1: warning: redefinition of `AppraisalAsPredictable`
sumo/emotion.kif:246:1: note: instance `AppraisalAsPredictable previously defined here
sumo/development/emotion.kif:210:1: warning: redefinition of `AppraisalAsNotPredictable`
sumo/emotion.kif:256:1: note: instance `AppraisalAsNotPredictable previously defined here
sumo/development/emotion.kif:216:1: warning: redefinition of `AppraisalOfLoss`
sumo/emotion.kif:275:1: note: subclass `AppraisalOfLoss previously defined here
sumo/development/emotion.kif:221:1: warning: redefinition of `AppraisalOfAvoidabilityOfConsequences`
sumo/emotion.kif:281:1: note: subclass `AppraisalOfAvoidabilityOfConsequences previously defined here
sumo/development/emotion.kif:238:1: warning: redefinition of `AppraisalOfFamiliarity`
sumo/emotion.kif:313:1: note: subclass `AppraisalOfFamiliarity previously defined here
sumo/development/emotion.kif:254:1: warning: redefinition of `AppraisalOfJusticeOfTreatment`
sumo/emotion.kif:336:1: note: subclass `AppraisalOfJusticeOfTreatment previously defined here
sumo/development/emotion.kif:306:1: warning: redefinition of `AppraisalAsDesirableConsequences`
sumo/emotion.kif:407:1: note: instance `AppraisalAsDesirableConsequences previously defined here
sumo/development/emotion.kif:312:1: warning: redefinition of `AppraisalAsUndesirableConsequences`
sumo/emotion.kif:418:1: note: instance `AppraisalAsUndesirableConsequences previously defined here
sumo/development/emotion.kif:316:1: warning: redefinition of `AppraisalOfUrgency`
sumo/emotion.kif:424:1: note: subclass `AppraisalOfUrgency previously defined here
sumo/development/emotion.kif:323:1: warning: redefinition of `AppraisalAsNotUrgentResponse`
sumo/emotion.kif:437:1: note: instance `AppraisalAsNotUrgentResponse previously defined here
sumo/development/emotion.kif:334:1: warning: redefinition of `AppraisalOfCongruenceWithIdeals`
sumo/emotion.kif:460:1: note: subclass `AppraisalOfCongruenceWithIdeals previously defined here
sumo/development/emotion.kif:337:1: warning: redefinition of `AppraisalAsCongruentWithIdeals`
sumo/emotion.kif:464:1: note: instance `AppraisalAsCongruentWithIdeals previously defined here
sumo/development/emotion.kif:342:1: warning: redefinition of `AppraisalAsNotCongruentWithIdeals`
sumo/emotion.kif:473:1: note: instance `AppraisalAsNotCongruentWithIdeals previously defined here
sumo/development/emotion.kif:351:1: warning: redefinition of `AppraisalOfPleasantness`
sumo/emotion.kif:494:1: note: subclass `AppraisalOfPleasantness previously defined here
sumo/development/emotion.kif:356:1: warning: redefinition of `AppraisalAsPleasant`
sumo/emotion.kif:501:1: note: instance `AppraisalAsPleasant previously defined here
sumo/development/emotion.kif:361:1: warning: redefinition of `AppraisalAsUnpleasant`
sumo/emotion.kif:507:1: note: instance `AppraisalAsUnpleasant previously defined here
sumo/development/emotion.kif:366:1: warning: redefinition of `AppraisalAsBeingDisliked`
sumo/emotion.kif:513:1: note: instance `AppraisalAsBeingDisliked previously defined here
sumo/development/emotion.kif:371:1: warning: redefinition of `AppraisalAsBeingLiked`
sumo/emotion.kif:521:1: note: instance `AppraisalAsBeingLiked previously defined here
sumo/development/emotion.kif:374:1: warning: redefinition of `AppraisalOfExpectedness`
sumo/emotion.kif:524:1: note: subclass `AppraisalOfExpectedness previously defined here
sumo/development/emotion.kif:382:1: warning: redefinition of `AppraisalAsExpected`
sumo/emotion.kif:536:1: note: subclass `AppraisalAsExpected previously defined here
sumo/development/emotion.kif:386:1: warning: redefinition of `AppraisalAsNotExpected`
sumo/emotion.kif:542:1: note: instance `AppraisalAsNotExpected previously defined here
sumo/development/emotion.kif:390:1: warning: redefinition of `AppraisalOfDangerousness`
sumo/emotion.kif:546:1: note: subclass `AppraisalOfDangerousness previously defined here
sumo/development/emotion.kif:398:1: warning: redefinition of `AppraisalAsNotDangerous`
sumo/emotion.kif:561:1: note: instance `AppraisalAsNotDangerous previously defined here
sumo/development/emotion.kif:403:1: warning: redefinition of `AppraisalAsDangerous`
sumo/emotion.kif:568:1: note: instance `AppraisalAsDangerous previously defined here
sumo/development/emotion.kif:407:1: warning: redefinition of `AppraisalOfSuddenness`
sumo/emotion.kif:573:1: note: subclass `AppraisalOfSuddenness previously defined here
sumo/development/emotion.kif:412:1: warning: redefinition of `AppraisalAsSudden`
sumo/emotion.kif:580:1: note: instance `AppraisalAsSudden previously defined here
sumo/development/emotion.kif:418:1: warning: redefinition of `AppraisalAsNotSudden`
sumo/emotion.kif:587:1: note: instance `AppraisalAsNotSudden previously defined here
sumo/development/emotion.kif:422:1: warning: redefinition of `AppraisalOfCausalAgency`
sumo/emotion.kif:591:1: note: subclass `AppraisalOfCausalAgency previously defined here
sumo/development/emotion.kif:428:1: warning: redefinition of `AppraisalAsCausedByAnother`
sumo/emotion.kif:602:1: note: instance `AppraisalAsCausedByAnother previously defined here
sumo/development/emotion.kif:434:1: warning: redefinition of `AppraisalAsCausedSupernaturally`
sumo/emotion.kif:613:1: note: instance `AppraisalAsCausedSupernaturally previously defined here
sumo/development/emotion.kif:440:1: warning: redefinition of `AppraisalAsCausedBySelf`
sumo/emotion.kif:623:1: note: instance `AppraisalAsCausedBySelf previously defined here
sumo/development/emotion.kif:445:1: warning: redefinition of `AppraisalAsCausedByChance`
sumo/emotion.kif:631:1: note: instance `AppraisalAsCausedByChance previously defined here
sumo/development/emotion.kif:449:1: warning: redefinition of `AppraisalOfSocialAttention`
sumo/emotion.kif:637:1: note: subclass `AppraisalOfSocialAttention previously defined here
sumo/development/emotion.kif:454:1: warning: redefinition of `AppraisalAsBeingAtTheCentreOfAttention`
sumo/emotion.kif:646:1: note: instance `AppraisalAsBeingAtTheCentreOfAttention previously defined here
sumo/development/emotion.kif:460:1: warning: redefinition of `AppraisalAsNotBeingAtTheCentreOfAttention`
sumo/emotion.kif:659:1: note: instance `AppraisalAsNotBeingAtTheCentreOfAttention previously defined here
sumo/development/emotion.kif:466:1: warning: redefinition of `AppraisalOfCausalIntent`
sumo/emotion.kif:670:1: note: subclass `AppraisalOfCausalIntent previously defined here
sumo/development/emotion.kif:470:1: warning: redefinition of `AppraisalAsUnintended`
sumo/emotion.kif:676:1: note: instance `AppraisalAsUnintended previously defined here
sumo/development/emotion.kif:477:1: warning: redefinition of `AppraisalAsDeliberate`
sumo/emotion.kif:687:1: note: instance `AppraisalAsDeliberate previously defined here
sumo/development/emotion.kif:495:1: warning: redefinition of `Jealousy`
sumo/emotion.kif:710:1: note: instance `Jealousy previously defined here
sumo/development/emotion.kif:505:1: warning: redefinition of `Interest`
sumo/emotion.kif:723:1: note: instance `Interest previously defined here
sumo/development/emotion.kif:507:1: warning: redefinition of `Contempt`
sumo/emotion.kif:725:1: note: instance `Contempt previously defined here
sumo/development/emotion.kif:523:1: warning: redefinition of `Love`
sumo/emotion.kif:746:1: note: instance `Love previously defined here
sumo/development/emotion.kif:546:1: warning: redefinition of `Pleasure`
sumo/emotion.kif:777:1: note: instance `Pleasure previously defined here
sumo/development/emotion.kif:589:1: warning: redefinition of `Happiness`
sumo/Mid-level-ontology.kif:17066:1: note: instance `Happiness previously defined here
sumo/development/emotion.kif:595:1: warning: redefinition of `Shame`
sumo/emotion.kif:831:1: note: instance `Shame previously defined here
sumo/development/emotion.kif:601:1: warning: redefinition of `Disgust`
sumo/emotion.kif:837:1: note: instance `Disgust previously defined here
sumo/development/emotion.kif:663:1: warning: redefinition of `Surprise`
sumo/Mid-level-ontology.kif:17126:1: note: instance `Surprise previously defined here
sumo/development/emotion.kif:667:1: warning: redefinition of `Expectant`
sumo/emotion.kif:924:1: note: instance `Expectant previously defined here
sumo/development/emotion.kif:670:1: warning: redefinition of `Concern`
sumo/emotion.kif:927:1: note: instance `Concern previously defined here
sumo/development/emotion.kif:679:1: warning: redefinition of `Irritation`
sumo/emotion.kif:936:1: note: instance `Irritation previously defined here
sumo/development/emotion.kif:685:1: warning: redefinition of `Despair`
sumo/emotion.kif:946:1: note: instance `Despair previously defined here
sumo/development/emotion.kif:695:1: warning: redefinition of `Disappointment`
sumo/emotion.kif:956:1: note: instance `Disappointment previously defined here
sumo/development/emotion.kif:703:1: warning: redefinition of `Pride`
sumo/emotion.kif:966:1: note: instance `Pride previously defined here
sumo/development/emotion.kif:709:1: warning: redefinition of `Anger`
sumo/emotion.kif:976:1: note: instance `Anger previously defined here
sumo/development/emotion.kif:720:1: warning: redefinition of `Embarrassment`
sumo/emotion.kif:987:1: note: instance `Embarrassment previously defined here
sumo/development/emotion.kif:727:1: warning: redefinition of `Grief`
sumo/emotion.kif:996:1: note: instance `Grief previously defined here
sumo/development/emotion.kif:732:1: warning: redefinition of `InspirationEmotion`
sumo/emotion.kif:1003:1: note: instance `InspirationEmotion previously defined here
sumo/development/emotion.kif:736:1: warning: redefinition of `Worry`
sumo/emotion.kif:1007:1: note: instance `Worry previously defined here
sumo/development/emotion.kif:744:1: warning: redefinition of `Compassion`
sumo/emotion.kif:1018:1: note: instance `Compassion previously defined here
sumo/development/emotion.kif:748:1: warning: redefinition of `Fear`
sumo/emotion.kif:1026:1: note: instance `Fear previously defined here
sumo/development/emotion.kif:772:1: warning: redefinition of `Hate`
sumo/emotion.kif:1048:1: note: instance `Hate previously defined here
sumo/development/emotion.kif:784:1: warning: redefinition of `Curiosity`
sumo/emotion.kif:1067:1: note: instance `Curiosity previously defined here
sumo/development/emotion.kif:799:1: warning: redefinition of `Guilt`
sumo/emotion.kif:1087:1: note: instance `Guilt previously defined here
sumo/development/emotion.kif:807:1: warning: redefinition of `Confusion`
sumo/emotion.kif:1097:1: note: instance `Confusion previously defined here
sumo/development/emotion.kif:833:1: warning: redefinition of `Sadness`
sumo/emotion.kif:1123:1: note: instance `Sadness previously defined here
sumo/development/emotion.kif:847:1: warning: redefinition of `Boredom`
sumo/emotion.kif:1140:1: note: instance `Boredom previously defined here
sumo/development/emotion.kif:862:1: warning: redefinition of `Anxiety`
sumo/emotion.kif:1159:1: note: instance `Anxiety previously defined here
sumo/development/emotion.kif:867:1: warning: redefinition of `EmotionalStress`
sumo/emotion.kif:1164:1: note: instance `EmotionalStress previously defined here
sumo/development/emotion.kif:874:1: warning: redefinition of `Hope`
sumo/emotion.kif:1174:1: note: instance `Hope previously defined here
sumo/development/emotion.kif:880:1: warning: redefinition of `PressingLipsTogether`
sumo/emotion.kif:1180:1: note: subclass `PressingLipsTogether previously defined here
sumo/development/emotion.kif:896:1: warning: redefinition of `ClosingEyes`
sumo/emotion.kif:1197:1: note: subclass `ClosingEyes previously defined here
sumo/development/emotion.kif:899:1: warning: redefinition of `HappyFacialExpression`
sumo/emotion.kif:1201:1: note: subclass `HappyFacialExpression previously defined here
sumo/development/emotion.kif:918:1: warning: redefinition of `AngryFacialExpression`
sumo/emotion.kif:1221:1: note: subclass `AngryFacialExpression previously defined here
sumo/development/emotion.kif:936:1: warning: redefinition of `DisgustedFacialExpression`
sumo/emotion.kif:1242:1: note: subclass `DisgustedFacialExpression previously defined here
sumo/development/emotion.kif:953:1: warning: redefinition of `SurprisedFacialExpression`
sumo/emotion.kif:1260:1: note: subclass `SurprisedFacialExpression previously defined here
sumo/development/emotion.kif:954:1: warning: redefinition of `SurprisedFacialExpression`
sumo/emotion.kif:1261:1: note: subclass `SurprisedFacialExpression previously defined here
sumo/development/emotion.kif:969:1: warning: redefinition of `JawDropping`
sumo/emotion.kif:1277:1: note: subclass `JawDropping previously defined here
sumo/development/emotion.kif:971:1: warning: redefinition of `FacialExpression`
sumo/emotion.kif:1279:1: note: subclass `FacialExpression previously defined here
sumo/development/emotion.kif:974:1: warning: redefinition of `NeutralExpression`
sumo/emotion.kif:1283:1: note: subclass `NeutralExpression previously defined here
sumo/development/emotion.kif:979:1: warning: redefinition of `EmotionalFacialExpression`
sumo/emotion.kif:1290:1: note: subclass `EmotionalFacialExpression previously defined here
sumo/development/emotion.kif:983:1: warning: redefinition of `SadFacialExpression`
sumo/emotion.kif:1301:1: note: subclass `SadFacialExpression previously defined here
sumo/development/emotion.kif:1003:1: warning: redefinition of `FearfulFacialExpression`
sumo/emotion.kif:1324:1: note: subclass `FearfulFacialExpression previously defined here
sumo/development/emotion.kif:1018:1: warning: redefinition of `EmotionalBodilyMovementBehavior`
sumo/emotion.kif:1339:1: note: subclass `EmotionalBodilyMovementBehavior previously defined here
sumo/development/emotion.kif:1019:1: warning: redefinition of `EmotionalBodilyMovementBehavior`
sumo/emotion.kif:1340:1: note: subclass `EmotionalBodilyMovementBehavior previously defined here
sumo/development/emotion.kif:1023:1: warning: redefinition of `PhysiologicalResponseToEmotionalState`
sumo/emotion.kif:1349:1: note: subclass `PhysiologicalResponseToEmotionalState previously defined here
sumo/development/emotion.kif:1035:1: warning: redefinition of `MovingAwayFromPeople`
sumo/emotion.kif:1362:1: note: subclass `MovingAwayFromPeople previously defined here
sumo/development/emotion.kif:1066:1: warning: redefinition of `MovingTowardsPeople`
sumo/emotion.kif:1395:1: note: subclass `MovingTowardsPeople previously defined here
sumo/development/emotion.kif:1067:1: warning: redefinition of `MovingTowardsPeople`
sumo/emotion.kif:1396:1: note: subclass `MovingTowardsPeople previously defined here
sumo/development/emotion.kif:1094:1: warning: redefinition of `MusclesBecomingTense`
sumo/emotion.kif:1423:1: note: subclass `MusclesBecomingTense previously defined here
sumo/development/emotion.kif:1109:1: warning: redefinition of `MusclesRelaxing`
sumo/emotion.kif:1438:1: note: subclass `MusclesRelaxing previously defined here
sumo/development/emotion.kif:1124:1: warning: redefinition of `Perspiring`
sumo/emotion.kif:1453:1: note: subclass `Perspiring previously defined here
sumo/development/emotion.kif:1126:1: warning: redefinition of `Perspiring`
sumo/emotion.kif:1455:1: note: subclass `Perspiring previously defined here
sumo/development/emotion.kif:1136:1: warning: redefinition of `PerspiringHands`
sumo/emotion.kif:1465:1: note: subclass `PerspiringHands previously defined here
sumo/development/emotion.kif:1149:1: warning: redefinition of `PerspiringWholeBody`
sumo/emotion.kif:1478:1: note: subclass `PerspiringWholeBody previously defined here
sumo/development/emotion.kif:1153:1: warning: redefinition of `StayingStill`
sumo/emotion.kif:1496:1: note: subclass `StayingStill previously defined here
sumo/development/emotion.kif:1156:1: warning: redefinition of `BreathingAtASlowerRate`
sumo/emotion.kif:1512:1: note: subclass `BreathingAtASlowerRate previously defined here
sumo/development/emotion.kif:1158:1: warning: redefinition of `HeartBeatingAtSlowerRate`
sumo/emotion.kif:1514:1: note: subclass `HeartBeatingAtSlowerRate previously defined here
sumo/development/emotion.kif:1161:1: warning: redefinition of `TemperatureFallingExperiencedAsFeelingCold`
sumo/emotion.kif:1518:1: note: subclass `TemperatureFallingExperiencedAsFeelingCold previously defined here
sumo/development/emotion.kif:1165:1: warning: redefinition of `TemperatureRisingExperiencedAsFeelingWarm`
sumo/emotion.kif:1534:1: note: subclass `TemperatureRisingExperiencedAsFeelingWarm previously defined here
sumo/development/emotion.kif:1168:1: warning: redefinition of `ExperiencingDiscomfortInTheStomach`
sumo/emotion.kif:1548:1: note: subclass `ExperiencingDiscomfortInTheStomach previously defined here
sumo/development/emotion.kif:1186:1: warning: redefinition of `Weeping`
sumo/emotion.kif:1567:1: note: subclass `Weeping previously defined here
sumo/development/emotion.kif:1187:1: warning: redefinition of `Weeping`
sumo/emotion.kif:1568:1: note: subclass `Weeping previously defined here
sumo/development/emotion.kif:1211:1: warning: redefinition of `Laughing`
sumo/emotion.kif:1592:1: note: subclass `Laughing previously defined here
sumo/development/emotion.kif:1225:1: warning: redefinition of `RaisingEyebrows`
sumo/emotion.kif:1604:1: note: subclass `RaisingEyebrows previously defined here
sumo/development/emotion.kif:1231:1: warning: redefinition of `PhysicalViolence`
sumo/emotion.kif:1612:1: note: subclass `PhysicalViolence previously defined here
sumo/development/emotion.kif:1243:1: warning: redefinition of `Shivering`
sumo/emotion.kif:1624:1: note: subclass `Shivering previously defined here
sumo/development/emotion.kif:1244:1: warning: redefinition of `Shivering`
sumo/emotion.kif:1625:1: note: subclass `Shivering previously defined here
sumo/development/emotion.kif:1248:1: warning: redefinition of `LimbWeakening`
sumo/emotion.kif:1629:1: note: subclass `LimbWeakening previously defined here
sumo/development/emotion.kif:1251:1: warning: redefinition of `OpeningEyesWidely`
sumo/emotion.kif:1633:1: note: subclass `OpeningEyesWidely previously defined here
sumo/development/emotion.kif:1264:1: warning: redefinition of `HeartBeatingAtFasterRate`
sumo/emotion.kif:1646:1: note: subclass `HeartBeatingAtFasterRate previously defined here
sumo/development/emotion.kif:1275:1: warning: redefinition of `MovingAbruptly`
sumo/emotion.kif:1658:1: note: subclass `MovingAbruptly previously defined here
sumo/development/emotion.kif:1279:1: warning: redefinition of `Blushing`
sumo/emotion.kif:1663:1: note: subclass `Blushing previously defined here
sumo/development/emotion.kif:1282:1: warning: redefinition of `BreathingAtAMoreRapidRate`
sumo/emotion.kif:1667:1: note: subclass `BreathingAtAMoreRapidRate previously defined here
sumo/development/emotion.kif:1283:1: warning: redefinition of `BreathingAtAMoreRapidRate`
sumo/emotion.kif:1668:1: note: subclass `BreathingAtAMoreRapidRate previously defined here
sumo/development/emotion.kif:1286:1: warning: redefinition of `BecomingPale`
sumo/emotion.kif:1671:1: note: subclass `BecomingPale previously defined here
sumo/development/emotion.kif:1289:1: warning: redefinition of `ExperiencingALumpInTheThroat`
sumo/emotion.kif:1675:1: note: subclass `ExperiencingALumpInTheThroat previously defined here
sumo/development/emotion.kif:1329:1: warning: redefinition of `FeelingCalm`
sumo/emotion.kif:1721:1: note: instance `FeelingCalm previously defined here
sumo/development/emotion.kif:1335:1: warning: redefinition of `FeelingNervous`
sumo/emotion.kif:1727:1: note: instance `FeelingNervous previously defined here
sumo/development/emotion.kif:1342:1: warning: redefinition of `FeelingRestless`
sumo/emotion.kif:1737:1: note: instance `FeelingRestless previously defined here
sumo/development/emotion.kif:1347:1: warning: redefinition of `FeelingAtEase`
sumo/emotion.kif:1743:1: note: instance `FeelingAtEase previously defined here
sumo/development/emotion.kif:1351:1: warning: redefinition of `FeelingInControl`
sumo/emotion.kif:1747:1: note: instance `FeelingInControl previously defined here
sumo/development/emotion.kif:1358:1: warning: redefinition of `FeelingOutOfControl`
sumo/emotion.kif:1757:1: note: instance `FeelingOutOfControl previously defined here
sumo/development/emotion.kif:1366:1: warning: redefinition of `FeelingStrong`
sumo/emotion.kif:1768:1: note: instance `FeelingStrong previously defined here
sumo/development/emotion.kif:1372:1: warning: redefinition of `FeelingWeak`
sumo/emotion.kif:1776:1: note: instance `FeelingWeak previously defined here
sumo/development/emotion.kif:1382:1: warning: redefinition of `FeelingEnergetic`
sumo/emotion.kif:1788:1: note: instance `FeelingEnergetic previously defined here
sumo/development/emotion.kif:1388:1: warning: redefinition of `FeelingBad`
sumo/emotion.kif:1796:1: note: instance `FeelingBad previously defined here
sumo/development/emotion.kif:1393:1: warning: redefinition of `FeelingGood`
sumo/emotion.kif:1801:1: note: instance `FeelingGood previously defined here
sumo/development/emotion.kif:1400:1: warning: redefinition of `FeelingAlert`
sumo/emotion.kif:1809:1: note: instance `FeelingAlert previously defined here
sumo/development/emotion.kif:1404:1: warning: redefinition of `FeelingTired`
sumo/emotion.kif:1814:1: note: instance `FeelingTired previously defined here
sumo/development/emotion.kif:1409:1: warning: redefinition of `FeelingDubious`
sumo/emotion.kif:1820:1: note: instance `FeelingDubious previously defined here
sumo/development/emotion.kif:1417:1: warning: redefinition of `SurprisedVoiceUtterance`
sumo/emotion.kif:1830:1: note: subclass `SurprisedVoiceUtterance previously defined here
sumo/development/emotion.kif:1433:1: warning: redefinition of `AngryVoiceUtterance`
sumo/emotion.kif:1847:1: note: subclass `AngryVoiceUtterance previously defined here
sumo/development/emotion.kif:1454:1: warning: redefinition of `SadVoiceUtterance`
sumo/emotion.kif:1869:1: note: subclass `SadVoiceUtterance previously defined here
sumo/development/emotion.kif:1466:1: warning: redefinition of `HappyVoiceUtterance`
sumo/emotion.kif:1881:1: note: subclass `HappyVoiceUtterance previously defined here
sumo/development/emotion.kif:1481:1: warning: redefinition of `DisgustedVoiceUtterance`
sumo/emotion.kif:1897:1: note: subclass `DisgustedVoiceUtterance previously defined here
sumo/development/emotion.kif:1497:1: warning: redefinition of `SpeakingAtAFasterRate`
sumo/emotion.kif:1916:1: note: subclass `SpeakingAtAFasterRate previously defined here
sumo/development/emotion.kif:1513:1: warning: redefinition of `SpeakingAssertively`
sumo/emotion.kif:1933:1: note: subclass `SpeakingAssertively previously defined here
sumo/development/emotion.kif:1518:1: warning: redefinition of `SpeakingWithAlteredSpeechMelody`
sumo/emotion.kif:1942:1: note: subclass `SpeakingWithAlteredSpeechMelody previously defined here
sumo/development/emotion.kif:1521:1: warning: redefinition of `SpeakingInADisturbedFashion`
sumo/emotion.kif:1946:1: note: subclass `SpeakingInADisturbedFashion previously defined here
sumo/development/emotion.kif:1524:1: warning: redefinition of `SpeakingLoudly`
sumo/emotion.kif:1950:1: note: subclass `SpeakingLoudly previously defined here
sumo/development/emotion.kif:1528:1: warning: redefinition of `SpeakingSoftly`
sumo/emotion.kif:1955:1: note: subclass `SpeakingSoftly previously defined here
sumo/development/emotion.kif:1532:1: warning: redefinition of `FearfulVoiceUtterance`
sumo/emotion.kif:1960:1: note: subclass `FearfulVoiceUtterance previously defined here
sumo/development/emotion.kif:1547:1: warning: redefinition of `SpeakingAtASlowerRate`
sumo/emotion.kif:1976:1: note: subclass `SpeakingAtASlowerRate previously defined here
sumo/development/emotion.kif:1552:1: warning: redefinition of `NotSpeaking`
sumo/emotion.kif:1983:1: note: subclass `NotSpeaking previously defined here
sumo/development/emotion.kif:1555:1: warning: redefinition of `SpeakingWithTremblingVoice`
sumo/emotion.kif:1987:1: note: subclass `SpeakingWithTremblingVoice previously defined here
sumo/development/emotion.kif:1560:1: warning: redefinition of `SpeakingALongUtterance`
sumo/emotion.kif:1995:1: note: subclass `SpeakingALongUtterance previously defined here
sumo/development/emotion.kif:1563:1: warning: redefinition of `SpeakingAShortUtterance`
sumo/emotion.kif:1999:1: note: subclass `SpeakingAShortUtterance previously defined here
sumo/development/Facebook.kif:759:1: warning: redefinition of `MarkupLanguage`
sumo/mappings/DHS_Taxonomy.kif:78:1: note: subclass `MarkupLanguage previously defined here
src/knet/relation.d:458: Info: WARNING: Relation `FUNCTION of type knet.variable.NaryFunctionUniversalVariable with valence:2 doesn't equal actorCount:1
src/knet/relation.d:458: Info: WARNING: Relation `FUNCTION of type knet.variable.NaryFunctionUniversalVariable with valence:2 doesn't equal actorCount:1
sumo/Merge.kif:1574:1: warning: redefinition of `Abstract`
sumo/Merge.kif:2068:1: warning: redefinition of `Relation`
sumo/Merge.kif:2688:1: warning: redefinition of `desires`
sumo/Merge.kif:2665:1: note: relatedInternalConcept `desires previously defined here
src/knet/relation.d:458: Info: WARNING: Relation `FUN of type knet.variable.NaryFunctionUniversalVariable with valence:2 doesn't equal actorCount:1
src/knet/relation.d:458: Info: WARNING: Relation `FUN of type knet.variable.NaryFunctionUniversalVariable with valence:2 doesn't equal actorCount:1
sumo/Merge.kif:5750:1: warning: redefinition of `exists`
sumo/Merge.kif:12059:1: warning: redefinition of `Communication`
sumo/Merge.kif:13510:1: warning: redefinition of `Mammal`
sumo/Merge.kif:14068:1: warning: redefinition of `Word`
sumo/Merge.kif:16307:1: warning: redefinition of `PhysicalState`
sumo/Mid-level-ontology.kif:7593:1: warning: redefinition of `overlapsTemporally`
sumo/Mid-level-ontology.kif:11854:1: warning: redefinition of `Sentence`
sumo/Mid-level-ontology.kif:28106:32: warning: explicit existential shadowing of implicit universal variable `NUMBER`
sumo/Mid-level-ontology.kif:28183:23: warning: explicit existential shadowing of implicit universal variable `AN`
sumo/Hotel.kif:2052:12: warning: unused explicit existential variable `AMT`
sumo/pictureList.kif:4913:1: warning: redefinition of `JudgeAtLaw`
sumo/pictureList.kif:4753:1: note: externalImage `JudgeAtLaw previously defined here
sumo/pictureList.kif:8397:1: warning: redefinition of `BroadGauge`
sumo/pictureList.kif:5894:1: note: externalImage `BroadGauge previously defined here
sumo/pictureList.kif:8592:1: warning: redefinition of `Mathematics`
sumo/pictureList.kif:7292:1: note: externalImage `Mathematics previously defined here
sumo/pictureList.kif:9012:1: warning: redefinition of `BroadGauge`
sumo/pictureList.kif:6221:1: note: externalImage `BroadGauge previously defined here
sumo/pictureList.kif:9196:1: warning: redefinition of `Engineering`
sumo/pictureList.kif:6480:1: note: externalImage `Engineering previously defined here
sumo/pictureList.kif:9408:1: warning: redefinition of `Mathematics`
sumo/pictureList.kif:7296:1: note: externalImage `Mathematics previously defined here
sumo/pictureList.kif:9409:1: warning: redefinition of `Mathematics`
sumo/pictureList.kif:7297:1: note: externalImage `Mathematics previously defined here
sumo/pictureList.kif:9410:1: warning: redefinition of `Mathematics`
sumo/pictureList.kif:7290:1: note: externalImage `Mathematics previously defined here
sumo/pictureList.kif:9411:1: warning: redefinition of `Mathematics`
sumo/pictureList.kif:7293:1: note: externalImage `Mathematics previously defined here
sumo/pictureList.kif:9412:1: warning: redefinition of `Mathematics`
sumo/pictureList.kif:7291:1: note: externalImage `Mathematics previously defined here
sumo/pictureList.kif:9413:1: warning: redefinition of `Mathematics`
sumo/pictureList.kif:7298:1: note: externalImage `Mathematics previously defined here
sumo/Weather.kif:907:12: warning: explicit existential shadowing of implicit universal variable `WIND`
sumo/UXExperimentalTerms.kif:1236:14: warning: explicit universal shadowing of implicit universal variable `ITEM`
sumo/UXExperimentalTerms.kif:1236:14: warning: explicit universal shadowing of implicit universal variable `ITEM`
sumo/UXExperimentalTerms.kif:3880:42: warning: explicit universal shadowing of explicit universal variable `BUYING`
sumo/WMD.kif:117:1: warning: redefinition of `RadioactiveWeapon`
sumo/WMD.kif:106:1: note: disjoint `RadioactiveWeapon previously defined here
sumo/Food.kif:30:1: warning: redefinition of `RawAttribute`
sumo/Mid-level-ontology.kif:19277:1: note: documentation `RawAttribute previously defined here
sumo/Geography.kif:3444:1: warning: redefinition of `vegetationType`
sumo/ComputingBrands.kif:1939:14: warning: explicit existential shadowing of implicit universal variable `A`
sumo/ComputingBrands.kif:2644:1: warning: redefinition of `Convex`
sumo/ComputingBrands.kif:2612:1: note: documentation `Convex previously defined here
@apease
Copy link
Contributor

apease commented Jan 22, 2020

thanks! Could you confirm - is this on all the current versions of these files?

@nordlow
Copy link
Contributor Author

nordlow commented Jan 22, 2020 •
edited
Loading

Yes, it is. Your (upstream) master :)

Done fully automatically with my tool! :)

@nordlow nordlow mentioned this issue Jan 22, 2020
Open
@nordlow nordlow changed the title Duplicate definitions of subclass and instance Duplicate top-level statements (axioms) Jan 22, 2020
@apease
Copy link
Contributor

apease commented Jan 24, 2020

it looks like most of these messages are conflicts due to loading an old version of a domain ontology in the development directory along with the current version in the sumo root directly. In other cases such as with Kayak there is an added subclass definition that is not in conflict - kayaks are both AgentPoweredVehicles and WaterVehicles. Multiple inheritance is allowed (and very useful!). I've deleted the development/emotion.kif to avoid confusion. The development/Biography.kif file still has some material that was not ported to the new Biography.kif in the sumo root. I'd suggest running this analysis tool again without the development ontologies, then we'd have a more managable set to review and see if they are more like the issue with CookedFood, or if they are legitimate additional definitional statements as with Kayak

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@nordlow @apease