├── .github └── workflows │ ├── sumo-ci.yml │ ├── sumo-dev-cycle.yml │ ├── sumo-manual.yml │ ├── sumo-scheduled.yml │ ├── test-report.yml │ └── tqsp-ci.yml ├── .gitignore ├── Anatomy.kif ├── ArabicCulture.kif ├── Biography.kif ├── CCTrep.kif ├── CONTRIBUTING.md ├── Cars.kif ├── Catalog.kif ├── ClimateStatecraft.kif ├── Communications.kif ├── ComputerInput.kif ├── ComputingBrands.kif ├── CountriesAndRegions.kif ├── DARPA_ARC.kif ├── Dining.kif ├── Economy.kif ├── FOAFmap.kif ├── Facebook.kif ├── FinancialOntology.kif ├── Food.kif ├── GentleM.kif ├── GeochronologicTimes.kif ├── Geography.kif ├── Government.kif ├── HOLtests.txt ├── Hotel.kif ├── HouseholdAppliances.kif ├── Justice.kif ├── Languages.kif ├── Law.kif ├── Media.kif ├── Medicine.kif ├── Merge.kif ├── Mid-level-ontology.kif ├── Military.kif ├── MilitaryDevices.kif ├── MilitaryPersons.kif ├── MilitaryProcesses.kif ├── ModSim.kif ├── Music.kif ├── NameTermFormat.kif ├── NameTermFormat.kif.txt ├── NavalModeling.kif ├── People.kif ├── QoSontology.kif ├── README.txt ├── Sense-count.txt ├── SimpleFacts └── CarBrands.kif ├── Sports.kif ├── Translations ├── arabic_format.kif ├── chinese_format.kif ├── french_format.kif ├── index-cz.html ├── index-en.html ├── index-tg.html ├── index.de.html ├── japanese_format.kif ├── language.txt ├── operators-cb.txt ├── operators-de.txt ├── operators-it.txt ├── operators-tg.txt ├── portuguese_format.kif ├── relations-cb.txt ├── relations-cz.txt ├── relations-de.txt ├── relations-en.txt ├── relations-hindi.txt ├── relations-it.txt ├── relations-ro-sgml.kif ├── relations-ro.kif ├── relations-sv.txt ├── relations-tg.txt ├── spanish_format.kif ├── terms-cb.txt ├── terms-cz.txt ├── terms-de.txt ├── terms-hindi.txt ├── terms-it.txt ├── terms-tg.txt └── termsAndRelations-cnt.txt ├── TransnationalIssues.kif ├── TransportDetail.kif ├── Transportation.kif ├── Trees.kif ├── UXExperimentalTerms.kif ├── VirusProteinAndCellPart.kif ├── WMD.kif ├── Weather.kif ├── WordNetMappings ├── FirstNames.csv ├── MWEmapping-noun.txt ├── README.txt ├── Relations.txt ├── SemRewrite.txt ├── Sense-count.txt ├── UIUC-WordNet-mapping.txt ├── WordNetMappings30-adj.txt ├── WordNetMappings30-adv.txt ├── WordNetMappings30-noun.txt ├── WordNetMappings30-verb.txt ├── cntlist ├── index.sense ├── noun.exc ├── sentiment.csv ├── stopwords.txt ├── verb.exc ├── wordFrequencies.txt └── wordFrequencies_combined.txt ├── WorldAirports.kif ├── arteries.kif ├── capabilities.kif ├── development ├── Antenna.kif ├── Auto.kif ├── Biography.kif ├── BrazilianCulture.kif ├── DimensioningAmenities.kif ├── Enumerations.kif ├── Facebook.kif ├── GDPR.kif ├── GDPRTerms.kif ├── HOL.kif ├── HOLtests │ ├── modal1.kif │ ├── modalWorlds.thf │ ├── modalWorlds2.thf │ ├── modalWorlds3.thf │ ├── modalWorldsOut1.gif │ ├── modalWorldsOut1.txt │ ├── modalWorldsOut2.gif │ └── modalWorldsOut2.txt ├── LinkedInDegrees.kif ├── MedReason.kif ├── Muscles.kif ├── NIEM-Scenario-Concepts.kif ├── Offers.kif ├── PolishCulture.kif ├── README ├── Robot.kif ├── Society.kif ├── Transport_2024.kif ├── TravelPolicies.kif ├── Useful-terms_2023.kif ├── modals.kif ├── tinyMed.kif └── tinySUMOGDPR.kif ├── domainEnglishFormat.kif ├── emotion.kif ├── engineering.kif ├── english_format.kif ├── mappings ├── DBPediaSUMO.ttl ├── DBpediaMapping.ttl ├── DBpediaStrings.ttl ├── DHS_Taxonomy.kif ├── FOAFmap.kif ├── HotelDetail.kif └── ISCOgroups.kif ├── mondial.kif ├── naics.kif ├── nlg_supplement_formats.kif ├── pictureList-ImageNet.kif ├── pictureList.kif ├── tests ├── Lists.kif ├── Modals.txt ├── RCC.kif ├── SP01.kif.tq ├── SP02.kif ├── SP02.kif.tq ├── SP03.kif.tq ├── SP04.kif ├── SP04.kif.tq ├── SP26.kif.tq ├── SP37.kif.tq ├── SpatialQs.txt ├── TPTP │ ├── .gitattributes │ ├── SP01SMp.tff │ ├── SP01SMp.tptp │ ├── SP01SMpf.tff │ ├── SP01SMpf.tptp │ ├── SP01Sp.tff │ ├── SP01Sp.tptp │ ├── SP02SMp.tff │ ├── SP02SMp.tptp │ ├── SP02SMpf.tff │ ├── SP02SMpf.tptp │ ├── SP02Sp.tff │ ├── SP02Sp.tptp │ ├── SP03SMp.tff │ ├── SP03SMp.tptp │ ├── SP03SMpf.tff │ ├── SP03SMpf.tptp │ ├── SP03Sp.tff │ ├── SP03Sp.tptp │ ├── SP04SMp.tff │ ├── SP04SMp.tptp │ ├── SP04SMpf.tff │ ├── SP04SMpf.tptp │ ├── SP04Sp.tff │ ├── SP04Sp.tptp │ ├── SP26SMTp.tff │ ├── SP26SMp.tff │ ├── SP26SMp.tptp │ ├── SP26SMpf.tff │ ├── SP26SMpf.tptp │ ├── SP26Sp.tff │ ├── SP26Sp.tptp │ ├── SP37SMp.tff │ ├── SP37SMp.tptp │ ├── SP37SMpf.tff │ ├── SP37SMpf.tptp │ ├── SP37Sp.tff │ ├── SP37Sp.tptp │ ├── SUMO.tff │ ├── SUMO.thf │ ├── SUMO.tptp │ ├── SUMOMILO.tff │ ├── SUMOMILO.tptp │ ├── SUMOMILOTrans.tff │ ├── SUMOMILOTrans.tptp │ ├── TQG10SMp.tff │ ├── TQG10SMp.tptp │ ├── TQG10SMpf.tff │ ├── TQG10SMpf.tptp │ ├── TQG10Sp.tff │ ├── TQG10Sp.tptp │ ├── TQG11SMp.tff │ ├── TQG11SMpf.tff │ ├── TQG11Sp.tff │ ├── TQG12SMp.tff │ ├── TQG12SMp.tptp │ ├── TQG12SMpf.tff │ ├── TQG12SMpf.tptp │ ├── TQG12Sp.tff │ ├── TQG12Sp.tptp │ ├── TQG13SMp.tff │ ├── TQG13SMp.tptp │ ├── TQG13SMpf.tff │ ├── TQG13SMpf.tptp │ ├── TQG13Sp.tff │ ├── TQG13Sp.tptp │ ├── TQG14SMp.tff │ ├── TQG14SMp.tptp │ ├── TQG14SMpf.tff │ ├── TQG14SMpf.tptp │ ├── TQG14Sp.tff │ ├── TQG14Sp.tptp │ ├── TQG15SMp.tff │ ├── TQG15SMp.tptp │ ├── TQG15SMpf.tff │ ├── TQG15SMpf.tptp │ ├── TQG15Sp.tff │ ├── TQG15Sp.tptp │ ├── TQG16SMp.tff │ ├── TQG16SMp.tptp │ ├── TQG16SMpf.tff │ ├── TQG16SMpf.tptp │ ├── TQG16Sp.tff │ ├── TQG16Sp.tptp │ ├── TQG17SMp.tff │ ├── TQG17SMp.tptp │ ├── TQG17SMpf.tff │ ├── TQG17SMpf.tptp │ ├── TQG17Sp.tff │ ├── TQG17Sp.tptp │ ├── TQG18SMp.tff │ ├── TQG18SMp.tptp │ ├── TQG18SMpf.tff │ ├── TQG18SMpf.tptp │ ├── TQG18Sp.tff │ ├── TQG18Sp.tptp │ ├── TQG19SMp.tff │ ├── TQG19SMpf.tff │ ├── TQG19Sp.tff │ ├── TQG1SMp.tff │ ├── TQG1SMp.tptp │ ├── TQG1SMpf.tff │ ├── TQG1SMpf.tptp │ ├── TQG1Sp.tff │ ├── TQG1Sp.tptp │ ├── TQG20SMp.tff │ ├── TQG20SMpf.tff │ ├── TQG20Sp.tff │ ├── TQG21SMp.tff │ ├── TQG21SMpf.tff │ ├── TQG21Sp.tff │ ├── TQG22SMp.tff │ ├── TQG22SMp.tptp │ ├── TQG22SMpf.tff │ ├── TQG22SMpf.tptp │ ├── TQG22Sp.tff │ ├── TQG22Sp.tptp │ ├── TQG23SMp.tff │ ├── TQG23SMp.tptp │ ├── TQG23SMpf.tff │ ├── TQG23SMpf.tptp │ ├── TQG23Sp.tff │ ├── TQG23Sp.tptp │ ├── TQG24SMp.tff │ ├── TQG24SMp.tptp │ ├── TQG24SMpf.tff │ ├── TQG24SMpf.tptp │ ├── TQG24Sp.tff │ ├── TQG24Sp.tptp │ ├── TQG26SMp.tff │ ├── TQG26SMp.tptp │ ├── TQG26SMpf.tff │ ├── TQG26SMpf.tptp │ ├── TQG26Sp.tff │ ├── TQG26Sp.tptp │ ├── TQG29SMp.tff │ ├── TQG29SMp.tptp │ ├── TQG29SMpf.tff │ ├── TQG29SMpf.tptp │ ├── TQG29Sp.tff │ ├── TQG29Sp.tptp │ ├── TQG2SMp.tff │ ├── TQG2SMp.tptp │ ├── TQG2SMpf.tff │ ├── TQG2SMpf.tptp │ ├── TQG2Sp.tff │ ├── TQG2Sp.tptp │ ├── TQG30SMp.tff │ ├── TQG30SMp.tptp │ ├── TQG30SMpf.tff │ ├── TQG30SMpf.tptp │ ├── TQG30Sp.tff │ ├── TQG30Sp.tptp │ ├── TQG31SMp.tff │ ├── TQG31SMp.tptp │ ├── TQG31SMpf.tff │ ├── TQG31SMpf.tptp │ ├── TQG31Sp.tff │ ├── TQG31Sp.tptp │ ├── TQG32SMp.tff │ ├── TQG32SMp.tptp │ ├── TQG32SMpf.tff │ ├── TQG32SMpf.tptp │ ├── TQG32Sp.tff │ ├── TQG32Sp.tptp │ ├── TQG33SMp.tff │ ├── TQG33SMpf.tff │ ├── TQG33Sp.tff │ ├── TQG34SMp.tff │ ├── TQG34SMp.tptp │ ├── TQG34SMpf.tff │ ├── TQG34SMpf.tptp │ ├── TQG34Sp.tff │ ├── TQG34Sp.tptp │ ├── TQG35SMp.tff │ ├── TQG35SMp.tptp │ ├── TQG35SMpf.tff │ ├── TQG35SMpf.tptp │ ├── TQG35Sp.tff │ ├── TQG35Sp.tptp │ ├── TQG37SMp.tff │ ├── TQG37SMp.tptp │ ├── TQG37SMpf.tff │ ├── TQG37SMpf.tptp │ ├── TQG37Sp.tff │ ├── TQG37Sp.tptp │ ├── TQG38SMp.tff │ ├── TQG38SMp.tptp │ ├── TQG38SMpf.tff │ ├── TQG38SMpf.tptp │ ├── TQG38Sp.tff │ ├── TQG38Sp.tptp │ ├── TQG3SMp.tff │ ├── TQG3SMp.tptp │ ├── TQG3SMpf.tff │ ├── TQG3SMpf.tptp │ ├── TQG3Sp.tff │ ├── TQG3Sp.tptp │ ├── TQG47SMp.tptp │ ├── TQG47SMpf.tptp │ ├── TQG47Sp.tptp │ ├── TQG48SMp.tptp │ ├── TQG48SMpf.tptp │ ├── TQG48Sp.tptp │ ├── TQG49SMp.tptp │ ├── TQG49SMpf.tptp │ ├── TQG49Sp.tptp │ ├── TQG50SMp.tff │ ├── TQG50SMp.tptp │ ├── TQG50SMpf.tff │ ├── TQG50SMpf.tptp │ ├── TQG50Sp.tff │ ├── TQG50Sp.tptp │ ├── TQG5SMp.tff │ ├── TQG5SMp.tptp │ ├── TQG5SMpf.tff │ ├── TQG5SMpf.tptp │ ├── TQG5Sp.tff │ ├── TQG5Sp.tptp │ ├── TQG6SMp.tff │ ├── TQG6SMp.tptp │ ├── TQG6SMpf.tff │ ├── TQG6SMpf.tptp │ ├── TQG6Sp.tff │ ├── TQG6Sp.tptp │ ├── TQG7SMp.tff │ ├── TQG7SMp.tptp │ ├── TQG7SMpf.tff │ ├── TQG7SMpf.tptp │ ├── TQG7Sp.tff │ ├── TQG7Sp.tptp │ ├── TQG8SMp.tff │ ├── TQG8SMp.tptp │ ├── TQG8SMpf.tff │ ├── TQG8SMpf.tptp │ ├── TQG8Sp.tff │ ├── TQG8Sp.tptp │ ├── TQG9SMp.tff │ ├── TQG9SMp.tptp │ ├── TQG9SMpf.tff │ ├── TQG9SMpf.tptp │ ├── TQG9Sp.tff │ ├── TQG9Sp.tptp │ ├── TQM1.tff │ ├── TQM10.thf │ ├── TQM11.tff │ ├── TQM12.thf │ ├── TQM2.tff │ ├── TQM3.tff │ ├── TQM3.thf │ ├── TQM3S.thf │ ├── TQM4.tff │ ├── TQM5.tff │ ├── TQM6.tff │ ├── TQM6f.thf │ ├── TQM6g.tff │ ├── TQM6g.thf │ ├── TQM6gS.thf │ ├── TQM7.tff │ ├── TQM7.thf │ ├── TQM7S.thf │ ├── TQM8.tff │ ├── TQM8.thf │ ├── TQM8a.tff │ ├── TQM8a.thf │ ├── TQM9.thf │ ├── TQT-ax.tff │ ├── TQT0.tff │ ├── TQT1.tff │ ├── TQT15.tff │ ├── TQT1a.tff │ ├── TQT1b.tff │ ├── TQT1c.tff │ ├── TQT1d.tff │ ├── TQT1e.tff │ ├── TQT1f.tff │ ├── TQT1g.tff │ ├── TQT2.tff │ ├── TQT20.tff │ ├── TQT21.tff │ ├── TQT22.tff │ ├── TQT23.tff │ ├── TQT24.tff │ ├── TQT25.tff │ ├── TQT26.tff │ ├── TQT27.tff │ ├── TQT28.tff │ ├── TQT29.tff │ ├── TQT3.tff │ ├── TQT30.tff │ ├── TQT31.tff │ ├── TQT32.tff │ ├── TQT33.tff │ ├── TQT34.tff │ ├── TQT35.tff │ ├── TQT36.tff │ ├── TQT37.tff │ ├── TQT38.tff │ ├── TQT39.tff │ ├── TQT4.tff │ ├── TQT40.tff │ ├── TQT41.tff │ ├── TQT42.tff │ ├── TQT43.tff │ ├── TQT44.tff │ ├── TQT45.tff │ ├── TQT46.tff │ ├── TQT47.tff │ ├── TQT48.tff │ ├── TQT49.tff │ ├── printIproverRes.sh │ ├── printVampRes.sh │ ├── runVampAll.sh │ ├── testIproverCond.sh │ └── testVampireCond.sh ├── TQC1.kif.tq ├── TQC2.kif.tq ├── TQC2b.kif.tq ├── TQC2b2.kif.tq ├── TQC3.kif.tq ├── TQG1.kif.tq ├── TQG10.kif.tq ├── TQG11.kif.tq ├── TQG12.kif.tq ├── TQG13.kif.tq ├── TQG14.kif.tq ├── TQG15.kif.tq ├── TQG16.kif.tq ├── TQG17.kif.tq ├── TQG18.kif.tq ├── TQG19.kif.tq ├── TQG2.kif.tq ├── TQG20.kif.tq ├── TQG21.kif.tq ├── TQG22.kif.tq ├── TQG23.kif.tq ├── TQG24.kif.tq ├── TQG25.kif.tq ├── TQG26.kif.tq ├── TQG27.kif.tq ├── TQG28.kif.tq ├── TQG29.kif.tq ├── TQG3.kif.tq ├── TQG30.kif.tq ├── TQG31.kif.tq ├── TQG32.kif.tq ├── TQG33.kif.tq ├── TQG34.kif.tq ├── TQG35.kif.tq ├── TQG36.kif.tq ├── TQG37.kif.tq ├── TQG38.kif.tq ├── TQG39.kif.tq ├── TQG4.kif.tq ├── TQG40.kif.tq ├── TQG41.kif.tq ├── TQG42.kif.tq ├── TQG43.kif.tq ├── TQG44.kif.tq ├── TQG45.kif.tq ├── TQG46.kif.tq ├── TQG47.kif.tq ├── TQG48.kif.tq ├── TQG49.kif.tq ├── TQG5.kif.tq ├── TQG50.kif.tq ├── TQG51.kif.tq ├── TQG51b.kif.tq ├── TQG52.kif.tq ├── TQG6.kif.tq ├── TQG7.kif.tq ├── TQG8.kif.tq ├── TQG9.kif.tq ├── TQM10.kif ├── TQM3.kif ├── TQM3.kif.tq ├── TQM8.kif ├── TQM9.kif ├── TQSP │ ├── TPTP │ │ ├── SP01S.tff │ │ ├── SP01S.tptp │ │ ├── SP02S.tff │ │ ├── SP02S.tptp │ │ ├── SP03S.tff │ │ ├── SP03S.tptp │ │ ├── SP04S.tff │ │ ├── SP04S.tptp │ │ ├── SP26S.tff │ │ ├── SP26S.tptp │ │ ├── SP37S.tff │ │ ├── SP37S.tptp │ │ ├── TQG01S.tff │ │ ├── TQG01S.tptp │ │ ├── TQG02S.tff │ │ ├── TQG02S.tptp │ │ ├── TQG03S.tff │ │ ├── TQG03S.tptp │ │ ├── TQG05S.tff │ │ ├── TQG05S.tptp │ │ ├── TQG06S.tff │ │ ├── TQG06S.tptp │ │ ├── TQG07S.tff │ │ ├── TQG07S.tptp │ │ ├── TQG08S.tff │ │ ├── TQG08S.tptp │ │ ├── TQG09S.tff │ │ ├── TQG09S.tptp │ │ ├── TQG10S.tff │ │ ├── TQG10S.tptp │ │ ├── TQG11S.tff │ │ ├── TQG12S.tff │ │ ├── TQG12S.tptp │ │ ├── TQG13S.tff │ │ ├── TQG13S.tptp │ │ ├── TQG14S.tff │ │ ├── TQG14S.tptp │ │ ├── TQG15S.tff │ │ ├── TQG15S.tptp │ │ ├── TQG16S.tff │ │ ├── TQG16S.tptp │ │ ├── TQG17S.tff │ │ ├── TQG17S.tptp │ │ ├── TQG18S.tff │ │ ├── TQG18S.tptp │ │ ├── TQG19S.tff │ │ ├── TQG20S.tff │ │ ├── TQG21S.tff │ │ ├── TQG22S.tff │ │ ├── TQG22S.tptp │ │ ├── TQG23S.tff │ │ ├── TQG23S.tptp │ │ ├── TQG24S.tff │ │ ├── TQG24S.tptp │ │ ├── TQG26S.tff │ │ ├── TQG26S.tptp │ │ ├── TQG29S.tff │ │ ├── TQG29S.tptp │ │ ├── TQG30S.tff │ │ ├── TQG30S.tptp │ │ ├── TQG31S.tff │ │ ├── TQG31S.tptp │ │ ├── TQG32S.tff │ │ ├── TQG32S.tptp │ │ ├── TQG33S.tff │ │ ├── TQG34S.tff │ │ ├── TQG34S.tptp │ │ ├── TQG35S.tff │ │ ├── TQG35S.tptp │ │ ├── TQG37S.tff │ │ ├── TQG37S.tptp │ │ ├── TQG38S.tff │ │ ├── TQG38S.tptp │ │ ├── TQG47S.tptp │ │ ├── TQG48S.tptp │ │ ├── TQG49S.tptp │ │ ├── TQG50S.tff │ │ └── TQG50S.tptp │ ├── full.sed │ ├── mid.sed │ └── top.sed └── tq_notes.txt ├── tinyHOL.kif ├── tinyIntSUMO.kif └── tinySUMO.kif /.github/workflows/sumo-ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/.github/workflows/sumo-ci.yml -------------------------------------------------------------------------------- /.github/workflows/sumo-dev-cycle.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/.github/workflows/sumo-dev-cycle.yml -------------------------------------------------------------------------------- /.github/workflows/sumo-manual.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/.github/workflows/sumo-manual.yml -------------------------------------------------------------------------------- /.github/workflows/sumo-scheduled.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/.github/workflows/sumo-scheduled.yml -------------------------------------------------------------------------------- /.github/workflows/test-report.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/.github/workflows/test-report.yml -------------------------------------------------------------------------------- /.github/workflows/tqsp-ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/.github/workflows/tqsp-ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/.gitignore -------------------------------------------------------------------------------- /Anatomy.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Anatomy.kif -------------------------------------------------------------------------------- /ArabicCulture.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/ArabicCulture.kif -------------------------------------------------------------------------------- /Biography.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Biography.kif -------------------------------------------------------------------------------- /CCTrep.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/CCTrep.kif -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /Cars.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Cars.kif -------------------------------------------------------------------------------- /Catalog.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Catalog.kif -------------------------------------------------------------------------------- /ClimateStatecraft.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/ClimateStatecraft.kif -------------------------------------------------------------------------------- /Communications.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Communications.kif -------------------------------------------------------------------------------- /ComputerInput.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/ComputerInput.kif -------------------------------------------------------------------------------- /ComputingBrands.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/ComputingBrands.kif -------------------------------------------------------------------------------- /CountriesAndRegions.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/CountriesAndRegions.kif -------------------------------------------------------------------------------- /DARPA_ARC.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/DARPA_ARC.kif -------------------------------------------------------------------------------- /Dining.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Dining.kif -------------------------------------------------------------------------------- /Economy.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Economy.kif -------------------------------------------------------------------------------- /FOAFmap.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/FOAFmap.kif -------------------------------------------------------------------------------- /Facebook.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Facebook.kif -------------------------------------------------------------------------------- /FinancialOntology.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/FinancialOntology.kif -------------------------------------------------------------------------------- /Food.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Food.kif -------------------------------------------------------------------------------- /GentleM.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/GentleM.kif -------------------------------------------------------------------------------- /GeochronologicTimes.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/GeochronologicTimes.kif -------------------------------------------------------------------------------- /Geography.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Geography.kif -------------------------------------------------------------------------------- /Government.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Government.kif -------------------------------------------------------------------------------- /HOLtests.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/HOLtests.txt -------------------------------------------------------------------------------- /Hotel.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Hotel.kif -------------------------------------------------------------------------------- /HouseholdAppliances.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/HouseholdAppliances.kif -------------------------------------------------------------------------------- /Justice.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Justice.kif -------------------------------------------------------------------------------- /Languages.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Languages.kif -------------------------------------------------------------------------------- /Law.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Law.kif -------------------------------------------------------------------------------- /Media.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Media.kif -------------------------------------------------------------------------------- /Medicine.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Medicine.kif -------------------------------------------------------------------------------- /Merge.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Merge.kif -------------------------------------------------------------------------------- /Mid-level-ontology.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Mid-level-ontology.kif -------------------------------------------------------------------------------- /Military.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Military.kif -------------------------------------------------------------------------------- /MilitaryDevices.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/MilitaryDevices.kif -------------------------------------------------------------------------------- /MilitaryPersons.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/MilitaryPersons.kif -------------------------------------------------------------------------------- /MilitaryProcesses.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/MilitaryProcesses.kif -------------------------------------------------------------------------------- /ModSim.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/ModSim.kif -------------------------------------------------------------------------------- /Music.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Music.kif -------------------------------------------------------------------------------- /NameTermFormat.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/NameTermFormat.kif -------------------------------------------------------------------------------- /NameTermFormat.kif.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/NameTermFormat.kif.txt -------------------------------------------------------------------------------- /NavalModeling.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/NavalModeling.kif -------------------------------------------------------------------------------- /People.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/People.kif -------------------------------------------------------------------------------- /QoSontology.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/QoSontology.kif -------------------------------------------------------------------------------- /README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/README.txt -------------------------------------------------------------------------------- /Sense-count.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Sense-count.txt -------------------------------------------------------------------------------- /SimpleFacts/CarBrands.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/SimpleFacts/CarBrands.kif -------------------------------------------------------------------------------- /Sports.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Sports.kif -------------------------------------------------------------------------------- /Translations/arabic_format.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Translations/arabic_format.kif -------------------------------------------------------------------------------- /Translations/chinese_format.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Translations/chinese_format.kif -------------------------------------------------------------------------------- /Translations/french_format.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Translations/french_format.kif -------------------------------------------------------------------------------- /Translations/index-cz.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Translations/index-cz.html -------------------------------------------------------------------------------- /Translations/index-en.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Translations/index-en.html -------------------------------------------------------------------------------- /Translations/index-tg.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Translations/index-tg.html -------------------------------------------------------------------------------- /Translations/index.de.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Translations/index.de.html -------------------------------------------------------------------------------- /Translations/japanese_format.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Translations/japanese_format.kif -------------------------------------------------------------------------------- /Translations/language.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Translations/language.txt -------------------------------------------------------------------------------- /Translations/operators-cb.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Translations/operators-cb.txt -------------------------------------------------------------------------------- /Translations/operators-de.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Translations/operators-de.txt -------------------------------------------------------------------------------- /Translations/operators-it.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Translations/operators-it.txt -------------------------------------------------------------------------------- /Translations/operators-tg.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Translations/operators-tg.txt -------------------------------------------------------------------------------- /Translations/portuguese_format.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Translations/portuguese_format.kif -------------------------------------------------------------------------------- /Translations/relations-cb.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Translations/relations-cb.txt -------------------------------------------------------------------------------- /Translations/relations-cz.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Translations/relations-cz.txt -------------------------------------------------------------------------------- /Translations/relations-de.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Translations/relations-de.txt -------------------------------------------------------------------------------- /Translations/relations-en.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Translations/relations-en.txt -------------------------------------------------------------------------------- /Translations/relations-hindi.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Translations/relations-hindi.txt -------------------------------------------------------------------------------- /Translations/relations-it.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Translations/relations-it.txt -------------------------------------------------------------------------------- /Translations/relations-ro-sgml.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Translations/relations-ro-sgml.kif -------------------------------------------------------------------------------- /Translations/relations-ro.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Translations/relations-ro.kif -------------------------------------------------------------------------------- /Translations/relations-sv.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Translations/relations-sv.txt -------------------------------------------------------------------------------- /Translations/relations-tg.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Translations/relations-tg.txt -------------------------------------------------------------------------------- /Translations/spanish_format.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Translations/spanish_format.kif -------------------------------------------------------------------------------- /Translations/terms-cb.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Translations/terms-cb.txt -------------------------------------------------------------------------------- /Translations/terms-cz.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Translations/terms-cz.txt -------------------------------------------------------------------------------- /Translations/terms-de.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Translations/terms-de.txt -------------------------------------------------------------------------------- /Translations/terms-hindi.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Translations/terms-hindi.txt -------------------------------------------------------------------------------- /Translations/terms-it.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Translations/terms-it.txt -------------------------------------------------------------------------------- /Translations/terms-tg.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Translations/terms-tg.txt -------------------------------------------------------------------------------- /Translations/termsAndRelations-cnt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Translations/termsAndRelations-cnt.txt -------------------------------------------------------------------------------- /TransnationalIssues.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/TransnationalIssues.kif -------------------------------------------------------------------------------- /TransportDetail.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/TransportDetail.kif -------------------------------------------------------------------------------- /Transportation.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Transportation.kif -------------------------------------------------------------------------------- /Trees.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Trees.kif -------------------------------------------------------------------------------- /UXExperimentalTerms.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/UXExperimentalTerms.kif -------------------------------------------------------------------------------- /VirusProteinAndCellPart.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/VirusProteinAndCellPart.kif -------------------------------------------------------------------------------- /WMD.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/WMD.kif -------------------------------------------------------------------------------- /Weather.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/Weather.kif -------------------------------------------------------------------------------- /WordNetMappings/FirstNames.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/WordNetMappings/FirstNames.csv -------------------------------------------------------------------------------- /WordNetMappings/MWEmapping-noun.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/WordNetMappings/MWEmapping-noun.txt -------------------------------------------------------------------------------- /WordNetMappings/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/WordNetMappings/README.txt -------------------------------------------------------------------------------- /WordNetMappings/Relations.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/WordNetMappings/Relations.txt -------------------------------------------------------------------------------- /WordNetMappings/SemRewrite.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/WordNetMappings/SemRewrite.txt -------------------------------------------------------------------------------- /WordNetMappings/Sense-count.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/WordNetMappings/Sense-count.txt -------------------------------------------------------------------------------- /WordNetMappings/UIUC-WordNet-mapping.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/WordNetMappings/UIUC-WordNet-mapping.txt -------------------------------------------------------------------------------- /WordNetMappings/WordNetMappings30-adj.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/WordNetMappings/WordNetMappings30-adj.txt -------------------------------------------------------------------------------- /WordNetMappings/WordNetMappings30-adv.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/WordNetMappings/WordNetMappings30-adv.txt -------------------------------------------------------------------------------- /WordNetMappings/WordNetMappings30-noun.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/WordNetMappings/WordNetMappings30-noun.txt -------------------------------------------------------------------------------- /WordNetMappings/WordNetMappings30-verb.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/WordNetMappings/WordNetMappings30-verb.txt -------------------------------------------------------------------------------- /WordNetMappings/cntlist: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/WordNetMappings/cntlist -------------------------------------------------------------------------------- /WordNetMappings/index.sense: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/WordNetMappings/index.sense -------------------------------------------------------------------------------- /WordNetMappings/noun.exc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/WordNetMappings/noun.exc -------------------------------------------------------------------------------- /WordNetMappings/sentiment.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/WordNetMappings/sentiment.csv -------------------------------------------------------------------------------- /WordNetMappings/stopwords.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/WordNetMappings/stopwords.txt -------------------------------------------------------------------------------- /WordNetMappings/verb.exc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/WordNetMappings/verb.exc -------------------------------------------------------------------------------- /WordNetMappings/wordFrequencies.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/WordNetMappings/wordFrequencies.txt -------------------------------------------------------------------------------- /WordNetMappings/wordFrequencies_combined.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/WordNetMappings/wordFrequencies_combined.txt -------------------------------------------------------------------------------- /WorldAirports.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/WorldAirports.kif -------------------------------------------------------------------------------- /arteries.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/arteries.kif -------------------------------------------------------------------------------- /capabilities.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/capabilities.kif -------------------------------------------------------------------------------- /development/Antenna.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/development/Antenna.kif -------------------------------------------------------------------------------- /development/Auto.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/development/Auto.kif -------------------------------------------------------------------------------- /development/Biography.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/development/Biography.kif -------------------------------------------------------------------------------- /development/BrazilianCulture.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/development/BrazilianCulture.kif -------------------------------------------------------------------------------- /development/DimensioningAmenities.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/development/DimensioningAmenities.kif -------------------------------------------------------------------------------- /development/Enumerations.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/development/Enumerations.kif -------------------------------------------------------------------------------- /development/Facebook.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/development/Facebook.kif -------------------------------------------------------------------------------- /development/GDPR.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/development/GDPR.kif -------------------------------------------------------------------------------- /development/GDPRTerms.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/development/GDPRTerms.kif -------------------------------------------------------------------------------- /development/HOL.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/development/HOL.kif -------------------------------------------------------------------------------- /development/HOLtests/modal1.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/development/HOLtests/modal1.kif -------------------------------------------------------------------------------- /development/HOLtests/modalWorlds.thf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/development/HOLtests/modalWorlds.thf -------------------------------------------------------------------------------- /development/HOLtests/modalWorlds2.thf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/development/HOLtests/modalWorlds2.thf -------------------------------------------------------------------------------- /development/HOLtests/modalWorlds3.thf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/development/HOLtests/modalWorlds3.thf -------------------------------------------------------------------------------- /development/HOLtests/modalWorldsOut1.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/development/HOLtests/modalWorldsOut1.gif -------------------------------------------------------------------------------- /development/HOLtests/modalWorldsOut1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/development/HOLtests/modalWorldsOut1.txt -------------------------------------------------------------------------------- /development/HOLtests/modalWorldsOut2.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/development/HOLtests/modalWorldsOut2.gif -------------------------------------------------------------------------------- /development/HOLtests/modalWorldsOut2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/development/HOLtests/modalWorldsOut2.txt -------------------------------------------------------------------------------- /development/LinkedInDegrees.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/development/LinkedInDegrees.kif -------------------------------------------------------------------------------- /development/MedReason.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/development/MedReason.kif -------------------------------------------------------------------------------- /development/Muscles.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/development/Muscles.kif -------------------------------------------------------------------------------- /development/NIEM-Scenario-Concepts.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/development/NIEM-Scenario-Concepts.kif -------------------------------------------------------------------------------- /development/Offers.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/development/Offers.kif -------------------------------------------------------------------------------- /development/PolishCulture.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/development/PolishCulture.kif -------------------------------------------------------------------------------- /development/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/development/README -------------------------------------------------------------------------------- /development/Robot.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/development/Robot.kif -------------------------------------------------------------------------------- /development/Society.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/development/Society.kif -------------------------------------------------------------------------------- /development/Transport_2024.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/development/Transport_2024.kif -------------------------------------------------------------------------------- /development/TravelPolicies.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/development/TravelPolicies.kif -------------------------------------------------------------------------------- /development/Useful-terms_2023.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/development/Useful-terms_2023.kif -------------------------------------------------------------------------------- /development/modals.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/development/modals.kif -------------------------------------------------------------------------------- /development/tinyMed.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/development/tinyMed.kif -------------------------------------------------------------------------------- /development/tinySUMOGDPR.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/development/tinySUMOGDPR.kif -------------------------------------------------------------------------------- /domainEnglishFormat.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/domainEnglishFormat.kif -------------------------------------------------------------------------------- /emotion.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/emotion.kif -------------------------------------------------------------------------------- /engineering.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/engineering.kif -------------------------------------------------------------------------------- /english_format.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/english_format.kif -------------------------------------------------------------------------------- /mappings/DBPediaSUMO.ttl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/mappings/DBPediaSUMO.ttl -------------------------------------------------------------------------------- /mappings/DBpediaMapping.ttl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/mappings/DBpediaMapping.ttl -------------------------------------------------------------------------------- /mappings/DBpediaStrings.ttl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/mappings/DBpediaStrings.ttl -------------------------------------------------------------------------------- /mappings/DHS_Taxonomy.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/mappings/DHS_Taxonomy.kif -------------------------------------------------------------------------------- /mappings/FOAFmap.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/mappings/FOAFmap.kif -------------------------------------------------------------------------------- /mappings/HotelDetail.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/mappings/HotelDetail.kif -------------------------------------------------------------------------------- /mappings/ISCOgroups.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/mappings/ISCOgroups.kif -------------------------------------------------------------------------------- /mondial.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/mondial.kif -------------------------------------------------------------------------------- /naics.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/naics.kif -------------------------------------------------------------------------------- /nlg_supplement_formats.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/nlg_supplement_formats.kif -------------------------------------------------------------------------------- /pictureList-ImageNet.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/pictureList-ImageNet.kif -------------------------------------------------------------------------------- /pictureList.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/pictureList.kif -------------------------------------------------------------------------------- /tests/Lists.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/Lists.kif -------------------------------------------------------------------------------- /tests/Modals.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/Modals.txt -------------------------------------------------------------------------------- /tests/RCC.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/RCC.kif -------------------------------------------------------------------------------- /tests/SP01.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/SP01.kif.tq -------------------------------------------------------------------------------- /tests/SP02.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/SP02.kif -------------------------------------------------------------------------------- /tests/SP02.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/SP02.kif.tq -------------------------------------------------------------------------------- /tests/SP03.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/SP03.kif.tq -------------------------------------------------------------------------------- /tests/SP04.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/SP04.kif -------------------------------------------------------------------------------- /tests/SP04.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/SP04.kif.tq -------------------------------------------------------------------------------- /tests/SP26.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/SP26.kif.tq -------------------------------------------------------------------------------- /tests/SP37.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/SP37.kif.tq -------------------------------------------------------------------------------- /tests/SpatialQs.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/SpatialQs.txt -------------------------------------------------------------------------------- /tests/TPTP/.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/.gitattributes -------------------------------------------------------------------------------- /tests/TPTP/SP01SMp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/SP01SMp.tff -------------------------------------------------------------------------------- /tests/TPTP/SP01SMp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/SP01SMp.tptp -------------------------------------------------------------------------------- /tests/TPTP/SP01SMpf.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/SP01SMpf.tff -------------------------------------------------------------------------------- /tests/TPTP/SP01SMpf.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/SP01SMpf.tptp -------------------------------------------------------------------------------- /tests/TPTP/SP01Sp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/SP01Sp.tff -------------------------------------------------------------------------------- /tests/TPTP/SP01Sp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/SP01Sp.tptp -------------------------------------------------------------------------------- /tests/TPTP/SP02SMp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/SP02SMp.tff -------------------------------------------------------------------------------- /tests/TPTP/SP02SMp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/SP02SMp.tptp -------------------------------------------------------------------------------- /tests/TPTP/SP02SMpf.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/SP02SMpf.tff -------------------------------------------------------------------------------- /tests/TPTP/SP02SMpf.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/SP02SMpf.tptp -------------------------------------------------------------------------------- /tests/TPTP/SP02Sp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/SP02Sp.tff -------------------------------------------------------------------------------- /tests/TPTP/SP02Sp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/SP02Sp.tptp -------------------------------------------------------------------------------- /tests/TPTP/SP03SMp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/SP03SMp.tff -------------------------------------------------------------------------------- /tests/TPTP/SP03SMp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/SP03SMp.tptp -------------------------------------------------------------------------------- /tests/TPTP/SP03SMpf.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/SP03SMpf.tff -------------------------------------------------------------------------------- /tests/TPTP/SP03SMpf.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/SP03SMpf.tptp -------------------------------------------------------------------------------- /tests/TPTP/SP03Sp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/SP03Sp.tff -------------------------------------------------------------------------------- /tests/TPTP/SP03Sp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/SP03Sp.tptp -------------------------------------------------------------------------------- /tests/TPTP/SP04SMp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/SP04SMp.tff -------------------------------------------------------------------------------- /tests/TPTP/SP04SMp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/SP04SMp.tptp -------------------------------------------------------------------------------- /tests/TPTP/SP04SMpf.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/SP04SMpf.tff -------------------------------------------------------------------------------- /tests/TPTP/SP04SMpf.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/SP04SMpf.tptp -------------------------------------------------------------------------------- /tests/TPTP/SP04Sp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/SP04Sp.tff -------------------------------------------------------------------------------- /tests/TPTP/SP04Sp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/SP04Sp.tptp -------------------------------------------------------------------------------- /tests/TPTP/SP26SMTp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/SP26SMTp.tff -------------------------------------------------------------------------------- /tests/TPTP/SP26SMp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/SP26SMp.tff -------------------------------------------------------------------------------- /tests/TPTP/SP26SMp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/SP26SMp.tptp -------------------------------------------------------------------------------- /tests/TPTP/SP26SMpf.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/SP26SMpf.tff -------------------------------------------------------------------------------- /tests/TPTP/SP26SMpf.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/SP26SMpf.tptp -------------------------------------------------------------------------------- /tests/TPTP/SP26Sp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/SP26Sp.tff -------------------------------------------------------------------------------- /tests/TPTP/SP26Sp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/SP26Sp.tptp -------------------------------------------------------------------------------- /tests/TPTP/SP37SMp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/SP37SMp.tff -------------------------------------------------------------------------------- /tests/TPTP/SP37SMp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/SP37SMp.tptp -------------------------------------------------------------------------------- /tests/TPTP/SP37SMpf.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/SP37SMpf.tff -------------------------------------------------------------------------------- /tests/TPTP/SP37SMpf.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/SP37SMpf.tptp -------------------------------------------------------------------------------- /tests/TPTP/SP37Sp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/SP37Sp.tff -------------------------------------------------------------------------------- /tests/TPTP/SP37Sp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/SP37Sp.tptp -------------------------------------------------------------------------------- /tests/TPTP/SUMO.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/SUMO.tff -------------------------------------------------------------------------------- /tests/TPTP/SUMO.thf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/SUMO.thf -------------------------------------------------------------------------------- /tests/TPTP/SUMO.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/SUMO.tptp -------------------------------------------------------------------------------- /tests/TPTP/SUMOMILO.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/SUMOMILO.tff -------------------------------------------------------------------------------- /tests/TPTP/SUMOMILO.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/SUMOMILO.tptp -------------------------------------------------------------------------------- /tests/TPTP/SUMOMILOTrans.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/SUMOMILOTrans.tff -------------------------------------------------------------------------------- /tests/TPTP/SUMOMILOTrans.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/SUMOMILOTrans.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG10SMp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG10SMp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG10SMp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG10SMp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG10SMpf.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG10SMpf.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG10SMpf.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG10SMpf.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG10Sp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG10Sp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG10Sp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG10Sp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG11SMp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG11SMp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG11SMpf.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG11SMpf.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG11Sp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG11Sp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG12SMp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG12SMp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG12SMp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG12SMp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG12SMpf.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG12SMpf.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG12SMpf.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG12SMpf.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG12Sp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG12Sp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG12Sp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG12Sp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG13SMp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG13SMp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG13SMp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG13SMp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG13SMpf.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG13SMpf.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG13SMpf.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG13SMpf.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG13Sp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG13Sp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG13Sp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG13Sp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG14SMp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG14SMp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG14SMp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG14SMp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG14SMpf.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG14SMpf.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG14SMpf.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG14SMpf.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG14Sp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG14Sp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG14Sp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG14Sp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG15SMp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG15SMp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG15SMp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG15SMp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG15SMpf.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG15SMpf.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG15SMpf.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG15SMpf.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG15Sp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG15Sp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG15Sp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG15Sp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG16SMp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG16SMp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG16SMp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG16SMp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG16SMpf.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG16SMpf.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG16SMpf.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG16SMpf.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG16Sp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG16Sp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG16Sp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG16Sp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG17SMp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG17SMp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG17SMp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG17SMp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG17SMpf.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG17SMpf.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG17SMpf.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG17SMpf.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG17Sp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG17Sp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG17Sp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG17Sp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG18SMp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG18SMp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG18SMp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG18SMp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG18SMpf.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG18SMpf.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG18SMpf.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG18SMpf.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG18Sp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG18Sp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG18Sp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG18Sp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG19SMp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG19SMp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG19SMpf.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG19SMpf.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG19Sp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG19Sp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG1SMp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG1SMp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG1SMp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG1SMp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG1SMpf.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG1SMpf.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG1SMpf.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG1SMpf.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG1Sp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG1Sp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG1Sp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG1Sp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG20SMp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG20SMp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG20SMpf.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG20SMpf.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG20Sp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG20Sp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG21SMp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG21SMp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG21SMpf.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG21SMpf.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG21Sp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG21Sp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG22SMp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG22SMp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG22SMp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG22SMp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG22SMpf.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG22SMpf.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG22SMpf.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG22SMpf.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG22Sp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG22Sp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG22Sp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG22Sp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG23SMp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG23SMp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG23SMp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG23SMp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG23SMpf.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG23SMpf.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG23SMpf.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG23SMpf.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG23Sp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG23Sp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG23Sp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG23Sp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG24SMp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG24SMp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG24SMp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG24SMp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG24SMpf.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG24SMpf.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG24SMpf.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG24SMpf.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG24Sp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG24Sp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG24Sp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG24Sp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG26SMp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG26SMp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG26SMp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG26SMp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG26SMpf.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG26SMpf.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG26SMpf.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG26SMpf.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG26Sp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG26Sp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG26Sp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG26Sp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG29SMp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG29SMp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG29SMp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG29SMp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG29SMpf.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG29SMpf.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG29SMpf.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG29SMpf.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG29Sp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG29Sp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG29Sp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG29Sp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG2SMp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG2SMp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG2SMp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG2SMp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG2SMpf.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG2SMpf.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG2SMpf.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG2SMpf.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG2Sp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG2Sp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG2Sp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG2Sp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG30SMp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG30SMp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG30SMp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG30SMp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG30SMpf.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG30SMpf.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG30SMpf.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG30SMpf.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG30Sp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG30Sp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG30Sp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG30Sp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG31SMp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG31SMp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG31SMp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG31SMp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG31SMpf.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG31SMpf.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG31SMpf.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG31SMpf.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG31Sp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG31Sp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG31Sp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG31Sp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG32SMp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG32SMp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG32SMp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG32SMp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG32SMpf.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG32SMpf.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG32SMpf.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG32SMpf.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG32Sp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG32Sp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG32Sp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG32Sp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG33SMp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG33SMp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG33SMpf.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG33SMpf.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG33Sp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG33Sp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG34SMp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG34SMp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG34SMp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG34SMp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG34SMpf.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG34SMpf.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG34SMpf.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG34SMpf.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG34Sp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG34Sp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG34Sp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG34Sp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG35SMp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG35SMp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG35SMp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG35SMp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG35SMpf.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG35SMpf.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG35SMpf.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG35SMpf.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG35Sp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG35Sp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG35Sp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG35Sp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG37SMp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG37SMp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG37SMp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG37SMp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG37SMpf.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG37SMpf.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG37SMpf.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG37SMpf.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG37Sp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG37Sp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG37Sp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG37Sp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG38SMp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG38SMp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG38SMp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG38SMp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG38SMpf.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG38SMpf.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG38SMpf.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG38SMpf.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG38Sp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG38Sp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG38Sp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG38Sp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG3SMp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG3SMp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG3SMp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG3SMp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG3SMpf.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG3SMpf.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG3SMpf.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG3SMpf.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG3Sp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG3Sp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG3Sp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG3Sp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG47SMp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG47SMp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG47SMpf.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG47SMpf.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG47Sp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG47Sp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG48SMp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG48SMp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG48SMpf.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG48SMpf.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG48Sp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG48Sp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG49SMp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG49SMp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG49SMpf.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG49SMpf.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG49Sp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG49Sp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG50SMp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG50SMp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG50SMp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG50SMp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG50SMpf.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG50SMpf.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG50SMpf.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG50SMpf.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG50Sp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG50Sp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG50Sp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG50Sp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG5SMp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG5SMp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG5SMp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG5SMp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG5SMpf.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG5SMpf.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG5SMpf.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG5SMpf.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG5Sp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG5Sp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG5Sp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG5Sp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG6SMp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG6SMp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG6SMp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG6SMp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG6SMpf.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG6SMpf.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG6SMpf.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG6SMpf.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG6Sp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG6Sp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG6Sp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG6Sp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG7SMp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG7SMp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG7SMp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG7SMp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG7SMpf.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG7SMpf.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG7SMpf.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG7SMpf.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG7Sp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG7Sp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG7Sp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG7Sp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG8SMp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG8SMp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG8SMp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG8SMp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG8SMpf.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG8SMpf.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG8SMpf.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG8SMpf.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG8Sp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG8Sp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG8Sp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG8Sp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG9SMp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG9SMp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG9SMp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG9SMp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG9SMpf.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG9SMpf.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG9SMpf.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG9SMpf.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQG9Sp.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG9Sp.tff -------------------------------------------------------------------------------- /tests/TPTP/TQG9Sp.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQG9Sp.tptp -------------------------------------------------------------------------------- /tests/TPTP/TQM1.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQM1.tff -------------------------------------------------------------------------------- /tests/TPTP/TQM10.thf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQM10.thf -------------------------------------------------------------------------------- /tests/TPTP/TQM11.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQM11.tff -------------------------------------------------------------------------------- /tests/TPTP/TQM12.thf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQM12.thf -------------------------------------------------------------------------------- /tests/TPTP/TQM2.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQM2.tff -------------------------------------------------------------------------------- /tests/TPTP/TQM3.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQM3.tff -------------------------------------------------------------------------------- /tests/TPTP/TQM3.thf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQM3.thf -------------------------------------------------------------------------------- /tests/TPTP/TQM3S.thf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQM3S.thf -------------------------------------------------------------------------------- /tests/TPTP/TQM4.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQM4.tff -------------------------------------------------------------------------------- /tests/TPTP/TQM5.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQM5.tff -------------------------------------------------------------------------------- /tests/TPTP/TQM6.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQM6.tff -------------------------------------------------------------------------------- /tests/TPTP/TQM6f.thf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQM6f.thf -------------------------------------------------------------------------------- /tests/TPTP/TQM6g.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQM6g.tff -------------------------------------------------------------------------------- /tests/TPTP/TQM6g.thf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQM6g.thf -------------------------------------------------------------------------------- /tests/TPTP/TQM6gS.thf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQM6gS.thf -------------------------------------------------------------------------------- /tests/TPTP/TQM7.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQM7.tff -------------------------------------------------------------------------------- /tests/TPTP/TQM7.thf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQM7.thf -------------------------------------------------------------------------------- /tests/TPTP/TQM7S.thf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQM7S.thf -------------------------------------------------------------------------------- /tests/TPTP/TQM8.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQM8.tff -------------------------------------------------------------------------------- /tests/TPTP/TQM8.thf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQM8.thf -------------------------------------------------------------------------------- /tests/TPTP/TQM8a.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQM8a.tff -------------------------------------------------------------------------------- /tests/TPTP/TQM8a.thf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQM8a.thf -------------------------------------------------------------------------------- /tests/TPTP/TQM9.thf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQM9.thf -------------------------------------------------------------------------------- /tests/TPTP/TQT-ax.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQT-ax.tff -------------------------------------------------------------------------------- /tests/TPTP/TQT0.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQT0.tff -------------------------------------------------------------------------------- /tests/TPTP/TQT1.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQT1.tff -------------------------------------------------------------------------------- /tests/TPTP/TQT15.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQT15.tff -------------------------------------------------------------------------------- /tests/TPTP/TQT1a.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQT1a.tff -------------------------------------------------------------------------------- /tests/TPTP/TQT1b.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQT1b.tff -------------------------------------------------------------------------------- /tests/TPTP/TQT1c.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQT1c.tff -------------------------------------------------------------------------------- /tests/TPTP/TQT1d.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQT1d.tff -------------------------------------------------------------------------------- /tests/TPTP/TQT1e.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQT1e.tff -------------------------------------------------------------------------------- /tests/TPTP/TQT1f.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQT1f.tff -------------------------------------------------------------------------------- /tests/TPTP/TQT1g.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQT1g.tff -------------------------------------------------------------------------------- /tests/TPTP/TQT2.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQT2.tff -------------------------------------------------------------------------------- /tests/TPTP/TQT20.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQT20.tff -------------------------------------------------------------------------------- /tests/TPTP/TQT21.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQT21.tff -------------------------------------------------------------------------------- /tests/TPTP/TQT22.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQT22.tff -------------------------------------------------------------------------------- /tests/TPTP/TQT23.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQT23.tff -------------------------------------------------------------------------------- /tests/TPTP/TQT24.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQT24.tff -------------------------------------------------------------------------------- /tests/TPTP/TQT25.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQT25.tff -------------------------------------------------------------------------------- /tests/TPTP/TQT26.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQT26.tff -------------------------------------------------------------------------------- /tests/TPTP/TQT27.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQT27.tff -------------------------------------------------------------------------------- /tests/TPTP/TQT28.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQT28.tff -------------------------------------------------------------------------------- /tests/TPTP/TQT29.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQT29.tff -------------------------------------------------------------------------------- /tests/TPTP/TQT3.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQT3.tff -------------------------------------------------------------------------------- /tests/TPTP/TQT30.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQT30.tff -------------------------------------------------------------------------------- /tests/TPTP/TQT31.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQT31.tff -------------------------------------------------------------------------------- /tests/TPTP/TQT32.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQT32.tff -------------------------------------------------------------------------------- /tests/TPTP/TQT33.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQT33.tff -------------------------------------------------------------------------------- /tests/TPTP/TQT34.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQT34.tff -------------------------------------------------------------------------------- /tests/TPTP/TQT35.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQT35.tff -------------------------------------------------------------------------------- /tests/TPTP/TQT36.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQT36.tff -------------------------------------------------------------------------------- /tests/TPTP/TQT37.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQT37.tff -------------------------------------------------------------------------------- /tests/TPTP/TQT38.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQT38.tff -------------------------------------------------------------------------------- /tests/TPTP/TQT39.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQT39.tff -------------------------------------------------------------------------------- /tests/TPTP/TQT4.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQT4.tff -------------------------------------------------------------------------------- /tests/TPTP/TQT40.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQT40.tff -------------------------------------------------------------------------------- /tests/TPTP/TQT41.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQT41.tff -------------------------------------------------------------------------------- /tests/TPTP/TQT42.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQT42.tff -------------------------------------------------------------------------------- /tests/TPTP/TQT43.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQT43.tff -------------------------------------------------------------------------------- /tests/TPTP/TQT44.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQT44.tff -------------------------------------------------------------------------------- /tests/TPTP/TQT45.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQT45.tff -------------------------------------------------------------------------------- /tests/TPTP/TQT46.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQT46.tff -------------------------------------------------------------------------------- /tests/TPTP/TQT47.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQT47.tff -------------------------------------------------------------------------------- /tests/TPTP/TQT48.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQT48.tff -------------------------------------------------------------------------------- /tests/TPTP/TQT49.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/TQT49.tff -------------------------------------------------------------------------------- /tests/TPTP/printIproverRes.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/printIproverRes.sh -------------------------------------------------------------------------------- /tests/TPTP/printVampRes.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/printVampRes.sh -------------------------------------------------------------------------------- /tests/TPTP/runVampAll.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/runVampAll.sh -------------------------------------------------------------------------------- /tests/TPTP/testIproverCond.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/testIproverCond.sh -------------------------------------------------------------------------------- /tests/TPTP/testVampireCond.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TPTP/testVampireCond.sh -------------------------------------------------------------------------------- /tests/TQC1.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQC1.kif.tq -------------------------------------------------------------------------------- /tests/TQC2.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQC2.kif.tq -------------------------------------------------------------------------------- /tests/TQC2b.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQC2b.kif.tq -------------------------------------------------------------------------------- /tests/TQC2b2.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQC2b2.kif.tq -------------------------------------------------------------------------------- /tests/TQC3.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQC3.kif.tq -------------------------------------------------------------------------------- /tests/TQG1.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG1.kif.tq -------------------------------------------------------------------------------- /tests/TQG10.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG10.kif.tq -------------------------------------------------------------------------------- /tests/TQG11.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG11.kif.tq -------------------------------------------------------------------------------- /tests/TQG12.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG12.kif.tq -------------------------------------------------------------------------------- /tests/TQG13.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG13.kif.tq -------------------------------------------------------------------------------- /tests/TQG14.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG14.kif.tq -------------------------------------------------------------------------------- /tests/TQG15.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG15.kif.tq -------------------------------------------------------------------------------- /tests/TQG16.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG16.kif.tq -------------------------------------------------------------------------------- /tests/TQG17.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG17.kif.tq -------------------------------------------------------------------------------- /tests/TQG18.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG18.kif.tq -------------------------------------------------------------------------------- /tests/TQG19.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG19.kif.tq -------------------------------------------------------------------------------- /tests/TQG2.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG2.kif.tq -------------------------------------------------------------------------------- /tests/TQG20.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG20.kif.tq -------------------------------------------------------------------------------- /tests/TQG21.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG21.kif.tq -------------------------------------------------------------------------------- /tests/TQG22.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG22.kif.tq -------------------------------------------------------------------------------- /tests/TQG23.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG23.kif.tq -------------------------------------------------------------------------------- /tests/TQG24.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG24.kif.tq -------------------------------------------------------------------------------- /tests/TQG25.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG25.kif.tq -------------------------------------------------------------------------------- /tests/TQG26.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG26.kif.tq -------------------------------------------------------------------------------- /tests/TQG27.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG27.kif.tq -------------------------------------------------------------------------------- /tests/TQG28.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG28.kif.tq -------------------------------------------------------------------------------- /tests/TQG29.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG29.kif.tq -------------------------------------------------------------------------------- /tests/TQG3.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG3.kif.tq -------------------------------------------------------------------------------- /tests/TQG30.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG30.kif.tq -------------------------------------------------------------------------------- /tests/TQG31.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG31.kif.tq -------------------------------------------------------------------------------- /tests/TQG32.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG32.kif.tq -------------------------------------------------------------------------------- /tests/TQG33.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG33.kif.tq -------------------------------------------------------------------------------- /tests/TQG34.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG34.kif.tq -------------------------------------------------------------------------------- /tests/TQG35.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG35.kif.tq -------------------------------------------------------------------------------- /tests/TQG36.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG36.kif.tq -------------------------------------------------------------------------------- /tests/TQG37.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG37.kif.tq -------------------------------------------------------------------------------- /tests/TQG38.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG38.kif.tq -------------------------------------------------------------------------------- /tests/TQG39.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG39.kif.tq -------------------------------------------------------------------------------- /tests/TQG4.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG4.kif.tq -------------------------------------------------------------------------------- /tests/TQG40.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG40.kif.tq -------------------------------------------------------------------------------- /tests/TQG41.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG41.kif.tq -------------------------------------------------------------------------------- /tests/TQG42.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG42.kif.tq -------------------------------------------------------------------------------- /tests/TQG43.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG43.kif.tq -------------------------------------------------------------------------------- /tests/TQG44.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG44.kif.tq -------------------------------------------------------------------------------- /tests/TQG45.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG45.kif.tq -------------------------------------------------------------------------------- /tests/TQG46.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG46.kif.tq -------------------------------------------------------------------------------- /tests/TQG47.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG47.kif.tq -------------------------------------------------------------------------------- /tests/TQG48.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG48.kif.tq -------------------------------------------------------------------------------- /tests/TQG49.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG49.kif.tq -------------------------------------------------------------------------------- /tests/TQG5.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG5.kif.tq -------------------------------------------------------------------------------- /tests/TQG50.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG50.kif.tq -------------------------------------------------------------------------------- /tests/TQG51.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG51.kif.tq -------------------------------------------------------------------------------- /tests/TQG51b.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG51b.kif.tq -------------------------------------------------------------------------------- /tests/TQG52.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG52.kif.tq -------------------------------------------------------------------------------- /tests/TQG6.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG6.kif.tq -------------------------------------------------------------------------------- /tests/TQG7.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG7.kif.tq -------------------------------------------------------------------------------- /tests/TQG8.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG8.kif.tq -------------------------------------------------------------------------------- /tests/TQG9.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQG9.kif.tq -------------------------------------------------------------------------------- /tests/TQM10.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQM10.kif -------------------------------------------------------------------------------- /tests/TQM3.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQM3.kif -------------------------------------------------------------------------------- /tests/TQM3.kif.tq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQM3.kif.tq -------------------------------------------------------------------------------- /tests/TQM8.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQM8.kif -------------------------------------------------------------------------------- /tests/TQM9.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQM9.kif -------------------------------------------------------------------------------- /tests/TQSP/TPTP/SP01S.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/SP01S.tff -------------------------------------------------------------------------------- /tests/TQSP/TPTP/SP01S.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/SP01S.tptp -------------------------------------------------------------------------------- /tests/TQSP/TPTP/SP02S.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/SP02S.tff -------------------------------------------------------------------------------- /tests/TQSP/TPTP/SP02S.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/SP02S.tptp -------------------------------------------------------------------------------- /tests/TQSP/TPTP/SP03S.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/SP03S.tff -------------------------------------------------------------------------------- /tests/TQSP/TPTP/SP03S.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/SP03S.tptp -------------------------------------------------------------------------------- /tests/TQSP/TPTP/SP04S.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/SP04S.tff -------------------------------------------------------------------------------- /tests/TQSP/TPTP/SP04S.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/SP04S.tptp -------------------------------------------------------------------------------- /tests/TQSP/TPTP/SP26S.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/SP26S.tff -------------------------------------------------------------------------------- /tests/TQSP/TPTP/SP26S.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/SP26S.tptp -------------------------------------------------------------------------------- /tests/TQSP/TPTP/SP37S.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/SP37S.tff -------------------------------------------------------------------------------- /tests/TQSP/TPTP/SP37S.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/SP37S.tptp -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG01S.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG01S.tff -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG01S.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG01S.tptp -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG02S.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG02S.tff -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG02S.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG02S.tptp -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG03S.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG03S.tff -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG03S.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG03S.tptp -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG05S.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG05S.tff -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG05S.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG05S.tptp -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG06S.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG06S.tff -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG06S.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG06S.tptp -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG07S.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG07S.tff -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG07S.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG07S.tptp -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG08S.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG08S.tff -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG08S.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG08S.tptp -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG09S.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG09S.tff -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG09S.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG09S.tptp -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG10S.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG10S.tff -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG10S.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG10S.tptp -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG11S.tff: -------------------------------------------------------------------------------- 1 | tff(query_0,conjecture,(( 12 = $product(3 ,4) ))). 2 | -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG12S.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG12S.tff -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG12S.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG12S.tptp -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG13S.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG13S.tff -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG13S.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG13S.tptp -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG14S.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG14S.tff -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG14S.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG14S.tptp -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG15S.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG15S.tff -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG15S.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG15S.tptp -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG16S.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG16S.tff -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG16S.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG16S.tptp -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG17S.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG17S.tff -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG17S.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG17S.tptp -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG18S.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG18S.tff -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG18S.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG18S.tptp -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG19S.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG19S.tff -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG20S.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG20S.tff -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG21S.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG21S.tff -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG22S.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG22S.tff -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG22S.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG22S.tptp -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG23S.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG23S.tff -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG23S.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG23S.tptp -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG24S.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG24S.tff -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG24S.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG24S.tptp -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG26S.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG26S.tff -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG26S.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG26S.tptp -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG29S.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG29S.tff -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG29S.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG29S.tptp -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG30S.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG30S.tff -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG30S.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG30S.tptp -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG31S.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG31S.tff -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG31S.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG31S.tptp -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG32S.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG32S.tff -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG32S.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG32S.tptp -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG33S.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG33S.tff -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG34S.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG34S.tff -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG34S.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG34S.tptp -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG35S.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG35S.tff -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG35S.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG35S.tptp -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG37S.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG37S.tff -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG37S.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG37S.tptp -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG38S.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG38S.tff -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG38S.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG38S.tptp -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG47S.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG47S.tptp -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG48S.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG48S.tptp -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG49S.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG49S.tptp -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG50S.tff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG50S.tff -------------------------------------------------------------------------------- /tests/TQSP/TPTP/TQG50S.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/TPTP/TQG50S.tptp -------------------------------------------------------------------------------- /tests/TQSP/full.sed: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/TQSP/mid.sed: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/mid.sed -------------------------------------------------------------------------------- /tests/TQSP/top.sed: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/TQSP/top.sed -------------------------------------------------------------------------------- /tests/tq_notes.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tests/tq_notes.txt -------------------------------------------------------------------------------- /tinyHOL.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tinyHOL.kif -------------------------------------------------------------------------------- /tinyIntSUMO.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tinyIntSUMO.kif -------------------------------------------------------------------------------- /tinySUMO.kif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ontologyportal/sumo/HEAD/tinySUMO.kif --------------------------------------------------------------------------------