Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  LargeGroupProcess

 Sigma KEE - LargeGroupProcess
LargeGroupProcess(large group process)

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


(subclass LargeGroupProcess Process) Mid-level-ontology.kif 9249-9249 Large group process is a subclass of process
(documentation LargeGroupProcess EnglishLanguage "Any Process involving more than 10 Agents.") Mid-level-ontology.kif 9250-9251 Large group process is a subclass of process

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


(subclass Epidemic LargeGroupProcess) Medicine.kif 3537-3537 Epidemic is a subclass of large group process
(termFormat EnglishLanguage LargeGroupProcess "large group process") domainEnglishFormat.kif 65104-65104 Epidemic is a subclass of large group process

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


(=>
    (instance ?LGP LargeGroupProcess)
    (exists (?G ?M)
        (and
            (instance ?G CollectionOfObjects)
            (member ?M ?G)
            (memberType ?G AutonomousAgent))))		 Mid-level-ontology.kif 9253-9259 If X is an instance of large group process, then there exist Y, Z such that Y is an instance of collection, Z is a member of Y, and agent is a member type of Y
(=>
    (and
        (instance ?LGP LargeGroupProcess)
        (instance ?G CollectionOfObjects)
        (member ?M ?G)
        (involvedInEvent ?LGP ?M)
        (memberCount ?G ?N))
    (greaterThan ?N 10))		 Mid-level-ontology.kif 9261-9268 If X is an instance of large group process, Y is an instance of collection, Z is a member of Y, Z is an involved in event of X, and W is a member count of Y, then W is greater than 10
(=>
    (and
        (instance ?LGP LargeGroupProcess)
        (instance ?G CollectionOfObjects)
        (member ?M ?G)
        (involvedInEvent ?LGP ?M))
    (exists (?P ?PC)
        (and
            (instance ?PC ?P)
            (involvedInEvent ?PC ?M))))		 Mid-level-ontology.kif 9270-9279 If X is an instance of large group process, Y is an instance of collection, Z is a member of Y, and Z is an involved in event of X, then there exist W, V such that V is an instance of W, and Z is an involved in event of V


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners