Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IntentionalProcess
IntentionalProcess(intentional process)Advent, Christianize, Frenchify, Parousia, Second_Advent, Second_Coming, Second_Coming_of_Christ, abide, ablactate, abort, absorb, abstain, abuse, accept, accidental, accidentally, accommodate, accomplished_fact, accomplishment, accustom, achievement, acoustic_phenomenon, acquit, act, act_on, acting_out, action, activity, actual_possession, actualise, actualize, adapt, address, adhere, adjourn, adjournment, adjust, administration, advisedly, agency, agitate, aim, air, air_out, alcohol_abuse, alcoholic_abuse, alcoholism_abuse, alienation, alignment, allow...

appearance as argument number 1
-------------------------


s__documentation(s__IntentionalProcess,s__ChineseLanguage,'"这是一个对于执行的 Agent 有特定目的的 Process。"')

chinese_format.kif 2930-2931
s__documentation(s__IntentionalProcess,s__EnglishLanguage,'"A Process that has a specific purpose for the Agent who performs it."')

Merge.kif 10046-10047
s__instance(s__Process,s__SetOrClass)

s__instance(s__IntentionalProcess,s__SetOrClass)

s__subclass(s__IntentionalProcess,s__Process)

Merge.kif 10044-10044 Intentional process is a subclass of process

appearance as argument number 2
-------------------------


s__disjoint(s__AutonomicProcess,s__IntentionalProcess)

Merge.kif 9733-9733 Autonomic process is disjoint from intentional process
s__disjoint(s__Dreaming,s__IntentionalProcess)

Mid-level-ontology.kif 16685-16685 Dreaming is disjoint from intentional process
s__disjoint(s__GeologicalProcess,s__IntentionalProcess)

Merge.kif 10714-10714 Geological process is disjoint from intentional process
s__disjoint(s__NaturalProcess,s__IntentionalProcess)

Merge.kif 10042-10042 Natural process is disjoint from intentional process
s__disjoint(s__Trembling,s__IntentionalProcess)

Mid-level-ontology.kif 18369-18369 Trembling is disjoint from intentional process
s__disjoint(s__WeatherProcess,s__IntentionalProcess)

Merge.kif 10721-10721 Weather process is disjoint from intentional process
s__rangeSubclass(s__StartFn__m,s__IntentionalProcess)

Mid-level-ontology.kif 393-393 The values returned by start are subclasses of intentional process
s__rangeSubclass(s__StopFn__m,s__IntentionalProcess)

Mid-level-ontology.kif 407-407 The values returned by stop are subclasses of intentional process
s__instance(s__Ambulating,s__SetOrClass)

s__subclass(s__Ambulating,s__IntentionalProcess)

s__instance(s__IntentionalProcess,s__SetOrClass)

Merge.kif 10663-10663 Ambulating is a subclass of intentional process
s__subclass(s__Ceremony,s__IntentionalProcess)

s__instance(s__IntentionalProcess,s__SetOrClass)

s__instance(s__Ceremony,s__SetOrClass)

Mid-level-ontology.kif 7397-7397 Ceremony is a subclass of intentional process
s__subclass(s__Commenting,s__IntentionalProcess)

s__instance(s__Commenting,s__SetOrClass)

s__instance(s__IntentionalProcess,s__SetOrClass)

Mid-level-ontology.kif 14410-14410 Commenting is a subclass of intentional process
s__instance(s__ContentDevelopment,s__SetOrClass)

s__instance(s__IntentionalProcess,s__SetOrClass)

s__subclass(s__ContentDevelopment,s__IntentionalProcess)

Merge.kif 12038-12038 Content development is a subclass of intentional process
s__subclass(s__CriminalAction,s__IntentionalProcess)

s__instance(s__IntentionalProcess,s__SetOrClass)

s__instance(s__CriminalAction,s__SetOrClass)

Mid-level-ontology.kif 12440-12440 Criminal action is a subclass of intentional process
s__subclass(s__DeployingWeaponOfMassDestruction,s__IntentionalProcess)

s__instance(s__IntentionalProcess,s__SetOrClass)

s__instance(s__DeployingWeaponOfMassDestruction,s__SetOrClass)

