| (=> (diseaseMedicine ?DISEASE Bacitracin ?PROCESS) (and (instance ?DISEASE BacterialDisease) (subclass ?PROCESS Putting))) |
WMD.kif 1322-1326 | |
| (subclass Putting Transfer) | Merge.kif 11399-11399 | |
| (subclass DeployingWeaponOfMassDestruction Putting) | WMD.kif 676-676 | |
| (subclass Concealing Putting) | Mid-level-ontology.kif 5485-5485 | |
| (subclass Dressing Putting) | Mid-level-ontology.kif 5500-5500 | |
| (subclass Installing Putting) | Mid-level-ontology.kif 17887-17887 | |
| (subclass Burying Putting) | Mid-level-ontology.kif 17993-17993 | |
| (subclass Entombing Putting) | Mid-level-ontology.kif 18037-18037 | |
| (subclass Diluting Putting) | Mid-level-ontology.kif 19614-19614 | |
| (subclass Covering Putting) | Merge.kif 11414-11414 | |
| (subclass Inserting Putting) | Merge.kif 11420-11420 | |
| (subclass Wetting Putting) | Merge.kif 12747-12747 | |
| (subclass Planting Putting) | Geography.kif 2577-2577 | |
| (subclass Siltation Putting) | Geography.kif 2923-2923 | |
| (subclass Lubricating Putting) | Cars.kif 2994-2994 |
|
|