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 子類 IntentionalProcess and Process
(subclass DeployingWeaponOfMassDestruction IntentionalProcess) WMD.kif 675-675 子類 部署大規模殺傷性武器 and IntentionalProcess
(subclass DismantlingWeaponOfMassDestruction IntentionalProcess) WMD.kif 731-731 子類 拆除大規模殺傷性武器 and IntentionalProcess
(subclass ListOnSite IntentionalProcess) UXExperimentalTerms.kif 257-257 子類 ListOnSite and IntentionalProcess
(subclass Evacuation IntentionalProcess) MilitaryProcesses.kif 2489-2489 子類 疏散 and IntentionalProcess
(subclass Dodging IntentionalProcess) Mid-level-ontology.kif 446-446 子類 躲著 and IntentionalProcess
(subclass Punching IntentionalProcess) Mid-level-ontology.kif 6618-6618 子類 沖壓 and IntentionalProcess
(subclass Ceremony IntentionalProcess) Mid-level-ontology.kif 7920-7920 子類 Ceremony and IntentionalProcess
(subclass Ducking IntentionalProcess) Mid-level-ontology.kif 13118-13118 子類 迴避 and IntentionalProcess
(subclass CriminalAction IntentionalProcess) Mid-level-ontology.kif 13859-13859 子類 犯罪行為 and IntentionalProcess
(subclass Commenting IntentionalProcess) Mid-level-ontology.kif 15882-15882 子類 Commenting and IntentionalProcess
(subclass Digging IntentionalProcess) Mid-level-ontology.kif 18007-18007 子類 挖掘 and IntentionalProcess
(subclass Tilling IntentionalProcess) Mid-level-ontology.kif 18021-18021 子類 翻耕 and IntentionalProcess
(subclass Drilling IntentionalProcess) Mid-level-ontology.kif 18094-18094 子類 鑽孔 and IntentionalProcess
(subclass WorkLeave IntentionalProcess) Mid-level-ontology.kif 20422-20422 子類 WorkLeave and IntentionalProcess
(subclass IntentionalPsychologicalProcess IntentionalProcess) Merge.kif 10512-10512 子類 IntentionalPsychologicalProcess and IntentionalProcess
(subclass RecreationOrExercise IntentionalProcess) Merge.kif 10523-10523 子類 RecreationOrExercise and IntentionalProcess
(subclass OrganizationalProcess IntentionalProcess) Merge.kif 10535-10535 子類 OrganizationalProcess and IntentionalProcess
(subclass Designing IntentionalProcess) Merge.kif 10850-10850 子類 設計 and IntentionalProcess
(subclass Ambulating IntentionalProcess) Merge.kif 11139-11139 子類 走動 and IntentionalProcess
(subclass Swimming IntentionalProcess) Merge.kif 11169-11169 子類 Swimming and IntentionalProcess
(subclass Guiding IntentionalProcess) Merge.kif 11607-11607 子類 Guiding and IntentionalProcess
(subclass Keeping IntentionalProcess) Merge.kif 12174-12174 子類 Keeping and IntentionalProcess
(subclass Maintaining IntentionalProcess) Merge.kif 12219-12219 子類 Maintaining and IntentionalProcess
(subclass Repairing IntentionalProcess) Merge.kif 12223-12223 子類 Repairing and IntentionalProcess
(subclass Poking IntentionalProcess) Merge.kif 12331-12331 子類 Poking and IntentionalProcess
(subclass ContentDevelopment IntentionalProcess) Merge.kif 12671-12671 子類 ContentDevelopment and IntentionalProcess
(subclass Making IntentionalProcess) Merge.kif 12813-12813 子類 Making and IntentionalProcess
(subclass Pursuing IntentionalProcess) Merge.kif 12874-12874 子類 Pursuing and IntentionalProcess
(subclass Investigating IntentionalProcess) Merge.kif 12923-12923 子類 Investigating and IntentionalProcess
(subclass SocialInteraction IntentionalProcess) Merge.kif 12999-12999 子類 SocialInteraction and IntentionalProcess
(subclass Maneuver IntentionalProcess) Merge.kif 13385-13385 子類 Maneuver and IntentionalProcess
(subclass Looking IntentionalProcess) Merge.kif 13553-13553 子類 看著 and IntentionalProcess
(subclass Listening IntentionalProcess) Merge.kif 13627-13627 子類 聽 and IntentionalProcess
(subclass Modeling IntentionalProcess) engineering.kif 114-114 子類 造型 and IntentionalProcess
(subclass EngineersSubprocess IntentionalProcess) engineering.kif 1197-1197 子類 工程師子流程 and IntentionalProcess
(subclass ITProcess IntentionalProcess) engineering.kif 1310-1310 子類 IT流程 and IntentionalProcess
(subclass UserAction IntentionalProcess) ComputerInput.kif 1167-1167 子類 UserAction and IntentionalProcess


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