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

Formal Language: 



Term 1: Term 2:

(=>
    (and
        (instance ?DECIDE Deciding)
        (agent ?DECIDE ?AGENT)
        (instance ?S Set)
        (patient ?DECIDE ?S)
        (element ?M ?S))
    (believes ?AGENT
        (exists (?CLASS)
            (and
                (instance ?M ?CLASS)
                (subclass ?CLASS IntentionalProcess)
                (capability ?CLASS agent ?AGENT)))))		 Merge.kif 12014-12026
(subclass IntentionalProcess Process) Merge.kif 10486-10486 有意图过程 是 过程 的 subclass
(subclass DeployingWeaponOfMassDestruction IntentionalProcess) WMD.kif 675-675 部署大规模杀伤性武器 是 有意图过程 的 subclass
(subclass DismantlingWeaponOfMassDestruction IntentionalProcess) WMD.kif 731-731 拆除大规模杀伤性武器 是 有意图过程 的 subclass
(subclass ListOnSite IntentionalProcess) UXExperimentalTerms.kif 257-257 ListOnSite 是 有意图过程 的 subclass
(subclass Evacuation IntentionalProcess) MilitaryProcesses.kif 2489-2489 疏散 是 有意图过程 的 subclass
(subclass Dodging IntentionalProcess) Mid-level-ontology.kif 446-446 躲着 是 有意图过程 的 subclass
(subclass Punching IntentionalProcess) Mid-level-ontology.kif 6618-6618 冲压 是 有意图过程 的 subclass
(subclass Ceremony IntentionalProcess) Mid-level-ontology.kif 7920-7920 Ceremony 是 有意图过程 的 subclass
(subclass Ducking IntentionalProcess) Mid-level-ontology.kif 13118-13118 回避 是 有意图过程 的 subclass
(subclass CriminalAction IntentionalProcess) Mid-level-ontology.kif 13859-13859 犯罪行为 是 有意图过程 的 subclass
(subclass Commenting IntentionalProcess) Mid-level-ontology.kif 15882-15882 Commenting 是 有意图过程 的 subclass
(subclass Digging IntentionalProcess) Mid-level-ontology.kif 18007-18007 挖掘 是 有意图过程 的 subclass
(subclass Tilling IntentionalProcess) Mid-level-ontology.kif 18021-18021 翻耕 是 有意图过程 的 subclass
(subclass Drilling IntentionalProcess) Mid-level-ontology.kif 18094-18094 钻孔 是 有意图过程 的 subclass
(subclass WorkLeave IntentionalProcess) Mid-level-ontology.kif 20422-20422 WorkLeave 是 有意图过程 的 subclass
(subclass IntentionalPsychologicalProcess IntentionalProcess) Merge.kif 10512-10512 有意图的心理过程 是 有意图过程 的 subclass
(subclass RecreationOrExercise IntentionalProcess) Merge.kif 10523-10523 娱乐或锻炼 是 有意图过程 的 subclass
(subclass OrganizationalProcess IntentionalProcess) Merge.kif 10535-10535 机构性过程 是 有意图过程 的 subclass
(subclass Designing IntentionalProcess) Merge.kif 10850-10850 设计 是 有意图过程 的 subclass
(subclass Ambulating IntentionalProcess) Merge.kif 11139-11139 走动 是 有意图过程 的 subclass
(subclass Swimming IntentionalProcess) Merge.kif 11169-11169 游泳 是 有意图过程 的 subclass
(subclass Guiding IntentionalProcess) Merge.kif 11607-11607 引导 是 有意图过程 的 subclass
(subclass Keeping IntentionalProcess) Merge.kif 12174-12174 保存 是 有意图过程 的 subclass
(subclass Maintaining IntentionalProcess) Merge.kif 12219-12219 维护 是 有意图过程 的 subclass
(subclass Repairing IntentionalProcess) Merge.kif 12223-12223 修理 是 有意图过程 的 subclass
(subclass Poking IntentionalProcess) Merge.kif 12331-12331 刺 是 有意图过程 的 subclass
(subclass ContentDevelopment IntentionalProcess) Merge.kif 12671-12671 内容制作 是 有意图过程 的 subclass
(subclass Making IntentionalProcess) Merge.kif 12813-12813 制作 是 有意图过程 的 subclass
(subclass Pursuing IntentionalProcess) Merge.kif 12874-12874 追求 是 有意图过程 的 subclass
(subclass Investigating IntentionalProcess) Merge.kif 12923-12923 调查 是 有意图过程 的 subclass
(subclass SocialInteraction IntentionalProcess) Merge.kif 12999-12999 社交 是 有意图过程 的 subclass
(subclass Maneuver IntentionalProcess) Merge.kif 13385-13385 竞争招数 是 有意图过程 的 subclass
(subclass Looking IntentionalProcess) Merge.kif 13553-13553 看着 是 有意图过程 的 subclass
(subclass Listening IntentionalProcess) Merge.kif 13627-13627 听 是 有意图过程 的 subclass
(subclass Modeling IntentionalProcess) engineering.kif 114-114 造型 是 有意图过程 的 subclass
(subclass EngineersSubprocess IntentionalProcess) engineering.kif 1197-1197 工程师子流程 是 有意图过程 的 subclass
(subclass ITProcess IntentionalProcess) engineering.kif 1310-1310 IT流程 是 有意图过程 的 subclass
(subclass UserAction IntentionalProcess) ComputerInput.kif 1167-1167 UserAction 是 有意图过程 的 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