WMD.kif 670-670 Deploying weapon of mass destruction is a subclass of intentional process
s__instance(s__Designing,s__SetOrClass)

s__instance(s__IntentionalProcess,s__SetOrClass)

s__subclass(s__Designing,s__IntentionalProcess)

Merge.kif 10389-10389 Designing is a subclass of intentional process
s__instance(s__Digging,s__SetOrClass)

s__instance(s__IntentionalProcess,s__SetOrClass)

s__subclass(s__Digging,s__IntentionalProcess)

Mid-level-ontology.kif 16463-16463 Digging is a subclass of intentional process
s__instance(s__DismantlingWeaponOfMassDestruction,s__SetOrClass)

s__instance(s__IntentionalProcess,s__SetOrClass)

s__subclass(s__DismantlingWeaponOfMassDestruction,s__IntentionalProcess)

WMD.kif 726-726 Dismantling weapon of mass destruction is a subclass of intentional process
s__instance(s__Dodging,s__SetOrClass)

s__subclass(s__Dodging,s__IntentionalProcess)

s__instance(s__IntentionalProcess,s__SetOrClass)

Mid-level-ontology.kif 417-417 Dodging is a subclass of intentional process
s__subclass(s__Drilling,s__IntentionalProcess)

s__instance(s__Drilling,s__SetOrClass)

s__instance(s__IntentionalProcess,s__SetOrClass)

Mid-level-ontology.kif 16543-16543 Drilling is a subclass of intentional process
s__subclass(s__Ducking,s__IntentionalProcess)

s__instance(s__IntentionalProcess,s__SetOrClass)

s__instance(s__Ducking,s__SetOrClass)

Mid-level-ontology.kif 11705-11705 Ducking is a subclass of intentional process
s__instance(s__EngineersSubprocess,s__SetOrClass)

s__instance(s__IntentionalProcess,s__SetOrClass)

s__subclass(s__EngineersSubprocess,s__IntentionalProcess)

engineering.kif 1196-1196 Engineers subprocess is a subclass of intentional process
s__instance(s__IntentionalProcess,s__SetOrClass)

s__instance(s__Evacuation,s__SetOrClass)

s__subclass(s__Evacuation,s__IntentionalProcess)

MilitaryProcesses.kif 2469-2469 Evacuation is a subclass of intentional process
s__instance(s__Guiding,s__SetOrClass)

s__subclass(s__Guiding,s__IntentionalProcess)

s__instance(s__IntentionalProcess,s__SetOrClass)

Merge.kif 11080-11080 Guiding is a subclass of intentional process
s__subclass(s__ITProcess,s__IntentionalProcess)

s__instance(s__IntentionalProcess,s__SetOrClass)

s__instance(s__ITProcess,s__SetOrClass)

engineering.kif 1308-1308 IT process is a subclass of intentional process
s__instance(s__IntentionalPsychologicalProcess,s__SetOrClass)

s__instance(s__IntentionalProcess,s__SetOrClass)

s__subclass(s__IntentionalPsychologicalProcess,s__IntentionalProcess)

Merge.kif 10070-10070 Intentional psychological process is a subclass of intentional process

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


s__domain(s__OccupationFn__m,n__1,s__IntentionalProcess)

Mid-level-ontology.kif 18873-18873 The number 1 argument of occupation is an instance of intentional process
s__domainSubclass(s__FailureFn__m,n__1,s__IntentionalProcess)

ComputingBrands.kif 4485-4485 The number 1 argument of FailureFn is a subclass of intentional process
s__domainSubclass(s__distrusts__m,n__3,s__IntentionalProcess)

Law.kif 412-412 The number 3 argument of distrusts is a subclass of intentional process
s__domainSubclass(s__enjoys__m,n__2,s__IntentionalProcess)

Mid-level-ontology.kif 6838-6838 The number 2 argument of enjoys is a subclass of intentional process
s__domainSubclass(s__hasOccupation__m,n__2,s__IntentionalProcess)

Mid-level-ontology.kif 19713-19713 The number 2 argument of has occupation is a subclass of intentional process
s__domainSubclass(s__industryServiceType__m,n__2,s__IntentionalProcess)

Economy.kif 1647-1647 The number 2 argument of industry service type is a subclass of intentional process
s__domainSubclass(s__organizationServiceType__m,n__2,s__IntentionalProcess)

