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

Formal Language: 



Term 1: Term 2:

(=>
    (diseaseTreatment ?DISEASE Bacitracin ?PROCESS)
    (and
        (instance ?DISEASE BacterialDisease)
        (subclass ?PROCESS Putting)))
WMD.kif 1322-1326
(subclass Putting Transfer) Merge.kif 11322-11322 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 5445-5445 Concealing is a subclass of putting
(subclass Dressing Putting) Mid-level-ontology.kif 5460-5460 Dressing is a subclass of putting
(subclass Installing Putting) Mid-level-ontology.kif 17706-17706 Installing is a subclass of putting
(subclass Burying Putting) Mid-level-ontology.kif 17812-17812 Burying is a subclass of putting
(subclass Entombing Putting) Mid-level-ontology.kif 17856-17856 Entombing is a subclass of putting
(subclass Diluting Putting) Mid-level-ontology.kif 19395-19395 Diluting is a subclass of putting
(subclass Covering Putting) Merge.kif 11337-11337 Covering is a subclass of putting
(subclass Inserting Putting) Merge.kif 11343-11343 Inserting is a subclass of putting
(subclass Wetting Putting) Merge.kif 12609-12609 Wetting is a subclass of putting
(subclass Planting Putting) Geography.kif 2582-2582 Planting is a subclass of putting
(subclass Siltation Putting) Geography.kif 2856-2856 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