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 12036-12048
(subclass IntentionalProcess Process) Merge.kif 10508-10508 子類 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 6617-6617 子類 沖壓 and IntentionalProcess
(subclass Ceremony IntentionalProcess) Mid-level-ontology.kif 7919-7919 子類 Ceremony and IntentionalProcess
(subclass Ducking IntentionalProcess) Mid-level-ontology.kif 13117-13117 子類 迴避 and IntentionalProcess
(subclass CriminalAction IntentionalProcess) Mid-level-ontology.kif 13858-13858 子類 犯罪行為 and IntentionalProcess
(subclass Commenting IntentionalProcess) Mid-level-ontology.kif 15881-15881 子類 Commenting and IntentionalProcess
(subclass Digging IntentionalProcess) Mid-level-ontology.kif 18006-18006 子類 挖掘 and IntentionalProcess
(subclass Tilling IntentionalProcess) Mid-level-ontology.kif 18020-18020 子類 翻耕 and IntentionalProcess
(subclass Drilling IntentionalProcess) Mid-level-ontology.kif 18093-18093 子類 鑽孔 and IntentionalProcess
(subclass WorkLeave IntentionalProcess) Mid-level-ontology.kif 20421-20421 子類 WorkLeave and IntentionalProcess
(subclass IntentionalPsychologicalProcess IntentionalProcess) Merge.kif 10534-10534 子類 IntentionalPsychologicalProcess and IntentionalProcess
(subclass RecreationOrExercise IntentionalProcess) Merge.kif 10545-10545 子類 RecreationOrExercise and IntentionalProcess
(subclass OrganizationalProcess IntentionalProcess) Merge.kif 10557-10557 子類 OrganizationalProcess and IntentionalProcess
(subclass Designing IntentionalProcess) Merge.kif 10872-10872 子類 設計 and IntentionalProcess
(subclass Ambulating IntentionalProcess) Merge.kif 11161-11161 子類 走動 and IntentionalProcess
(subclass Swimming IntentionalProcess) Merge.kif 11191-11191 子類 Swimming and IntentionalProcess
(subclass Guiding IntentionalProcess) Merge.kif 11629-11629 子類 Guiding and IntentionalProcess
(subclass Keeping IntentionalProcess) Merge.kif 12196-12196 子類 Keeping and IntentionalProcess
(subclass Maintaining IntentionalProcess) Merge.kif 12241-12241 子類 Maintaining and IntentionalProcess
(subclass Repairing IntentionalProcess) Merge.kif 12245-12245 子類 Repairing and IntentionalProcess
(subclass Poking IntentionalProcess) Merge.kif 12353-12353 子類 Poking and IntentionalProcess
(subclass ContentDevelopment IntentionalProcess) Merge.kif 12693-12693 子類 ContentDevelopment and IntentionalProcess
(subclass Making IntentionalProcess) Merge.kif 12835-12835 子類 Making and IntentionalProcess
(subclass Pursuing IntentionalProcess) Merge.kif 12896-12896 子類 Pursuing and IntentionalProcess
(subclass Investigating IntentionalProcess) Merge.kif 12945-12945 子類 Investigating and IntentionalProcess
(subclass SocialInteraction IntentionalProcess) Merge.kif 13021-13021 子類 SocialInteraction and IntentionalProcess
(subclass Maneuver IntentionalProcess) Merge.kif 13407-13407 子類 Maneuver and IntentionalProcess
(subclass Looking IntentionalProcess) Merge.kif 13575-13575 子類 看著 and IntentionalProcess
(subclass Listening IntentionalProcess) Merge.kif 13649-13649 子類 聽 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