TreeView Knowledge Base Browser - LargeGroupProcess

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	If a process is an instance of LargeGroupProcess and a collection is an instance of collection and a physical is a member of the collection and the physical is an involved in event of the process and an integer is a member count of the collection, then the integer is greater than 10
(=> (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	If a process is an instance of LargeGroupProcess and a collection is an instance of collection and a physical is a member of the collection and the physical is an involved in event of the process, then there exist a class and the classC such that the classC is an instance of the class and the physical is an involved in event of the classC
(=> (instance ?LGP LargeGroupProcess) (exists (?G) (and (instance ?G Collection) (member ?M ?G) (memberType ?G Agent))))	Mid-level-ontology.kif 7601-7607	If an entity is an instance of LargeGroupProcess, then there exists a collection such that the collection is an instance of collection and a physical is a member of the collection and agent is a member type of the collection

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