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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - LargeGroupProcess
LargeGroupProcess(large group process)

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


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

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


(subclass Epidemic LargeGroupProcess) Medicine.kif 3508-3508 Epidemic is a subclass of large group process
(termFormat EnglishLanguage LargeGroupProcess "large group process") domainEnglishFormat.kif 65095-65095 Epidemic is a subclass of large group 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 9107-9114
(=>
    (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 9116-9125
(=>
    (instance ?LGP LargeGroupProcess)
    (exists (?G ?M)
        (and
            (instance ?G Collection)
            (member ?M ?G)
            (memberType ?G AutonomousAgent))))
Mid-level-ontology.kif 9099-9105


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