TreeView Knowledge Base Browser - MarchingBand

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - MarchingBand

MarchingBand(marching band)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Music.kif 971-974
No TPTP formula. May not be expressible in strict first order.	Music.kif 967-969
No TPTP formula. May not be expressible in strict first order.	Music.kif 965-965	Marching band is a subclass of musical group
No TPTP formula. May not be expressible in strict first order.	Music.kif 966-966	Marching band is a subclass of organization

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Music.kif 970-970

antecedent

No TPTP formula. May not be expressible in strict first order.	Music.kif 986-996	If an agent is an instance of marching band and a process is an instance of musical performance and the agent is an agent of the process and an object is an instance of outdoors and the process is located at the object, then there exists another process such that the other process is an instance of ambulating and the other process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Music.kif 976-981	If a collection is an instance of marching band, then there exists an agent such that the agent has the skill to do instrumental music and the agent is a member 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