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 DeployingWeaponOfMassDestruction IntentionalProcess) WMD.kif 675-675
(subclass DismantlingWeaponOfMassDestruction IntentionalProcess) WMD.kif 731-731
(subclass ListOnSite IntentionalProcess) UXExperimentalTerms.kif 257-257
(subclass Evacuation IntentionalProcess) MilitaryProcesses.kif 2489-2489
(subclass Dodging IntentionalProcess) Mid-level-ontology.kif 446-446
(subclass Punching IntentionalProcess) Mid-level-ontology.kif 6618-6618
(subclass Ceremony IntentionalProcess) Mid-level-ontology.kif 7920-7920
(subclass Ducking IntentionalProcess) Mid-level-ontology.kif 13118-13118
(subclass CriminalAction IntentionalProcess) Mid-level-ontology.kif 13859-13859
(subclass Commenting IntentionalProcess) Mid-level-ontology.kif 15882-15882
(subclass Digging IntentionalProcess) Mid-level-ontology.kif 18007-18007
(subclass Tilling IntentionalProcess) Mid-level-ontology.kif 18021-18021
(subclass Drilling IntentionalProcess) Mid-level-ontology.kif 18094-18094
(subclass WorkLeave IntentionalProcess) Mid-level-ontology.kif 20422-20422
(subclass IntentionalPsychologicalProcess IntentionalProcess) Merge.kif 10512-10512
(subclass RecreationOrExercise IntentionalProcess) Merge.kif 10523-10523
(subclass OrganizationalProcess IntentionalProcess) Merge.kif 10535-10535
(subclass Designing IntentionalProcess) Merge.kif 10850-10850
(subclass Ambulating IntentionalProcess) Merge.kif 11139-11139
(subclass Swimming IntentionalProcess) Merge.kif 11169-11169
(subclass Guiding IntentionalProcess) Merge.kif 11607-11607
(subclass Keeping IntentionalProcess) Merge.kif 12174-12174
(subclass Maintaining IntentionalProcess) Merge.kif 12219-12219
(subclass Repairing IntentionalProcess) Merge.kif 12223-12223
(subclass Poking IntentionalProcess) Merge.kif 12331-12331
(subclass ContentDevelopment IntentionalProcess) Merge.kif 12671-12671
(subclass Making IntentionalProcess) Merge.kif 12813-12813
(subclass Pursuing IntentionalProcess) Merge.kif 12874-12874
(subclass Investigating IntentionalProcess) Merge.kif 12923-12923
(subclass SocialInteraction IntentionalProcess) Merge.kif 12999-12999
(subclass Maneuver IntentionalProcess) Merge.kif 13385-13385
(subclass Looking IntentionalProcess) Merge.kif 13553-13553
(subclass Listening IntentionalProcess) Merge.kif 13627-13627
(subclass Modeling IntentionalProcess) engineering.kif 114-114
(subclass EngineersSubprocess IntentionalProcess) engineering.kif 1197-1197
(subclass ITProcess IntentionalProcess) engineering.kif 1310-1310
(subclass UserAction IntentionalProcess) ComputerInput.kif 1167-1167


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