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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LargeGroupProcess
LargeGroupProcess

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


(documentation LargeGroupProcess EnglishLanguage "Any Process involving more than 10 Agents.") Mid-level-ontology.kif 7929-7930
(subclass LargeGroupProcess Process) Mid-level-ontology.kif 7928-7928 子類 LargeGroupProcess and Process

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


(subclass Epidemic LargeGroupProcess) Medicine.kif 3507-3507 子類 Epidemic and LargeGroupProcess
(termFormat EnglishLanguage LargeGroupProcess "large group process") domainEnglishFormat.kif 65101-65101

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


(=>
    (and
        (instance ?LGP LargeGroupProcess)
        (instance ?G Collection)
        (member ?M ?G)
        (involvedInEvent ?LGP ?M)
        (memberCount ?G ?N))
    (greaterThan ?N 10))
Mid-level-ontology.kif 7940-7947
(=>
    (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 7949-7958
(=>
    (instance ?LGP LargeGroupProcess)
    (exists (?G ?M)
        (and
            (instance ?G Collection)
            (member ?M ?G)
            (memberType ?G AutonomousAgent))))
Mid-level-ontology.kif 7932-7938


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