1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
|
fof(axWMDLem0, axiom,
( ! [Var_WEAPON] :
(hasType(type_BiochemicalWeapon, Var_WEAPON) =>
(( ? [Var_AGENT] :
(hasType(type_BiochemicalAgent, Var_AGENT) &
(f_part(Var_AGENT,Var_WEAPON)))))))).
fof(axWMDLem1, axiom,
( ! [Var_WEAPON] :
(hasType(type_BiologicalWeapon, Var_WEAPON) =>
(( ? [Var_AGENT] :
(hasType(type_BiologicalAgent, Var_AGENT) &
(f_part(Var_AGENT,Var_WEAPON)))))))).
fof(axWMDLem2, axiom,
( ! [Var_SUBSTANCE] :
(hasType(type_Toxin, Var_SUBSTANCE) =>
(( ? [Var_ORGANISM] :
(hasType(type_ToxicOrganism, Var_ORGANISM) &
(( ? [Var_PROCESS] :
(hasType(type_BiologicalProcess, Var_PROCESS) &
(((f_instrument(Var_PROCESS,Var_ORGANISM)) & (((f_result(Var_PROCESS,Var_SUBSTANCE)) | (( ? [Var_RESULT] :
((hasType(type_Entity, Var_RESULT) & hasType(type_Object, Var_RESULT)) &
(((f_result(Var_PROCESS,Var_RESULT)) & (f_copy(Var_SUBSTANCE,Var_RESULT)))))))))))))))))))).
fof(axWMDLem3, axiom,
( ! [Var_ORGANISM] :
(hasType(type_ToxicOrganism, Var_ORGANISM) =>
(( ? [Var_SUBSTANCE] :
(hasType(type_Toxin, Var_SUBSTANCE) &
(f_part(Var_SUBSTANCE,Var_ORGANISM)))))))).
fof(axWMDLem4, axiom,
( ! [Var_BACTERIUM] :
(hasType(type_Bacterium, Var_BACTERIUM) =>
(( ? [Var_NUMBER] :
((hasType(type_RealNumber, Var_NUMBER) & hasType(type_Quantity, Var_NUMBER)) &
(((f_width(Var_BACTERIUM,f_MeasureFn(Var_NUMBER,inst_Meter))) & (((f_greaterThanOrEqualTo(Var_NUMBER,1.0e-6)) & (f_lessThanOrEqualTo(Var_NUMBER,2.0e-6)))))))))))).
fof(axWMDLem5, axiom,
( ! [Var_SUBSTANCE] :
(hasType(type_Mycotoxin, Var_SUBSTANCE) =>
(( ! [Var_ORGANISM] :
(hasType(type_Object, Var_ORGANISM) =>
(( ? [Var_FUNGUS] :
(hasType(type_FungalAgent, Var_FUNGUS) &
(( ? [Var_PROCESS] :
(hasType(type_BiologicalProcess, Var_PROCESS) &
(((f_instrument(Var_PROCESS,Var_ORGANISM)) & (f_result(Var_PROCESS,Var_SUBSTANCE)))))))))))))))).
fof(axWMDLem6, axiom,
( ! [Var_ORGANISM] :
(hasType(type_GeneticallyEngineeredOrganism, Var_ORGANISM) =>
(( ? [Var_PROCESS] :
(hasType(type_IntentionalProcess, Var_PROCESS) &
(f_result(Var_PROCESS,Var_ORGANISM)))))))).
fof(axWMDLem7, axiom,
( ! [Var_WEAPON] :
(hasType(type_ChemicalWeapon, Var_WEAPON) =>
(( ? [Var_AGENT] :
(hasType(type_ChemicalAgent, Var_AGENT) &
(f_part(Var_AGENT,Var_WEAPON)))))))).
fof(axWMDLem8, axiom,
( ! [Var_AGENT] :
(hasType(type_ChemicalAgent, Var_AGENT) =>
(( ? [Var_ORGANISM] :
(hasType(type_Organism, Var_ORGANISM) &
(( ? [Var_PROCESS] :
(hasType(type_BiologicalProcess, Var_PROCESS) &
(( ? [Var_SUBSTANCE] :
((hasType(type_Entity, Var_SUBSTANCE) & hasType(type_Object, Var_SUBSTANCE)) &
(((f_instrument(Var_PROCESS,Var_ORGANISM)) & (((f_result(Var_PROCESS,Var_SUBSTANCE)) & (f_copy(Var_SUBSTANCE,Var_AGENT)))))))))))))))))).
fof(axWMDLem9, axiom,
( ! [Var_FACILITY] :
(hasType(type_WMDWeaponsProductionFacility, Var_FACILITY) =>
(( ? [Var_DEVELOP] :
(hasType(type_DevelopingWeaponOfMassDestruction, Var_DEVELOP) &
(f_located(Var_DEVELOP,Var_FACILITY)))))))).
fof(axWMDLem10, axiom,
( ! [Var_FACILITY] :
(hasType(type_WMDWeaponsResearchFacility, Var_FACILITY) =>
(( ? [Var_RESEARCH] :
(hasType(type_ResearchingWeaponOfMassDestruction, Var_RESEARCH) &
(f_located(Var_RESEARCH,Var_FACILITY)))))))).
fof(axWMDLem11, axiom,
( ! [Var_DISMANTLE] :
(hasType(type_DismantlingWeaponOfMassDestruction, Var_DISMANTLE) =>
(( ! [Var_WEAPON] :
(hasType(type_Entity, Var_WEAPON) =>
(((f_patient(Var_DISMANTLE,Var_WEAPON)) => (( ? [Var_DEVELOP] :
(hasType(type_DevelopingWeaponOfMassDestruction, Var_DEVELOP) &
(((f_result(Var_DEVELOP,Var_WEAPON)) & (f_earlier(f_WhenFn(Var_DEVELOP),f_WhenFn(Var_DISMANTLE)))))))))))))))).
fof(axWMDLem12, axiom,
( ! [Var_ORGANISM] :
(hasType(type_Object, Var_ORGANISM) =>
(( ! [Var_SYMPTOM] :
((hasType(type_DiseaseOrSyndrome, Var_SYMPTOM) & hasType(type_Attribute, Var_SYMPTOM)) =>
(( ! [Var_DISEASE] :
((hasType(type_DiseaseOrSyndrome, Var_DISEASE) & hasType(type_Attribute, Var_DISEASE)) =>
(((f_diseaseSymptom(Var_DISEASE,Var_SYMPTOM)) => (f_increasesLikelihood(attribute(Var_ORGANISM,Var_DISEASE),attribute(Var_ORGANISM,Var_SYMPTOM)))))))))))))).
fof(axWMDLem13, axiom,
( ! [Var_RATE] :
((hasType(type_RealNumber, Var_RATE) & hasType(type_Quantity, Var_RATE)) =>
(( ! [Var_DISEASE] :
(hasType(type_DiseaseOrSyndrome, Var_DISEASE) =>
(((f_diseaseMortality(Var_DISEASE,Var_RATE)) => (((f_greaterThan(Var_RATE,0)) & (f_lessThan(Var_RATE,1)))))))))))).
fof(axWMDLem14, axiom,
( ! [Var_ORGANISM] :
(hasType(type_Human, Var_ORGANISM) =>
(((f_attribute(Var_ORGANISM,inst_Fever)) => (( ? [Var_NUMBER] :
((hasType(type_RealNumber, Var_NUMBER) & hasType(type_Quantity, Var_NUMBER)) &
(((f_measure(Var_ORGANISM,f_MeasureFn(Var_NUMBER,inst_FahrenheitDegree))) & (f_greaterThan(Var_NUMBER,98.6)))))))))))).
fof(axWMDLem15, axiom,
( ! [Var_ORGANISM] :
((hasType(type_Object, Var_ORGANISM) & hasType(type_Agent, Var_ORGANISM)) =>
(((f_attribute(Var_ORGANISM,inst_InhalationalAnthrax)) => (( ? [Var_ANTHRACIS] :
(hasType(type_BacillusAnthracis, Var_ANTHRACIS) &
(( ? [Var_BREATHING] :
(hasType(type_Breathing, Var_BREATHING) &
(((f_agent(Var_BREATHING,Var_ORGANISM)) & (f_patient(Var_BREATHING,Var_ANTHRACIS))))))))))))))).
fof(axWMDLem16, axiom,
( ! [Var_VIRUS] :
(hasType(type_YellowFeverVirus, Var_VIRUS) =>
(( ? [Var_NUMBER] :
((hasType(type_RealNumber, Var_NUMBER) & hasType(type_Entity, Var_NUMBER)) &
(((f_width(Var_VIRUS,f_MeasureFn(Var_NUMBER,inst_Meter))) & (Var_NUMBER = 2.0e-8))))))))).
fof(axWMDLem17, axiom,
( ! [Var_VIRUS1] :
(hasType(type_FootAndMouthVirus, Var_VIRUS1) =>
(( ! [Var_VIRUS2] :
(hasType(type_YellowFeverVirus, Var_VIRUS2) =>
(f_smaller(Var_VIRUS1,Var_VIRUS2)))))))).
fof(axWMDLem18, axiom,
( ! [Var_DISEASE] :
(hasType(type_Hepatitis, Var_DISEASE) =>
(f_biochemicalAgentSyndrome(type_HepatitisVirus,Var_DISEASE))))).
|
