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 ist eine teilkategorie von Transfer
(subclass DeployingWeaponOfMassDestruction Putting) WMD.kif 676-676 DeployingWeaponOfMassDestruction ist eine teilkategorie von Putting
(subclass Concealing Putting) Mid-level-ontology.kif 5485-5485 Concealing ist eine teilkategorie von Putting
(subclass Dressing Putting) Mid-level-ontology.kif 5500-5500 Dressing ist eine teilkategorie von Putting
(subclass Installing Putting) Mid-level-ontology.kif 17887-17887 Installing ist eine teilkategorie von Putting
(subclass Burying Putting) Mid-level-ontology.kif 17993-17993 Burying ist eine teilkategorie von Putting
(subclass Entombing Putting) Mid-level-ontology.kif 18037-18037 Entombing ist eine teilkategorie von Putting
(subclass Diluting Putting) Mid-level-ontology.kif 19614-19614 Diluting ist eine teilkategorie von Putting
(subclass Covering Putting) Merge.kif 11414-11414 Covering ist eine teilkategorie von Putting
(subclass Inserting Putting) Merge.kif 11420-11420 Inserting ist eine teilkategorie von Putting
(subclass Wetting Putting) Merge.kif 12747-12747 Wetting ist eine teilkategorie von Putting
(subclass Planting Putting) Geography.kif 2577-2577 Planting ist eine teilkategorie von Putting
(subclass Siltation Putting) Geography.kif 2923-2923 Siltation ist eine teilkategorie von Putting
(subclass Lubricating Putting) Cars.kif 2994-2994 Lubricating ist eine teilkategorie von 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