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 7929-7930
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7928-7928 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 65101-65101

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7940-7947
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7949-7958
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7932-7938


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