(=>
(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 |
