Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

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


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners