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
(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 6617-6617
(subclass Ceremony IntentionalProcess) Mid-level-ontology.kif 7919-7919
(subclass Ducking IntentionalProcess) Mid-level-ontology.kif 13117-13117
(subclass CriminalAction IntentionalProcess) Mid-level-ontology.kif 13858-13858
(subclass Commenting IntentionalProcess) Mid-level-ontology.kif 15881-15881
(subclass Digging IntentionalProcess) Mid-level-ontology.kif 18006-18006
(subclass Tilling IntentionalProcess) Mid-level-ontology.kif 18020-18020
(subclass Drilling IntentionalProcess) Mid-level-ontology.kif 18093-18093
(subclass WorkLeave IntentionalProcess) Mid-level-ontology.kif 20421-20421
(subclass IntentionalPsychologicalProcess IntentionalProcess) Merge.kif 10534-10534
(subclass RecreationOrExercise IntentionalProcess) Merge.kif 10545-10545
(subclass OrganizationalProcess IntentionalProcess) Merge.kif 10557-10557
(subclass Designing IntentionalProcess) Merge.kif 10872-10872
(subclass Ambulating IntentionalProcess) Merge.kif 11161-11161
(subclass Swimming IntentionalProcess) Merge.kif 11191-11191
(subclass Guiding IntentionalProcess) Merge.kif 11629-11629
(subclass Keeping IntentionalProcess) Merge.kif 12196-12196
(subclass Maintaining IntentionalProcess) Merge.kif 12241-12241
(subclass Repairing IntentionalProcess) Merge.kif 12245-12245
(subclass Poking IntentionalProcess) Merge.kif 12353-12353
(subclass ContentDevelopment IntentionalProcess) Merge.kif 12693-12693
(subclass Making IntentionalProcess) Merge.kif 12835-12835
(subclass Pursuing IntentionalProcess) Merge.kif 12896-12896
(subclass Investigating IntentionalProcess) Merge.kif 12945-12945
(subclass SocialInteraction IntentionalProcess) Merge.kif 13021-13021
(subclass Maneuver IntentionalProcess) Merge.kif 13407-13407
(subclass Looking IntentionalProcess) Merge.kif 13575-13575
(subclass Listening IntentionalProcess) Merge.kif 13649-13649
(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