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 ProcessoIntenzionale è una sottoclasse di Processo
(subclass DeployingWeaponOfMassDestruction IntentionalProcess) WMD.kif 675-675 DeployingWeaponOfMassDestruction è una sottoclasse di ProcessoIntenzionale
(subclass DismantlingWeaponOfMassDestruction IntentionalProcess) WMD.kif 731-731 DismantlingWeaponOfMassDestruction è una sottoclasse di ProcessoIntenzionale
(subclass ListOnSite IntentionalProcess) UXExperimentalTerms.kif 257-257 ListOnSite è una sottoclasse di ProcessoIntenzionale
(subclass Evacuation IntentionalProcess) MilitaryProcesses.kif 2489-2489 Evacuation è una sottoclasse di ProcessoIntenzionale
(subclass Dodging IntentionalProcess) Mid-level-ontology.kif 446-446 Dodging è una sottoclasse di ProcessoIntenzionale
(subclass Punching IntentionalProcess) Mid-level-ontology.kif 6617-6617 Punching è una sottoclasse di ProcessoIntenzionale
(subclass Ceremony IntentionalProcess) Mid-level-ontology.kif 7919-7919 Ceremony è una sottoclasse di ProcessoIntenzionale
(subclass Ducking IntentionalProcess) Mid-level-ontology.kif 13117-13117 Ducking è una sottoclasse di ProcessoIntenzionale
(subclass CriminalAction IntentionalProcess) Mid-level-ontology.kif 13858-13858 CriminalAction è una sottoclasse di ProcessoIntenzionale
(subclass Commenting IntentionalProcess) Mid-level-ontology.kif 15881-15881 Commenting è una sottoclasse di ProcessoIntenzionale
(subclass Digging IntentionalProcess) Mid-level-ontology.kif 18006-18006 Digging è una sottoclasse di ProcessoIntenzionale
(subclass Tilling IntentionalProcess) Mid-level-ontology.kif 18020-18020 Tilling è una sottoclasse di ProcessoIntenzionale
(subclass Drilling IntentionalProcess) Mid-level-ontology.kif 18093-18093 Drilling è una sottoclasse di ProcessoIntenzionale
(subclass WorkLeave IntentionalProcess) Mid-level-ontology.kif 20421-20421 WorkLeave è una sottoclasse di ProcessoIntenzionale
(subclass IntentionalPsychologicalProcess IntentionalProcess) Merge.kif 10534-10534 ProcessoPsicologicoIntenzionale è una sottoclasse di ProcessoIntenzionale
(subclass RecreationOrExercise IntentionalProcess) Merge.kif 10545-10545 PassatempoOEsercizio è una sottoclasse di ProcessoIntenzionale
(subclass OrganizationalProcess IntentionalProcess) Merge.kif 10557-10557 ProcessoOrganizzativo è una sottoclasse di ProcessoIntenzionale
(subclass Designing IntentionalProcess) Merge.kif 10872-10872 Designing è una sottoclasse di ProcessoIntenzionale
(subclass Ambulating IntentionalProcess) Merge.kif 11161-11161 Ambulating è una sottoclasse di ProcessoIntenzionale
(subclass Swimming IntentionalProcess) Merge.kif 11191-11191 Nuotare è una sottoclasse di ProcessoIntenzionale
(subclass Guiding IntentionalProcess) Merge.kif 11629-11629 Guidare è una sottoclasse di ProcessoIntenzionale
(subclass Keeping IntentionalProcess) Merge.kif 12196-12196 Trattenere è una sottoclasse di ProcessoIntenzionale
(subclass Maintaining IntentionalProcess) Merge.kif 12241-12241 Mantenere è una sottoclasse di ProcessoIntenzionale
(subclass Repairing IntentionalProcess) Merge.kif 12245-12245 Riparare è una sottoclasse di ProcessoIntenzionale
(subclass Poking IntentionalProcess) Merge.kif 12353-12353 Perforare è una sottoclasse di ProcessoIntenzionale
(subclass ContentDevelopment IntentionalProcess) Merge.kif 12693-12693 SviluppoDelContenuto è una sottoclasse di ProcessoIntenzionale
(subclass Making IntentionalProcess) Merge.kif 12835-12835 Fabbricazione è una sottoclasse di ProcessoIntenzionale
(subclass Pursuing IntentionalProcess) Merge.kif 12896-12896 Cercare è una sottoclasse di ProcessoIntenzionale
(subclass Investigating IntentionalProcess) Merge.kif 12945-12945 Investigare è una sottoclasse di ProcessoIntenzionale
(subclass SocialInteraction IntentionalProcess) Merge.kif 13021-13021 InterazioneSociale è una sottoclasse di ProcessoIntenzionale
(subclass Maneuver IntentionalProcess) Merge.kif 13407-13407 Stratagemma è una sottoclasse di ProcessoIntenzionale
(subclass Looking IntentionalProcess) Merge.kif 13575-13575 Looking è una sottoclasse di ProcessoIntenzionale
(subclass Listening IntentionalProcess) Merge.kif 13649-13649 Listening è una sottoclasse di ProcessoIntenzionale
(subclass Modeling IntentionalProcess) engineering.kif 114-114 Modeling è una sottoclasse di ProcessoIntenzionale
(subclass EngineersSubprocess IntentionalProcess) engineering.kif 1197-1197 EngineersSubprocess è una sottoclasse di ProcessoIntenzionale
(subclass ITProcess IntentionalProcess) engineering.kif 1310-1310 ITProcess è una sottoclasse di ProcessoIntenzionale
(subclass UserAction IntentionalProcess) ComputerInput.kif 1167-1167 UserAction è una sottoclasse di ProcessoIntenzionale


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