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 |
appearance as argument number 2 |
(subclass Epidemic LargeGroupProcess) | Medicine.kif 3507-3507 | |
(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 |