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 11421-11421 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 5484-5484 Concealing ist eine teilkategorie von Putting
(subclass Dressing Putting) Mid-level-ontology.kif 5499-5499 Dressing ist eine teilkategorie von Putting
(subclass Installing Putting) Mid-level-ontology.kif 17886-17886 Installing ist eine teilkategorie von Putting
(subclass Burying Putting) Mid-level-ontology.kif 17992-17992 Burying ist eine teilkategorie von Putting
(subclass Entombing Putting) Mid-level-ontology.kif 18036-18036 Entombing ist eine teilkategorie von Putting
(subclass Diluting Putting) Mid-level-ontology.kif 19613-19613 Diluting ist eine teilkategorie von Putting
(subclass Covering Putting) Merge.kif 11436-11436 Covering ist eine teilkategorie von Putting
(subclass Inserting Putting) Merge.kif 11442-11442 Inserting ist eine teilkategorie von Putting
(subclass Wetting Putting) Merge.kif 12769-12769 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 3000-3000 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