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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7928-7929
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7927-7927	子類 LargeGroupProcess and Process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3507-3507	子類 Epidemic and LargeGroupProcess
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65101-65101

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7939-7946	例 Process and LargeGroupProcess 例 Collection and Collection 會員 Physical and Collection Physical 是事件 Process 的 involved Integer 是 Collection 的 member 計數比較多 Integer and 10
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7948-7957	例 Process and LargeGroupProcess 例 Collection and Collection 會員 Physical and Collection Physical 是事件 Process 的 involved Class ClassC 例 ClassC and Class Physical 是事件 ClassC 的 involved
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7931-7937	例 Entity and LargeGroupProcess Collection Physical 例 Collection and Collection 會員 Physical and Collection AutonomousAgent 是 Collection 的 member 類別

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