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 では %n
(subclass DeployingWeaponOfMassDestruction IntentionalProcess) WMD.kif 675-675 DeployingWeaponOfMassDestruction は 意図的なプロセス の subclass では %n
(subclass DismantlingWeaponOfMassDestruction IntentionalProcess) WMD.kif 731-731 DismantlingWeaponOfMassDestruction は 意図的なプロセス の subclass では %n
(subclass ListOnSite IntentionalProcess) UXExperimentalTerms.kif 257-257 ListOnSite は 意図的なプロセス の subclass では %n
(subclass Evacuation IntentionalProcess) MilitaryProcesses.kif 2489-2489 Evacuation は 意図的なプロセス の subclass では %n
(subclass Dodging IntentionalProcess) Mid-level-ontology.kif 446-446 Dodging は 意図的なプロセス の subclass では %n
(subclass Punching IntentionalProcess) Mid-level-ontology.kif 6618-6618 Punching は 意図的なプロセス の subclass では %n
(subclass Ceremony IntentionalProcess) Mid-level-ontology.kif 7920-7920 Ceremony は 意図的なプロセス の subclass では %n
(subclass Ducking IntentionalProcess) Mid-level-ontology.kif 13118-13118 Ducking は 意図的なプロセス の subclass では %n
(subclass CriminalAction IntentionalProcess) Mid-level-ontology.kif 13859-13859 CriminalAction は 意図的なプロセス の subclass では %n
(subclass Commenting IntentionalProcess) Mid-level-ontology.kif 15882-15882 Commenting は 意図的なプロセス の subclass では %n
(subclass Digging IntentionalProcess) Mid-level-ontology.kif 18007-18007 Digging は 意図的なプロセス の subclass では %n
(subclass Tilling IntentionalProcess) Mid-level-ontology.kif 18021-18021 Tilling は 意図的なプロセス の subclass では %n
(subclass Drilling IntentionalProcess) Mid-level-ontology.kif 18094-18094 Drilling は 意図的なプロセス の subclass では %n
(subclass WorkLeave IntentionalProcess) Mid-level-ontology.kif 20422-20422 WorkLeave は 意図的なプロセス の subclass では %n
(subclass IntentionalPsychologicalProcess IntentionalProcess) Merge.kif 10512-10512 意図的な心理的プロセス は 意図的なプロセス の subclass では %n
(subclass RecreationOrExercise IntentionalProcess) Merge.kif 10523-10523 レクリエーションまたは運動 は 意図的なプロセス の subclass では %n
(subclass OrganizationalProcess IntentionalProcess) Merge.kif 10535-10535 組織プロセス は 意図的なプロセス の subclass では %n
(subclass Designing IntentionalProcess) Merge.kif 10850-10850 Designing は 意図的なプロセス の subclass では %n
(subclass Ambulating IntentionalProcess) Merge.kif 11139-11139 Ambulating は 意図的なプロセス の subclass では %n
(subclass Swimming IntentionalProcess) Merge.kif 11169-11169 水泳 は 意図的なプロセス の subclass では %n
(subclass Guiding IntentionalProcess) Merge.kif 11607-11607 案内 は 意図的なプロセス の subclass では %n
(subclass Keeping IntentionalProcess) Merge.kif 12174-12174 保持 は 意図的なプロセス の subclass では %n
(subclass Maintaining IntentionalProcess) Merge.kif 12219-12219 維持 は 意図的なプロセス の subclass では %n
(subclass Repairing IntentionalProcess) Merge.kif 12223-12223 修理 は 意図的なプロセス の subclass では %n
(subclass Poking IntentionalProcess) Merge.kif 12331-12331 突き は 意図的なプロセス の subclass では %n
(subclass ContentDevelopment IntentionalProcess) Merge.kif 12671-12671 コンテンツ開発 は 意図的なプロセス の subclass では %n
(subclass Making IntentionalProcess) Merge.kif 12813-12813 作る は 意図的なプロセス の subclass では %n
(subclass Pursuing IntentionalProcess) Merge.kif 12874-12874 追求 は 意図的なプロセス の subclass では %n
(subclass Investigating IntentionalProcess) Merge.kif 12923-12923 捜査 は 意図的なプロセス の subclass では %n
(subclass SocialInteraction IntentionalProcess) Merge.kif 12999-12999 社会的交流 は 意図的なプロセス の subclass では %n
(subclass Maneuver IntentionalProcess) Merge.kif 13385-13385 策略 は 意図的なプロセス の subclass では %n
(subclass Looking IntentionalProcess) Merge.kif 13553-13553 Looking は 意図的なプロセス の subclass では %n
(subclass Listening IntentionalProcess) Merge.kif 13627-13627 Listening は 意図的なプロセス の subclass では %n
(subclass Modeling IntentionalProcess) engineering.kif 114-114 Modeling は 意図的なプロセス の subclass では %n
(subclass EngineersSubprocess IntentionalProcess) engineering.kif 1197-1197 EngineersSubprocess は 意図的なプロセス の subclass では %n
(subclass ITProcess IntentionalProcess) engineering.kif 1310-1310 ITProcess は 意図的なプロセス の subclass では %n
(subclass UserAction IntentionalProcess) ComputerInput.kif 1167-1167 UserAction は 意図的なプロセス の 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