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
(subclass DeployingWeaponOfMassDestruction Putting) WMD.kif 676-676 部署大规模杀伤性武器subclass
(subclass Concealing Putting) Mid-level-ontology.kif 5485-5485 隐瞒subclass
(subclass Dressing Putting) Mid-level-ontology.kif 5500-5500 调味料subclass
(subclass Installing Putting) Mid-level-ontology.kif 17887-17887 安装subclass
(subclass Burying Putting) Mid-level-ontology.kif 17993-17993 掩埋subclass
(subclass Entombing Putting) Mid-level-ontology.kif 18037-18037 埋葬subclass
(subclass Diluting Putting) Mid-level-ontology.kif 19614-19614 稀释subclass
(subclass Covering Putting) Merge.kif 11414-11414 遮盖subclass
(subclass Inserting Putting) Merge.kif 11420-11420 插入subclass
(subclass Wetting Putting) Merge.kif 12747-12747 润湿subclass
(subclass Planting Putting) Geography.kif 2577-2577 种植subclass
(subclass Siltation Putting) Geography.kif 2923-2923 淤积subclass
(subclass Lubricating Putting) Cars.kif 2994-2994 Lubricatingsubclass


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