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(large group process)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7956-7957
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7955-7955	Large group process is a subclass of process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3507-3507	Epidemic is a subclass of large group process
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65103-65103

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7967-7974	If a process is an instance of large group process 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7976-7985	If a process is an instance of large group process 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7959-7965	If an entity is an instance of large group process, then there exist a collection and a physical such that the collection is an instance of collection and the 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