From f5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 Mon Sep 17 00:00:00 2001 From: "john.j.camilleri" Date: Mon, 16 Sep 2013 07:17:27 +0000 Subject: Remove contribs and examples Everything has now been moved to a separate repository at https://github.com/GrammaticalFramework/gf-contrib The contents of the examples folder are build during SetupWeb --- examples/SUMO/TPTP/WMDAx.p | 914 --------------------------------------------- 1 file changed, 914 deletions(-) delete mode 100644 examples/SUMO/TPTP/WMDAx.p (limited to 'examples/SUMO/TPTP/WMDAx.p') diff --git a/examples/SUMO/TPTP/WMDAx.p b/examples/SUMO/TPTP/WMDAx.p deleted file mode 100644 index d4689102e..000000000 --- a/examples/SUMO/TPTP/WMDAx.p +++ /dev/null @@ -1,914 +0,0 @@ -fof(axWMD0, axiom, - ( ! [X] : - (hasType(type_AbrinToxin, X) => hasType(type_Protein, X)))). - -fof(axWMD1, axiom, - ( ! [X] : - (hasType(type_AbrinToxin, X) => hasType(type_Toxin, X)))). - -fof(axWMD2, axiom, - ( ! [X] : - (hasType(type_AerosolizedAgent, X) => hasType(type_BiochemicalAgent, X)))). - -fof(axWMD3, axiom, - ( ! [X] : - (hasType(type_AerosolizedBacillusAnthracis, X) => hasType(type_AerosolizedAgent, X)))). - -fof(axWMD4, axiom, - ( ! [X] : - (hasType(type_AerosolizedBacillusAnthracis, X) => hasType(type_BacillusAnthracis, X)))). - -fof(axWMD5, axiom, - ( ! [X] : - (hasType(type_Aflatoxin, X) => hasType(type_Mycotoxin, X)))). - -fof(axWMD6, axiom, - ( ! [X] : - (hasType(type_AquiredImmunoDeficiencySyndrome, X) => hasType(type_DiseaseOrSyndrome, X)))). - -fof(axWMD7, axiom, - ( ! [X] : - (hasType(type_Arsine, X) => hasType(type_BloodAgent, X)))). - -fof(axWMD8, axiom, - ( ! [X] : - (hasType(type_Atropine, X) => hasType(type_BiologicallyActiveSubstance, X)))). - -fof(axWMD9, axiom, - ( ! [X] : - (hasType(type_BZGas, X) => hasType(type_IncapacitatingAgent, X)))). - -fof(axWMD10, axiom, - ( ! [X] : - (hasType(type_BacillusAnthracis, X) => hasType(type_BacterialAgent, X)))). - -fof(axWMD11, axiom, - ( ! [X] : - (hasType(type_BacillusCereus, X) => hasType(type_BacterialAgent, X)))). - -fof(axWMD12, axiom, - ( ! [X] : - (hasType(type_Bacitracin, X) => hasType(type_TopicalAntibiotic, X)))). - -fof(axWMD13, axiom, - ( ! [X] : - (hasType(type_BacterialAgent, X) => hasType(type_Bacterium, X)))). - -fof(axWMD14, axiom, - ( ! [X] : - (hasType(type_BacterialAgent, X) => hasType(type_ToxicOrganism, X)))). - -fof(axWMD15, axiom, - ( ! [X] : - (hasType(type_Batrachotoxin, X) => hasType(type_BodySubstance, X)))). - -fof(axWMD16, axiom, - ( ! [X] : - (hasType(type_Batrachotoxin, X) => hasType(type_Toxin, X)))). - -fof(axWMD17, axiom, - ( ! [X] : - (hasType(type_BiochemicalAgent, X) => hasType(type_BiologicallyActiveSubstance, X)))). - -fof(axWMD18, axiom, - ( ! [X] : - (hasType(type_BiochemicalAttack, X) => hasType(type_Attack, X)))). - -fof(axWMD19, axiom, - ( ! [X] : - (hasType(type_BiochemicalWeapon, X) => hasType(type_WeaponOfMassDestruction, X)))). - -fof(axWMD20, axiom, - ( ! [X] : - (hasType(type_BiologicalAgent, X) => hasType(type_BiochemicalAgent, X)))). - -fof(axWMD21, axiom, - ( ! [X] : - (hasType(type_BiologicalWeapon, X) => hasType(type_BiochemicalWeapon, X)))). - -fof(axWMD22, axiom, - ( ! [X] : - (hasType(type_BlisterAgent, X) => hasType(type_ChemicalAgent, X)))). - -fof(axWMD23, axiom, - ( ! [X] : - (hasType(type_BloodAgent, X) => hasType(type_ChemicalAgent, X)))). - -fof(axWMD24, axiom, - ( ! [X] : - (hasType(type_BordetellaPertussis, X) => hasType(type_BacterialAgent, X)))). - -fof(axWMD25, axiom, - ( ! [X] : - (hasType(type_BotulinumToxin, X) => hasType(type_BodySubstance, X)))). - -fof(axWMD26, axiom, - ( ! [X] : - (hasType(type_BotulinumToxin, X) => hasType(type_LifeThreateningAgent, X)))). - -fof(axWMD27, axiom, - ( ! [X] : - (hasType(type_BotulinumToxin, X) => hasType(type_Toxin, X)))). - -fof(axWMD28, axiom, - ( ! [X] : - (hasType(type_BrucellaBacterium, X) => hasType(type_BacterialAgent, X)))). - -fof(axWMD29, axiom, - ( ! [X] : - (hasType(type_BurkholderiaMallei, X) => hasType(type_BacterialAgent, X)))). - -fof(axWMD30, axiom, - ( ! [X] : - (hasType(type_BurkholderiaPseudomallei, X) => hasType(type_BacterialAgent, X)))). - -fof(axWMD31, axiom, - ( ! [X] : - (hasType(type_CSGas, X) => hasType(type_IncapacitatingAgent, X)))). - -fof(axWMD32, axiom, - ( ! [X] : - (hasType(type_ChemicalAgent, X) => hasType(type_BiochemicalAgent, X)))). - -fof(axWMD33, axiom, - ( ! [X] : - (hasType(type_ChemicalAgent, X) => hasType(type_BiologicallyActiveSubstance, X)))). - -fof(axWMD34, axiom, - ( ! [X] : - (hasType(type_ChemicalAgent, X) => hasType(type_CompoundSubstance, X)))). - -fof(axWMD35, axiom, - ( ! [X] : - (hasType(type_ChemicalWeapon, X) => hasType(type_BiochemicalWeapon, X)))). - -fof(axWMD36, axiom, - ( ! [X] : - (hasType(type_ChlamydiaPsittaci, X) => hasType(type_BacterialAgent, X)))). - -fof(axWMD37, axiom, - ( ! [X] : - (hasType(type_ChlorineGas, X) => hasType(type_ChokingAgent, X)))). - -fof(axWMD38, axiom, - ( ! [X] : - (hasType(type_Chloropicrin, X) => hasType(type_ChokingAgent, X)))). - -fof(axWMD39, axiom, - ( ! [X] : - (hasType(type_ChokingAgent, X) => hasType(type_ChemicalAgent, X)))). - -fof(axWMD40, axiom, - ( ! [X] : - (hasType(type_Ciprofloxacin, X) => hasType(type_OralAntibiotic, X)))). - -fof(axWMD41, axiom, - ( ! [X] : - (hasType(type_ClostridiumBotulinum, X) => hasType(type_BacterialAgent, X)))). - -fof(axWMD42, axiom, - ( ! [X] : - (hasType(type_ClostridiumPerfringens, X) => hasType(type_BacterialAgent, X)))). - -fof(axWMD43, axiom, - ( ! [X] : - (hasType(type_ClostridiumTetani, X) => hasType(type_BacterialAgent, X)))). - -fof(axWMD44, axiom, - ( ! [X] : - (hasType(type_CoccidiodesPosadasii, X) => hasType(type_FungalAgent, X)))). - -fof(axWMD45, axiom, - ( ! [X] : - (hasType(type_CoccidiodesPosadasii, X) => hasType(type_LifeThreateningAgent, X)))). - -fof(axWMD46, axiom, - ( ! [X] : - (hasType(type_CoccidioidesImmitis, X) => hasType(type_FungalAgent, X)))). - -fof(axWMD47, axiom, - ( ! [X] : - (hasType(type_CoccidioidesImmitis, X) => hasType(type_LifeThreateningAgent, X)))). - -fof(axWMD48, axiom, - ( ! [X] : - (hasType(type_Conotoxin, X) => hasType(type_BodySubstance, X)))). - -fof(axWMD49, axiom, - ( ! [X] : - (hasType(type_Conotoxin, X) => hasType(type_CompoundSubstance, X)))). - -fof(axWMD50, axiom, - ( ! [X] : - (hasType(type_Conotoxin, X) => hasType(type_Toxin, X)))). - -fof(axWMD51, axiom, - ( ! [X] : - (hasType(type_CorynebacteriumDiphtheriae, X) => hasType(type_BacterialAgent, X)))). - -fof(axWMD52, axiom, - ( ! [X] : - (hasType(type_CoxiellaBurnetii, X) => hasType(type_RickettsialAgent, X)))). - -fof(axWMD53, axiom, - ( ! [X] : - (hasType(type_CrimeanCongoHemorrhagicFeverVirus, X) => hasType(type_ViralAgent, X)))). - -fof(axWMD54, axiom, - ( ! [X] : - (hasType(type_CyanogenChloride, X) => hasType(type_BloodAgent, X)))). - -fof(axWMD55, axiom, - ( ! [X] : - (hasType(type_DeliveringWeaponOfMassDestruction, X) => hasType(type_Making, X)))). - -fof(axWMD56, axiom, - ( ! [X] : - (hasType(type_DengueFeverVirus, X) => hasType(type_ViralAgent, X)))). - -fof(axWMD57, axiom, - ( ! [X] : - (hasType(type_DeployingWeaponOfMassDestruction, X) => hasType(type_IntentionalProcess, X)))). - -fof(axWMD58, axiom, - ( ! [X] : - (hasType(type_DeployingWeaponOfMassDestruction, X) => hasType(type_Putting, X)))). - -fof(axWMD59, axiom, - ( ! [X] : - (hasType(type_DevelopingWeaponOfMassDestruction, X) => hasType(type_Making, X)))). - -fof(axWMD60, axiom, - ( ! [X] : - (hasType(type_Diacetoxyscirpenol, X) => hasType(type_Mycotoxin, X)))). - -fof(axWMD61, axiom, - ( ! [X] : - (hasType(type_Dimercaprol, X) => hasType(type_BiologicallyActiveSubstance, X)))). - -fof(axWMD62, axiom, - ( ! [X] : - (hasType(type_Diphosgene, X) => hasType(type_ChokingAgent, X)))). - -fof(axWMD63, axiom, - ( ! [X] : - (hasType(type_DismantlingWeaponOfMassDestruction, X) => hasType(type_IntentionalProcess, X)))). - -fof(axWMD64, axiom, - ( ! [X] : - (hasType(type_Doxycycline, X) => hasType(type_OralAntibiotic, X)))). - -fof(axWMD65, axiom, - ( ! [X] : - (hasType(type_EasternEquineEncephalitisVirus, X) => hasType(type_ViralAgent, X)))). - -fof(axWMD66, axiom, - ( ! [X] : - (hasType(type_EbolaVirus, X) => hasType(type_ViralAgent, X)))). - -fof(axWMD67, axiom, - ( ! [X] : - (hasType(type_EpsilonToxin, X) => hasType(type_BodySubstance, X)))). - -fof(axWMD68, axiom, - ( ! [X] : - (hasType(type_EpsilonToxin, X) => hasType(type_Toxin, X)))). - -fof(axWMD69, axiom, - ( ! [X] : - (hasType(type_EscherichiaColi0157H7, X) => hasType(type_BacterialAgent, X)))). - -fof(axWMD70, axiom, - ( ! [X] : - (hasType(type_FlexalVirus, X) => hasType(type_ViralAgent, X)))). - -fof(axWMD71, axiom, - ( ! [X] : - (hasType(type_FootAndMouthVirus, X) => hasType(type_ViralAgent, X)))). - -fof(axWMD72, axiom, - ( ! [X] : - (hasType(type_FrancisellaTularensis, X) => hasType(type_BacterialAgent, X)))). - -fof(axWMD73, axiom, - ( ! [X] : - (hasType(type_FungalAgent, X) => hasType(type_Fungus, X)))). - -fof(axWMD74, axiom, - ( ! [X] : - (hasType(type_FungalAgent, X) => hasType(type_ToxicOrganism, X)))). - -fof(axWMD75, axiom, - ( ! [X] : - (hasType(type_GF, X) => hasType(type_GSeriesNerveAgent, X)))). - -fof(axWMD76, axiom, - ( ! [X] : - (hasType(type_GSeriesNerveAgent, X) => hasType(type_NerveAgent, X)))). - -fof(axWMD77, axiom, - ( ! [X] : - (hasType(type_GeneticallyEngineeredOrganism, X) => hasType(type_Organism, X)))). - -fof(axWMD78, axiom, - ( ! [X] : - (hasType(type_GiardiaLamblia, X) => hasType(type_BacterialAgent, X)))). - -fof(axWMD79, axiom, - ( ! [X] : - (hasType(type_GuanaritoVirus, X) => hasType(type_ViralAgent, X)))). - -fof(axWMD80, axiom, - ( ! [X] : - (hasType(type_HIVVirus, X) => hasType(type_ViralAgent, X)))). - -fof(axWMD81, axiom, - ( ! [X] : - (hasType(type_HemorrhagicFever, X) => hasType(type_ViralDisease, X)))). - -fof(axWMD82, axiom, - ( ! [X] : - (hasType(type_HendraVirus, X) => hasType(type_ViralAgent, X)))). - -fof(axWMD83, axiom, - ( ! [X] : - (hasType(type_HepatitisAVirus, X) => hasType(type_HepatitisVirus, X)))). - -fof(axWMD84, axiom, - ( ! [X] : - (hasType(type_HepatitisBVirus, X) => hasType(type_HepatitisVirus, X)))). - -fof(axWMD85, axiom, - ( ! [X] : - (hasType(type_HepatitisCVirus, X) => hasType(type_HepatitisVirus, X)))). - -fof(axWMD86, axiom, - ( ! [X] : - (hasType(type_HepatitisVirus, X) => hasType(type_ViralAgent, X)))). - -fof(axWMD87, axiom, - ( ! [X] : - (hasType(type_Hepatitis, X) => hasType(type_ViralDisease, X)))). - -fof(axWMD88, axiom, - ( ! [X] : - (hasType(type_HerpesBVirus, X) => hasType(type_ViralAgent, X)))). - -fof(axWMD89, axiom, - ( ! [X] : - (hasType(type_HydrogenCyanide, X) => hasType(type_BloodAgent, X)))). - -fof(axWMD90, axiom, - ( ! [X] : - (hasType(type_IncapacitatingAgent, X) => hasType(type_ChemicalAgent, X)))). - -fof(axWMD91, axiom, - ( ! [X] : - (hasType(type_Influenza, X) => hasType(type_VaccinatableDisease, X)))). - -fof(axWMD92, axiom, - ( ! [X] : - (hasType(type_Influenza, X) => hasType(type_ViralDisease, X)))). - -fof(axWMD93, axiom, - ( ! [X] : - (hasType(type_JapaneseEncephalitisVirus, X) => hasType(type_ViralAgent, X)))). - -fof(axWMD94, axiom, - ( ! [X] : - (hasType(type_JuninVirus, X) => hasType(type_ViralAgent, X)))). - -fof(axWMD95, axiom, - ( ! [X] : - (hasType(type_Keflex, X) => hasType(type_OralAntibiotic, X)))). - -fof(axWMD96, axiom, - ( ! [X] : - (hasType(type_KyasanurForestDiseaseVirus, X) => hasType(type_TickBorneEncephalitisVirus, X)))). - -fof(axWMD97, axiom, - ( ! [X] : - (hasType(type_LaCrosseVirus, X) => hasType(type_ViralAgent, X)))). - -fof(axWMD98, axiom, - ( ! [X] : - (hasType(type_LassaVirus, X) => hasType(type_ViralAgent, X)))). - -fof(axWMD99, axiom, - ( ! [X] : - (hasType(type_Legionella, X) => hasType(type_BacterialAgent, X)))). - -fof(axWMD100, axiom, - ( ! [X] : - (hasType(type_Lewisite, X) => hasType(type_BlisterAgent, X)))). - -fof(axWMD101, axiom, - ( ! [X] : - (hasType(type_LifeThreateningAgent, X) => hasType(type_BiochemicalAgent, X)))). - -fof(axWMD102, axiom, - ( ! [X] : - (hasType(type_LifeThreateningDisease, X) => hasType(type_DiseaseOrSyndrome, X)))). - -fof(axWMD103, axiom, - ( ! [X] : - (hasType(type_MachupoVirus, X) => hasType(type_ViralAgent, X)))). - -fof(axWMD104, axiom, - ( ! [X] : - (hasType(type_MalarialPlasmodium, X) => hasType(type_BiologicalAgent, X)))). - -fof(axWMD105, axiom, - ( ! [X] : - (hasType(type_MalarialPlasmodium, X) => hasType(type_Microorganism, X)))). - -fof(axWMD106, axiom, - ( ! [X] : - (hasType(type_MarburgVirus, X) => hasType(type_ViralAgent, X)))). - -fof(axWMD107, axiom, - ( ! [X] : - (hasType(type_Mixomatosis, X) => hasType(type_ViralAgent, X)))). - -fof(axWMD108, axiom, - ( ! [X] : - (hasType(type_MonkeypoxVirus, X) => hasType(type_ViralAgent, X)))). - -fof(axWMD109, axiom, - ( ! [X] : - (hasType(type_MustardGas, X) => hasType(type_BlisterAgent, X)))). - -fof(axWMD110, axiom, - ( ! [X] : - (hasType(type_MycobacteriumTuberculosis, X) => hasType(type_BacterialAgent, X)))). - -fof(axWMD111, axiom, - ( ! [X] : - (hasType(type_Mycotoxin, X) => hasType(type_BodySubstance, X)))). - -fof(axWMD112, axiom, - ( ! [X] : - (hasType(type_Mycotoxin, X) => hasType(type_Toxin, X)))). - -fof(axWMD113, axiom, - ( ! [X] : - (hasType(type_NeisseriaGonorrhoeae, X) => hasType(type_BacterialAgent, X)))). - -fof(axWMD114, axiom, - ( ! [X] : - (hasType(type_NerveAgent, X) => hasType(type_ChemicalAgent, X)))). - -fof(axWMD115, axiom, - ( ! [X] : - (hasType(type_NipahVirus, X) => hasType(type_ViralAgent, X)))). - -fof(axWMD116, axiom, - ( ! [X] : - (hasType(type_NitrogenMustardGas, X) => hasType(type_MustardGas, X)))). - -fof(axWMD117, axiom, - ( ! [X] : - (hasType(type_NuclearWeaponProductionFacility, X) => hasType(type_WMDWeaponsProductionFacility, X)))). - -fof(axWMD118, axiom, - ( ! [X] : - (hasType(type_NuclearWeaponResearchFacility, X) => hasType(type_WMDWeaponsResearchFacility, X)))). - -fof(axWMD119, axiom, - ( ! [X] : - (hasType(type_OralAntibiotic, X) => hasType(type_Antibiotic, X)))). - -fof(axWMD120, axiom, - ( ! [X] : - (hasType(type_Penicillin, X) => hasType(type_OralAntibiotic, X)))). - -fof(axWMD121, axiom, - ( ! [X] : - (hasType(type_PhosgeneOxime, X) => hasType(type_BlisterAgent, X)))). - -fof(axWMD122, axiom, - ( ! [X] : - (hasType(type_Phosgene, X) => hasType(type_ChokingAgent, X)))). - -fof(axWMD123, axiom, - ( ! [X] : - (hasType(type_PlasmodiumFalciparum, X) => hasType(type_MalarialPlasmodium, X)))). - -fof(axWMD124, axiom, - ( ! [X] : - (hasType(type_PyridostigmineBromide, X) => hasType(type_BiologicallyActiveSubstance, X)))). - -fof(axWMD125, axiom, - ( ! [X] : - (hasType(type_ResearchingWeaponOfMassDestruction, X) => hasType(type_Investigating, X)))). - -fof(axWMD126, axiom, - ( ! [X] : - (hasType(type_RicinToxin, X) => hasType(type_Protein, X)))). - -fof(axWMD127, axiom, - ( ! [X] : - (hasType(type_RicinToxin, X) => hasType(type_Toxin, X)))). - -fof(axWMD128, axiom, - ( ! [X] : - (hasType(type_RickettsiaProwazekii, X) => hasType(type_RickettsialAgent, X)))). - -fof(axWMD129, axiom, - ( ! [X] : - (hasType(type_RickettsiaRickettsii, X) => hasType(type_RickettsialAgent, X)))). - -fof(axWMD130, axiom, - ( ! [X] : - (hasType(type_RickettsialAgent, X) => hasType(type_BacterialAgent, X)))). - -fof(axWMD131, axiom, - ( ! [X] : - (hasType(type_RiftValleyFever, X) => hasType(type_ViralDisease, X)))). - -fof(axWMD132, axiom, - ( ! [X] : - (hasType(type_Rotavirus, X) => hasType(type_ViralAgent, X)))). - -fof(axWMD133, axiom, - ( ! [X] : - (hasType(type_SabiaVirus, X) => hasType(type_ViralAgent, X)))). - -fof(axWMD134, axiom, - ( ! [X] : - (hasType(type_SaintLouisEncephalitisVirus, X) => hasType(type_ViralAgent, X)))). - -fof(axWMD135, axiom, - ( ! [X] : - (hasType(type_SalmonellaPartyphi, X) => hasType(type_BacterialAgent, X)))). - -fof(axWMD136, axiom, - ( ! [X] : - (hasType(type_SalmonellaTyphi, X) => hasType(type_BacterialAgent, X)))). - -fof(axWMD137, axiom, - ( ! [X] : - (hasType(type_SalmonellaTyphimurium, X) => hasType(type_BacterialAgent, X)))). - -fof(axWMD138, axiom, - ( ! [X] : - (hasType(type_Sarin, X) => hasType(type_GSeriesNerveAgent, X)))). - -fof(axWMD139, axiom, - ( ! [X] : - (hasType(type_Saxitoxin, X) => hasType(type_BodySubstance, X)))). - -fof(axWMD140, axiom, - ( ! [X] : - (hasType(type_Saxitoxin, X) => hasType(type_CompoundSubstance, X)))). - -fof(axWMD141, axiom, - ( ! [X] : - (hasType(type_Saxitoxin, X) => hasType(type_Toxin, X)))). - -fof(axWMD142, axiom, - ( ! [X] : - (hasType(type_SerratiaMarcenscens, X) => hasType(type_BacterialAgent, X)))). - -fof(axWMD143, axiom, - ( ! [X] : - (hasType(type_SerratiaMarcenscens, X) => hasType(type_LifeThreateningAgent, X)))). - -fof(axWMD144, axiom, - ( ! [X] : - (hasType(type_ShigaToxin, X) => hasType(type_Toxin, X)))). - -fof(axWMD145, axiom, - ( ! [X] : - (hasType(type_ShigellaDysenteriae, X) => hasType(type_BacterialAgent, X)))). - -fof(axWMD146, axiom, - ( ! [X] : - (hasType(type_Soman, X) => hasType(type_GSeriesNerveAgent, X)))). - -fof(axWMD147, axiom, - ( ! [X] : - (hasType(type_StaphylococcalEnterotoxinB, X) => hasType(type_LifeThreateningAgent, X)))). - -fof(axWMD148, axiom, - ( ! [X] : - (hasType(type_StaphylococcalEnterotoxinB, X) => hasType(type_Toxin, X)))). - -fof(axWMD149, axiom, - ( ! [X] : - (hasType(type_StaphyylococcusAureus, X) => hasType(type_BacterialAgent, X)))). - -fof(axWMD150, axiom, - ( ! [X] : - (hasType(type_StockpilingWeaponOfMassDestruction, X) => hasType(type_DevelopingWeaponOfMassDestruction, X)))). - -fof(axWMD151, axiom, - ( ! [X] : - (hasType(type_StockpilingWeaponOfMassDestruction, X) => hasType(type_Manufacture, X)))). - -fof(axWMD152, axiom, - ( ! [X] : - (hasType(type_StreptococcusA, X) => hasType(type_BacterialAgent, X)))). - -fof(axWMD153, axiom, - ( ! [X] : - (hasType(type_SulphurMustardGas, X) => hasType(type_MustardGas, X)))). - -fof(axWMD154, axiom, - ( ! [X] : - (hasType(type_T2Toxin, X) => hasType(type_Mycotoxin, X)))). - -fof(axWMD155, axiom, - ( ! [X] : - (hasType(type_Tabun, X) => hasType(type_GSeriesNerveAgent, X)))). - -fof(axWMD156, axiom, - ( ! [X] : - (hasType(type_Tetrobothoxin, X) => hasType(type_BodySubstance, X)))). - -fof(axWMD157, axiom, - ( ! [X] : - (hasType(type_Tetrobothoxin, X) => hasType(type_CompoundSubstance, X)))). - -fof(axWMD158, axiom, - ( ! [X] : - (hasType(type_Tetrobothoxin, X) => hasType(type_Toxin, X)))). - -fof(axWMD159, axiom, - ( ! [X] : - (hasType(type_TickBorneEncephalitisVirus, X) => hasType(type_LifeThreateningAgent, X)))). - -fof(axWMD160, axiom, - ( ! [X] : - (hasType(type_TickBorneEncephalitisVirus, X) => hasType(type_ViralAgent, X)))). - -fof(axWMD161, axiom, - ( ! [X] : - (hasType(type_TickBorneEncephalitis, X) => hasType(type_VaccinatableDisease, X)))). - -fof(axWMD162, axiom, - ( ! [X] : - (hasType(type_TickBorneEncephalitis, X) => hasType(type_ViralDisease, X)))). - -fof(axWMD163, axiom, - ( ! [X] : - (hasType(type_TopicalAntibiotic, X) => hasType(type_Antibiotic, X)))). - -fof(axWMD164, axiom, - ( ! [X] : - (hasType(type_ToxicOrganism, X) => hasType(type_BiologicalAgent, X)))). - -fof(axWMD165, axiom, - ( ! [X] : - (hasType(type_ToxicOrganism, X) => hasType(type_Organism, X)))). - -fof(axWMD166, axiom, - ( ! [X] : - (hasType(type_Toxin, X) => hasType(type_BiologicalAgent, X)))). - -fof(axWMD167, axiom, - ( ! [X] : - (hasType(type_Toxin, X) => hasType(type_BiologicallyActiveSubstance, X)))). - -fof(axWMD168, axiom, - ( ! [X] : - (hasType(type_TyphoidFever, X) => hasType(type_DiseaseOrSyndrome, X)))). - -fof(axWMD169, axiom, - ( ! [X] : - (hasType(type_VSeriesNerveAgent, X) => hasType(type_NerveAgent, X)))). - -fof(axWMD170, axiom, - ( ! [X] : - (hasType(type_VX, X) => hasType(type_VSeriesNerveAgent, X)))). - -fof(axWMD171, axiom, - ( ! [X] : - (hasType(type_VaccinatableDisease, X) => hasType(type_InfectiousDisease, X)))). - -fof(axWMD172, axiom, - ( ! [X] : - (hasType(type_VariolaMajor, X) => hasType(type_ViralAgent, X)))). - -fof(axWMD173, axiom, - ( ! [X] : - (hasType(type_VariolaMinor, X) => hasType(type_ViralAgent, X)))). - -fof(axWMD174, axiom, - ( ! [X] : - (hasType(type_VenezuelanEquineEncephalitisVirus, X) => hasType(type_ViralAgent, X)))). - -fof(axWMD175, axiom, - ( ! [X] : - (hasType(type_VenezuelanEquineEncephalitis, X) => hasType(type_VaccinatableDisease, X)))). - -fof(axWMD176, axiom, - ( ! [X] : - (hasType(type_VenezuelanEquineEncephalitis, X) => hasType(type_ViralDisease, X)))). - -fof(axWMD177, axiom, - ( ! [X] : - (hasType(type_VibrioCholera, X) => hasType(type_BacterialAgent, X)))). - -fof(axWMD178, axiom, - ( ! [X] : - (hasType(type_ViralAgent, X) => hasType(type_ToxicOrganism, X)))). - -fof(axWMD179, axiom, - ( ! [X] : - (hasType(type_ViralAgent, X) => hasType(type_Virus, X)))). - -fof(axWMD180, axiom, - ( ! [X] : - (hasType(type_Vollum1B, X) => hasType(type_AerosolizedBacillusAnthracis, X)))). - -fof(axWMD181, axiom, - ( ! [X] : - (hasType(type_WMDWeaponsProductionFacility, X) => hasType(type_StationaryArtifact, X)))). - -fof(axWMD182, axiom, - ( ! [X] : - (hasType(type_WMDWeaponsResearchFacility, X) => hasType(type_StationaryArtifact, X)))). - -fof(axWMD183, axiom, - ( ! [X] : - (hasType(type_WestNileVirus, X) => hasType(type_ViralAgent, X)))). - -fof(axWMD184, axiom, - ( ! [X] : - (hasType(type_YellowFeverVirus, X) => hasType(type_ViralAgent, X)))). - -fof(axWMD185, axiom, - ( ! [X] : - (hasType(type_YersiniaPestis, X) => hasType(type_BacterialAgent, X)))). - -fof(axWMD186, axiom, - ( ! [X] : - (hasType(type_YersiniaPestis, X) => hasType(type_LifeThreateningAgent, X)))). - -fof(axWMD187, axiom, - ( ! [X] : - (hasType(type_YersiniaPseubothuberculosis, X) => hasType(type_BacterialAgent, X)))). - -fof(axWMD188, axiom, - (hasType(type_LifeThreateningDisease, inst_Aflatoxicosis))). - -fof(axWMD189, axiom, - (hasType(type_BacterialDisease, inst_Anthrax))). - -fof(axWMD190, axiom, - (hasType(type_HemorrhagicFever, inst_ArgentinianHemorrhagicFever))). - -fof(axWMD191, axiom, - (hasType(type_HemorrhagicFever, inst_BolivianHemorrhagicFever))). - -fof(axWMD192, axiom, - (hasType(type_HemorrhagicFever, inst_BrazilianHemorrhagicFever))). - -fof(axWMD193, axiom, - (hasType(type_BacterialDisease, inst_Brucellosis))). - -fof(axWMD194, axiom, - (hasType(type_ViralDisease, inst_DengueFever))). - -fof(axWMD195, axiom, - (hasType(type_HemorrhagicFever, inst_EbolaHemorrhagicFever))). - -fof(axWMD196, axiom, - (hasType(type_DiseaseOrSyndrome, inst_Gastroenteritis))). - -fof(axWMD197, axiom, - (hasType(type_BacterialDisease, inst_Glanders))). - -fof(axWMD198, axiom, - (hasType(type_BacterialDisease, inst_Gonorrhea))). - -fof(axWMD199, axiom, - (hasType(type_TickBorneEncephalitis, inst_KyasanurForestDisease))). - -fof(axWMD200, axiom, - (hasType(type_ViralDisease, inst_LaCrosseEncephalitis))). - -fof(axWMD201, axiom, - (hasType(type_BacterialDisease, inst_Legionellosis))). - -fof(axWMD202, axiom, - (hasType(type_BacterialDisease, inst_LouseBorneTyphus))). - -fof(axWMD203, axiom, - (hasType(type_BacterialDisease, inst_Melioidosis))). - -fof(axWMD204, axiom, - (hasType(type_ViralDisease, inst_Monkeypox))). - -fof(axWMD205, axiom, - (hasType(type_DiseaseOrSyndrome, inst_Paralysis))). - -fof(axWMD206, axiom, - (hasType(type_LifeThreateningDisease, inst_ParalyticShellfishPoisoning))). - -fof(axWMD207, axiom, - (hasType(type_BacterialDisease, inst_Psittacosis))). - -fof(axWMD208, axiom, - (hasType(type_BacterialDisease, inst_QFever))). - -fof(axWMD209, axiom, - (hasType(type_ViralDisease, inst_RotavirusGastroenteritis))). - -fof(axWMD210, axiom, - (hasType(type_BacterialDisease, inst_ScarletFever))). - -fof(axWMD211, axiom, - (hasType(type_ViralDisease, inst_Smallpox))). - -fof(axWMD212, axiom, - (hasType(type_BacterialDisease, inst_StrepThroat))). - -fof(axWMD213, axiom, - (hasType(type_BacterialDisease, inst_Tularemia))). - -fof(axWMD214, axiom, - (hasType(type_HemorrhagicFever, inst_VenezuelanHemorrhagicFever))). - -fof(axWMD215, axiom, - (hasType(type_ViralDisease, inst_WestNileFever))). - -fof(axWMD216, axiom, - (hasType(type_ViralDisease, inst_YellowSkin))). - -fof(axWMD217, axiom, - (hasType(type_BacterialDisease, inst_Botulism) & hasType(type_LifeThreateningDisease, inst_Botulism) & hasType(type_VaccinatableDisease, inst_Botulism))). - -fof(axWMD218, axiom, - (hasType(type_BacterialDisease, inst_Cholera) & hasType(type_VaccinatableDisease, inst_Cholera) & hasType(type_LifeThreateningDisease, inst_Cholera))). - -fof(axWMD219, axiom, - (hasType(type_HemorrhagicFever, inst_CrimeanCongoHemorrhagicFever) & hasType(type_LifeThreateningDisease, inst_CrimeanCongoHemorrhagicFever))). - -fof(axWMD220, axiom, - (hasType(type_HemorrhagicFever, inst_DengueHemorrhagicFever) & hasType(type_LifeThreateningDisease, inst_DengueHemorrhagicFever))). - -fof(axWMD221, axiom, - (hasType(type_BacterialDisease, inst_Diphtheria) & hasType(type_LifeThreateningDisease, inst_Diphtheria))). - -fof(axWMD222, axiom, - (hasType(type_ViralDisease, inst_EasternEquineEncephalitis) & hasType(type_LifeThreateningDisease, inst_EasternEquineEncephalitis))). - -fof(axWMD223, axiom, - (hasType(type_Hepatitis, inst_HepatitisA) & hasType(type_VaccinatableDisease, inst_HepatitisA))). - -fof(axWMD224, axiom, - (hasType(type_Hepatitis, inst_HepatitisB) & hasType(type_VaccinatableDisease, inst_HepatitisB) & hasType(type_LifeThreateningDisease, inst_HepatitisB))). - -fof(axWMD225, axiom, - (hasType(type_Hepatitis, inst_HepatitisC) & hasType(type_LifeThreateningDisease, inst_HepatitisC))). - -fof(axWMD226, axiom, - (hasType(type_ViralDisease, inst_HerpesB) & hasType(type_LifeThreateningDisease, inst_HerpesB))). - -fof(axWMD227, axiom, - (hasType(type_ViralDisease, inst_JapaneseEncephalitis) & hasType(type_LifeThreateningDisease, inst_JapaneseEncephalitis) & hasType(type_VaccinatableDisease, inst_JapaneseEncephalitis))). - -fof(axWMD228, axiom, - (hasType(type_ViralDisease, inst_LassaFever) & hasType(type_LifeThreateningDisease, inst_LassaFever))). - -fof(axWMD229, axiom, - (hasType(type_InfectiousDisease, inst_Malaria) & hasType(type_LifeThreateningDisease, inst_Malaria))). - -fof(axWMD230, axiom, - (hasType(type_ViralDisease, inst_MarburgDisease) & hasType(type_LifeThreateningDisease, inst_MarburgDisease))). - -fof(axWMD231, axiom, - (hasType(type_BacterialDisease, inst_NecrotizingFaciitis) & hasType(type_LifeThreateningDisease, inst_NecrotizingFaciitis))). - -fof(axWMD232, axiom, - (hasType(type_BacterialDisease, inst_Pertussis) & hasType(type_VaccinatableDisease, inst_Pertussis))). - -fof(axWMD233, axiom, - (hasType(type_BacterialDisease, inst_Plague) & hasType(type_VaccinatableDisease, inst_Plague))). - -fof(axWMD234, axiom, - (hasType(type_BacterialDisease, inst_RockyMountainSpottedFever) & hasType(type_LifeThreateningDisease, inst_RockyMountainSpottedFever))). - -fof(axWMD235, axiom, - (hasType(type_ViralDisease, inst_SaintLouisEncephalitis) & hasType(type_LifeThreateningDisease, inst_SaintLouisEncephalitis))). - -fof(axWMD236, axiom, - (hasType(type_BacterialDisease, inst_Tetanus) & hasType(type_VaccinatableDisease, inst_Tetanus))). - -fof(axWMD237, axiom, - (hasType(type_BacterialDisease, inst_BubonicPlague) & hasType(type_VaccinatableDisease, inst_BubonicPlague))). - -fof(axWMD238, axiom, - (hasType(type_BacterialDisease, inst_PneumonicPlague) & hasType(type_VaccinatableDisease, inst_PneumonicPlague))). - -fof(axWMD239, axiom, - (hasType(type_BacterialDisease, inst_InhalationalAnthrax) & hasType(type_LifeThreateningDisease, inst_InhalationalAnthrax))). - -fof(axWMD240, axiom, - (hasType(type_BacterialDisease, inst_LegionnairesDisease) & hasType(type_LifeThreateningDisease, inst_LegionnairesDisease))). - -fof(axWMD241, axiom, - (hasType(type_BacterialDisease, inst_PontiacFever))). - -- cgit v1.2.3