Economy.kif 1665-1665 The number 2 argument of organization service type is a subclass of intentional process
s__domainSubclass(s__trusts__m,n__3,s__IntentionalProcess)

Law.kif 401-401 The number 3 argument of trusts is a subclass of intentional process

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Dining.kif 332-346
No TPTP formula. May not be expressible in strict first order. Merge.kif 10049-10054
No TPTP formula. May not be expressible in strict first order. Merge.kif 10063-10068
( ! [V__DOC,V__AG,V__PROC] :
   (((s__instance(V__DOC,s__ContentBearingPhysical) &
         s__instance(V__AG,s__Agreement) &
         s__instance(V__AG,s__Object))
       =>
       (((s__instance(V__PROC,s__IntentionalProcess) &
             s__result(V__PROC,V__DOC)
           &
           s__recordForAgreement(V__DOC,V__AG)
         &
         s__attribute(V__AG,s__Legal))
       =>
       (( ? [V__O, V__A, V__A1, V__A2] :
           ((s__instance(V__A1,s__Agent) &
               s__instance(V__A2,s__Agent) &
               (s__instance(V__O,s__Offering) &
                 s__instance(V__A,s__ReachingAgreement) &
                 s__refers(V__O,V__AG)
               &
               s__refers(V__A,V__AG)
             &
             s__agent(V__O,V__A1)
           &
           s__agent(V__A,V__A2)
         &
         s__earlier(s__WhenFn(V__O)
      ,s__WhenFn(V__A))))))))))
)
)

Law.kif 574-588
( ! [V__AGENT,V__PROCESS,V__OBJECT] :
   (((s__instance(V__PROCESS,s__IntentionalProcess) &
         s__agent(V__PROCESS,V__AGENT)
       &
       s__instance(V__AGENT,s__CognitiveAgent) &
       s__patient(V__PROCESS,V__OBJECT))
   =>
   (s__inScopeOfInterest(V__AGENT,V__OBJECT)))
)
)

Merge.kif 2640-2646
No TPTP formula. May not be expressible in strict first order. Law.kif 621-636
No TPTP formula. May not be expressible in strict first order. Law.kif 602-619
No TPTP formula. May not be expressible in strict first order. Law.kif 563-572
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12730-12744
No TPTP formula. May not be expressible in strict first order. Dining.kif 371-382
( ! [V__PROC] :
   ((s__instance(V__PROC,s__IntentionalProcess) =>
       (( ? [V__AGENT] :
           ((s__instance(V__AGENT,s__CognitiveAgent) &
               s__agent(V__PROC,V__AGENT))))))
   )
)

Merge.kif 10056-10061

consequent
-------------------------


( ! [V__SUBSTANCE] :
   (((s__instance(V__SUBSTANCE,s__SyntheticSubstance) =>
         ( ? [V__PROCESS] :
           ((s__instance(V__PROCESS,s__IntentionalProcess) &
               s__result(V__PROCESS,V__SUBSTANCE)
             &
             s__instance(V__SUBSTANCE,s__Substance)))))
     &
     (( ? [V__PROCESS] :
         ((s__instance(V__PROCESS,s__IntentionalProcess) &
             s__result(V__PROCESS,V__SUBSTANCE)
           &
           s__instance(V__SUBSTANCE,s__Substance))))
     =>
     s__instance(V__SUBSTANCE,s__SyntheticSubstance)))
)
)

Merge.kif 994-1000 An entity is an instance of synthetic substance if and only if there exists a process such that the process is an instance of intentional process and the entity is a result of the process and the entity is an instance of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28657-28668
( ! [V__AGENT,V__PROCESS,V__DECIDE] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__PROCESS,s__Process))
       =>
       (((s__instance(V__DECIDE,s__Deciding) &
             s__agent(V__DECIDE,V__AGENT)
           &
           s__patient(V__DECIDE,V__PROCESS))
       =>
       ((s__instance(V__PROCESS,s__IntentionalProcess) &
           s__agent(V__PROCESS,V__AGENT))))))
)
)

