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 Intentional process is a subclass of process
(subclass DeployingWeaponOfMassDestruction IntentionalProcess) WMD.kif 675-675 Deploying weapon of mass destruction is a subclass of intentional process
(subclass DismantlingWeaponOfMassDestruction IntentionalProcess) WMD.kif 731-731 Dismantling weapon of mass destruction is a subclass of intentional process
(subclass ListOnSite IntentionalProcess) UXExperimentalTerms.kif 257-257 List on site is a subclass of intentional process
(subclass Evacuation IntentionalProcess) MilitaryProcesses.kif 2489-2489 Evacuating is a subclass of intentional process
(subclass Dodging IntentionalProcess) Mid-level-ontology.kif 446-446 Dodging is a subclass of intentional process
(subclass Punching IntentionalProcess) Mid-level-ontology.kif 6618-6618 Punching is a subclass of intentional process
(subclass Ceremony IntentionalProcess) Mid-level-ontology.kif 7920-7920 Ceremony is a subclass of intentional process
(subclass Ducking IntentionalProcess) Mid-level-ontology.kif 13118-13118 Ducking is a subclass of intentional process
(subclass CriminalAction IntentionalProcess) Mid-level-ontology.kif 13859-13859 Criminal action is a subclass of intentional process
(subclass Commenting IntentionalProcess) Mid-level-ontology.kif 15882-15882 Commenting is a subclass of intentional process
(subclass Digging IntentionalProcess) Mid-level-ontology.kif 18007-18007 Digging is a subclass of intentional process
(subclass Tilling IntentionalProcess) Mid-level-ontology.kif 18021-18021 Tilling is a subclass of intentional process
(subclass Drilling IntentionalProcess) Mid-level-ontology.kif 18094-18094 Drilling is a subclass of intentional process
(subclass WorkLeave IntentionalProcess) Mid-level-ontology.kif 20422-20422 Work leave is a subclass of intentional process
(subclass IntentionalPsychologicalProcess IntentionalProcess) Merge.kif 10512-10512 Intentional psychological process is a subclass of intentional process
(subclass RecreationOrExercise IntentionalProcess) Merge.kif 10523-10523 Recreation or exercise is a subclass of intentional process
(subclass OrganizationalProcess IntentionalProcess) Merge.kif 10535-10535 Organizational process is a subclass of intentional process
(subclass Designing IntentionalProcess) Merge.kif 10850-10850 Designing is a subclass of intentional process
(subclass Ambulating IntentionalProcess) Merge.kif 11139-11139 Ambulating is a subclass of intentional process
(subclass Swimming IntentionalProcess) Merge.kif 11169-11169 Swimming is a subclass of intentional process
(subclass Guiding IntentionalProcess) Merge.kif 11607-11607 Guiding is a subclass of intentional process
(subclass Keeping IntentionalProcess) Merge.kif 12174-12174 Keeping is a subclass of intentional process
(subclass Maintaining IntentionalProcess) Merge.kif 12219-12219 Maintaining is a subclass of intentional process
(subclass Repairing IntentionalProcess) Merge.kif 12223-12223 Repairing is a subclass of intentional process
(subclass Poking IntentionalProcess) Merge.kif 12331-12331 Poking is a subclass of intentional process
(subclass ContentDevelopment IntentionalProcess) Merge.kif 12671-12671 Content development is a subclass of intentional process
(subclass Making IntentionalProcess) Merge.kif 12813-12813 Making is a subclass of intentional process
(subclass Pursuing IntentionalProcess) Merge.kif 12874-12874 Pursuing is a subclass of intentional process
(subclass Investigating IntentionalProcess) Merge.kif 12923-12923 Investigating is a subclass of intentional process
(subclass SocialInteraction IntentionalProcess) Merge.kif 12999-12999 Social interaction is a subclass of intentional process
(subclass Maneuver IntentionalProcess) Merge.kif 13385-13385 Maneuver is a subclass of intentional process
(subclass Looking IntentionalProcess) Merge.kif 13553-13553 Looking is a subclass of intentional process
(subclass Listening IntentionalProcess) Merge.kif 13627-13627 Listening is a subclass of intentional process
(subclass Modeling IntentionalProcess) engineering.kif 114-114 Modeling is a subclass of intentional process
(subclass EngineersSubprocess IntentionalProcess) engineering.kif 1197-1197 Engineers subprocess is a subclass of intentional process
(subclass ITProcess IntentionalProcess) engineering.kif 1310-1310 IT process is a subclass of intentional process
(subclass UserAction IntentionalProcess) ComputerInput.kif 1167-1167 User action is a subclass of intentional process


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