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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LargeGroupProcess

Sigma KEE - LargeGroupProcess
LargeGroupProcess

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


(documentation LargeGroupProcess EnglishLanguage "Any Process involving more than 10 Agents.") Mid-level-ontology.kif 7598-7599
(subclass LargeGroupProcess Process) Mid-level-ontology.kif 7597-7597 LargeGroupProcess is a subclass of process

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


(=>
    (and
        (instance ?LGP LargeGroupProcess)
        (instance ?G Collection)
        (member ?M ?G)
        (involvedInEvent ?LGP ?M)
        (memberCount ?G ?N))
    (greaterThan ?N 10))
Mid-level-ontology.kif 7609-7616
(=>
    (and
        (instance ?LGP LargeGroupProcess)
        (instance ?G Collection)
        (member ?M ?G)
        (involvedInEvent ?LGP ?M))
    (exists (?P ?PC)
        (and
            (instance ?PC ?P)
            (involvedInEvent ?PC ?M))))
Mid-level-ontology.kif 7618-7627
(=>
    (instance ?LGP LargeGroupProcess)
    (exists (?G)
        (and
            (instance ?G Collection)
            (member ?M ?G)
            (memberType ?G Agent))))
Mid-level-ontology.kif 7601-7607


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 is open source software produced by Articulate Software and its partners