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 では %n
(subclass ResearchingWeaponOfMassDestruction Investigating) WMD.kif 720-720 ResearchingWeaponOfMassDestruction は 捜査 の subclass では %n
(subclass ReconnaissanceOperation Investigating) MilitaryProcesses.kif 674-674 ReconnaissanceOperation は 捜査 の subclass では %n
(subclass OffensiveInformationOperation Investigating) MilitaryProcesses.kif 1891-1891 OffensiveInformationOperation は 捜査 の subclass では %n
(subclass Espionage Investigating) Mid-level-ontology.kif 13932-13932 Espionage は 捜査 の subclass では %n
(subclass Polling Investigating) Mid-level-ontology.kif 13948-13948 Polling は 捜査 の subclass では %n
(subclass Experimenting Investigating) Merge.kif 12949-12949 Experimenting は 捜査 の subclass では %n
(subclass DiagnosticProcess Investigating) Merge.kif 12954-12954 診断プロセス は 捜査 の subclass では %n
(subclass Searching Investigating) Merge.kif 12965-12965 Searching は 捜査 の subclass では %n
(subclass GramStaining Investigating) Medicine.kif 5343-5343 GramStaining は 捜査 の 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