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 置く は 移動 の subclass では %n
(subclass DeployingWeaponOfMassDestruction Putting) WMD.kif 676-676 DeployingWeaponOfMassDestruction は 置く の subclass では %n
(subclass Concealing Putting) Mid-level-ontology.kif 5485-5485 Concealing は 置く の subclass では %n
(subclass Dressing Putting) Mid-level-ontology.kif 5500-5500 Dressing は 置く の subclass では %n
(subclass Installing Putting) Mid-level-ontology.kif 17887-17887 Installing は 置く の subclass では %n
(subclass Burying Putting) Mid-level-ontology.kif 17993-17993 Burying は 置く の subclass では %n
(subclass Entombing Putting) Mid-level-ontology.kif 18037-18037 Entombing は 置く の subclass では %n
(subclass Diluting Putting) Mid-level-ontology.kif 19614-19614 Diluting は 置く の subclass では %n
(subclass Covering Putting) Merge.kif 11414-11414 覆い は 置く の subclass では %n
(subclass Inserting Putting) Merge.kif 11420-11420 Inserting は 置く の subclass では %n
(subclass Wetting Putting) Merge.kif 12747-12747 濡れ は 置く の subclass では %n
(subclass Planting Putting) Geography.kif 2577-2577 Planting は 置く の subclass では %n
(subclass Siltation Putting) Geography.kif 2923-2923 Siltation は 置く の subclass では %n
(subclass Lubricating Putting) Cars.kif 2994-2994 Lubricating は 置く の subclass では %n


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