Sigma KB Term Intersection

(=> (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	attribute CognitiveAgent and ObsessiveCompulsiveDisorder Collection Class Class 是 Collection 的 member 類別子類 Class and Investigating 子類 Class and 清潔的例 ClassI and Class agent ClassI and CognitiveAgent 想要 CognitiveAgent and ClassI
(subclass Investigating IntentionalProcess)	Merge.kif 12923-12923	子類 Investigating and IntentionalProcess
(subclass ResearchingWeaponOfMassDestruction Investigating)	WMD.kif 720-720	子類研究大規模殺傷性武器 and Investigating
(subclass ReconnaissanceOperation Investigating)	MilitaryProcesses.kif 674-674	子類 ReconnaissanceOperation and Investigating
(subclass OffensiveInformationOperation Investigating)	MilitaryProcesses.kif 1891-1891	子類侵略性信息操作 and Investigating
(subclass Espionage Investigating)	Mid-level-ontology.kif 13932-13932	子類間諜 and Investigating
(subclass Polling Investigating)	Mid-level-ontology.kif 13948-13948	子類輪詢 and Investigating
(subclass Experimenting Investigating)	Merge.kif 12949-12949	子類試驗 and Investigating
(subclass DiagnosticProcess Investigating)	Merge.kif 12954-12954	子類 DiagnosticProcess and Investigating
(subclass Searching Investigating)	Merge.kif 12965-12965	子類 Searching and Investigating
(subclass GramStaining Investigating)	Medicine.kif 5343-5343	子類 GramStaining and Investigating

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