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

Formal Language: 



Term 1: Term 2:

(=>
    (attribute ?H ObsessiveCompulsiveDisorder)
    (exists (?COL ?C)
        (and
            (memberType ?COL ?C)
            (or
                (subclass ?C Investigating)
                (subclass ?C Cleaning))
            (=>
                (instance ?CI ?C)
                (and
                    (agent ?CI ?H)
                    (not
                        (wants ?H ?CI)))))))		 Medicine.kif 4025-4038
(subclass Investigating IntentionalProcess) Merge.kif 12923-12923 调查 是 有意图过程 的 subclass
(subclass ResearchingWeaponOfMassDestruction Investigating) WMD.kif 720-720 研究大规模杀伤性武器 是 调查 的 subclass
(subclass ReconnaissanceOperation Investigating) MilitaryProcesses.kif 674-674 ReconnaissanceOperation 是 调查 的 subclass
(subclass OffensiveInformationOperation Investigating) MilitaryProcesses.kif 1891-1891 侵略性信息操作 是 调查 的 subclass
(subclass Espionage Investigating) Mid-level-ontology.kif 13932-13932 间谍 是 调查 的 subclass
(subclass Polling Investigating) Mid-level-ontology.kif 13948-13948 轮询 是 调查 的 subclass
(subclass Experimenting Investigating) Merge.kif 12949-12949 试验 是 调查 的 subclass
(subclass DiagnosticProcess Investigating) Merge.kif 12954-12954 诊断过程 是 调查 的 subclass
(subclass Searching Investigating) Merge.kif 12965-12965 Searching 是 调查 的 subclass
(subclass GramStaining Investigating) Medicine.kif 5343-5343 GramStaining 是 调查 的 subclass


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