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 Processus intentionnel est une sous-classe de processus
(subclass DeployingWeaponOfMassDestruction IntentionalProcess) WMD.kif 675-675 DeployingWeaponOfMassDestruction est une sous-classe de processus intentionnel
(subclass DismantlingWeaponOfMassDestruction IntentionalProcess) WMD.kif 731-731 DismantlingWeaponOfMassDestruction est une sous-classe de processus intentionnel
(subclass ListOnSite IntentionalProcess) UXExperimentalTerms.kif 257-257 ListOnSite est une sous-classe de processus intentionnel
(subclass Evacuation IntentionalProcess) MilitaryProcesses.kif 2489-2489 Evacuation est une sous-classe de processus intentionnel
(subclass Dodging IntentionalProcess) Mid-level-ontology.kif 446-446 Dodging est une sous-classe de processus intentionnel
(subclass Punching IntentionalProcess) Mid-level-ontology.kif 6618-6618 Punching est une sous-classe de processus intentionnel
(subclass Ceremony IntentionalProcess) Mid-level-ontology.kif 7920-7920 Ceremony est une sous-classe de processus intentionnel
(subclass Ducking IntentionalProcess) Mid-level-ontology.kif 13118-13118 Ducking est une sous-classe de processus intentionnel
(subclass CriminalAction IntentionalProcess) Mid-level-ontology.kif 13859-13859 CriminalAction est une sous-classe de processus intentionnel
(subclass Commenting IntentionalProcess) Mid-level-ontology.kif 15882-15882 Commenting est une sous-classe de processus intentionnel
(subclass Digging IntentionalProcess) Mid-level-ontology.kif 18007-18007 Digging est une sous-classe de processus intentionnel
(subclass Tilling IntentionalProcess) Mid-level-ontology.kif 18021-18021 Tilling est une sous-classe de processus intentionnel
(subclass Drilling IntentionalProcess) Mid-level-ontology.kif 18094-18094 Drilling est une sous-classe de processus intentionnel
(subclass WorkLeave IntentionalProcess) Mid-level-ontology.kif 20422-20422 WorkLeave est une sous-classe de processus intentionnel
(subclass IntentionalPsychologicalProcess IntentionalProcess) Merge.kif 10512-10512 Processus psycholoqique intentionnel est une sous-classe de processus intentionnel
(subclass RecreationOrExercise IntentionalProcess) Merge.kif 10523-10523 R�cr�ation ou exercice est une sous-classe de processus intentionnel
(subclass OrganizationalProcess IntentionalProcess) Merge.kif 10535-10535 Processus organisationnel est une sous-classe de processus intentionnel
(subclass Designing IntentionalProcess) Merge.kif 10850-10850 Designing est une sous-classe de processus intentionnel
(subclass Ambulating IntentionalProcess) Merge.kif 11139-11139 Ambulating est une sous-classe de processus intentionnel
(subclass Swimming IntentionalProcess) Merge.kif 11169-11169 Nager est une sous-classe de processus intentionnel
(subclass Guiding IntentionalProcess) Merge.kif 11607-11607 Guider est une sous-classe de processus intentionnel
(subclass Keeping IntentionalProcess) Merge.kif 12174-12174 Garder est une sous-classe de processus intentionnel
(subclass Maintaining IntentionalProcess) Merge.kif 12219-12219 Maintenir est une sous-classe de processus intentionnel
(subclass Repairing IntentionalProcess) Merge.kif 12223-12223 R�parer est une sous-classe de processus intentionnel
(subclass Poking IntentionalProcess) Merge.kif 12331-12331 Percer est une sous-classe de processus intentionnel
(subclass ContentDevelopment IntentionalProcess) Merge.kif 12671-12671 D�veloppement de contenu est une sous-classe de processus intentionnel
(subclass Making IntentionalProcess) Merge.kif 12813-12813 Faire est une sous-classe de processus intentionnel
(subclass Pursuing IntentionalProcess) Merge.kif 12874-12874 Pursuivre est une sous-classe de processus intentionnel
(subclass Investigating IntentionalProcess) Merge.kif 12923-12923 Enqu�ter est une sous-classe de processus intentionnel
(subclass SocialInteraction IntentionalProcess) Merge.kif 12999-12999 Interaction social est une sous-classe de processus intentionnel
(subclass Maneuver IntentionalProcess) Merge.kif 13385-13385 Manoeuvre est une sous-classe de processus intentionnel
(subclass Looking IntentionalProcess) Merge.kif 13553-13553 Looking est une sous-classe de processus intentionnel
(subclass Listening IntentionalProcess) Merge.kif 13627-13627 Listening est une sous-classe de processus intentionnel
(subclass Modeling IntentionalProcess) engineering.kif 114-114 Modeling est une sous-classe de processus intentionnel
(subclass EngineersSubprocess IntentionalProcess) engineering.kif 1197-1197 EngineersSubprocess est une sous-classe de processus intentionnel
(subclass ITProcess IntentionalProcess) engineering.kif 1310-1310 ITProcess est une sous-classe de processus intentionnel
(subclass UserAction IntentionalProcess) ComputerInput.kif 1167-1167 UserAction est une sous-classe de processus intentionnel


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