Merge.kif 11458-11465
No TPTP formula. May not be expressible in strict first order. Dining.kif 665-678
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2296-2306
No TPTP formula. May not be expressible in strict first order. naics.kif 10458-10468
( ! [V__AGENT,V__ENT,V__CONT] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__CONT,s__Contest))
       =>
       ((s__contestEntry(V__ENT,V__AGENT,V__CONT)
         =>
         (( ? [V__P, V__J] :
             ((s__instance(V__P,s__IntentionalProcess) &
                 s__agent(V__P,V__AGENT)
               &
               s__result(V__P,V__ENT)
             &
             s__instance(V__J,s__Judging) &
             s__patient(V__J,V__ENT))))))))
)
)

Music.kif 1076-1084
( ! [V__A,V__S,V__M] :
   (((s__instance(V__A,s__CognitiveAgent) &
         s__instance(V__S,s__MusicRecording) &
         s__instance(V__M,s__MusicRecording))
       =>
       (((V__S = s__RemixFn(V__M,V__A))
         =>
         (( ? [V__P] :
             ((s__instance(V__P,s__IntentionalProcess) &
                 s__patient(V__P,V__M)
               &
               s__agent(V__P,V__A)
             &
             s__result(V__P,V__S)
           &
           ~((V__S = V__M))
           &
           ~(s__copy(V__S,V__M)))))))))
)
)

Music.kif 885-894
( ! [V__AGENT,V__OBJECT] :
   ((s__instance(V__AGENT,s__CognitiveAgent) =>
       ((s__inScopeOfInterest(V__AGENT,V__OBJECT)
         =>
         (( ? [V__PROCESS] :
             ((s__instance(V__PROCESS,s__IntentionalProcess) &
                 s__agent(V__PROCESS,V__AGENT)
               &
               s__patient(V__PROCESS,V__OBJECT))))))))
)
)

Merge.kif 2648-2654
( ! [V__F] :
   ((s__instance(V__F,s__Flour) =>
       (( ? [V__P, V__C] :
           ((s__instance(V__P,s__IntentionalProcess) &
               s__resource(V__P,V__C)
             &
             s__instance(V__C,s__CerealGrain) &
             s__result(V__P,V__F))))))
)
)

Mid-level-ontology.kif 20071-20078
( ! [V__ORGANISM] :
   ((s__instance(V__ORGANISM,s__GeneticallyEngineeredOrganism) =>
       (( ? [V__PROCESS] :
           ((s__instance(V__PROCESS,s__IntentionalProcess) &
               s__result(V__PROCESS,V__ORGANISM))))))
   )
)

WMD.kif 239-244
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1956-1968
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24654-24664
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25455-25477
( ! [V__X] :
   ((s__instance(V__X,s__PreparedFood) =>
       (( ? [V__PROC] :
           ((s__instance(V__PROC,s__IntentionalProcess) &
               s__result(V__PROC,V__X))))))
   )
)

Mid-level-ontology.kif 19895-19900
No TPTP formula. May not be expressible in strict first order. Media.kif 1340-1354
( ! [V__X] :
   ((s__instance(V__X,s__UniformClothing) =>
       (( ? [V__PROC, V__DESIGN] :
           ((s__instance(V__PROC,s__IntentionalProcess) &
               s__result(V__PROC,V__DESIGN)
             &
             s__represents(V__X,V__DESIGN))))))
)
)

Mid-level-ontology.kif 25081-25087
( ! [V__AGENT,V__CERT] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__CERT,s__Certificate))
       =>
       ((s__issuedBy(V__CERT,V__AGENT)
         =>
         (( ? [V__P] :
             ((s__instance(V__P,s__IntentionalProcess) &
                 s__agent(V__P,V__AGENT)
               &
               s__result(V__P,V__CERT))))))))
)
)

Mid-level-ontology.kif 15025-15031
( ! [V__AGENT,V__CHART] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__subclass(V__CHART,s__MusicChart) &
         s__instance(V__CHART,s__Class))
       =>
       ((s__musicChartBy(V__CHART,V__AGENT)
         =>
         (( ? [V__P, V__C] :
             ((s__instance(V__C,V__CHART)
               &
               s__instance(V__P,s__IntentionalProcess) &
               s__agent(V__P,V__AGENT)
             &
             s__result(V__P,V__C))))))))
)
)

Music.kif 1157-1164


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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