TreeView Knowledge Base Browser - Demonstration

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Demonstration

Demonstration(demonstration)

Boston_Tea_Party, demonstrate, demonstration, manifestation, march, protest_march, work-in

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2646-2659
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 384-384
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2645-2645	Demonstration is a subclass of political process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19008-19008
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19007-19007
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19006-19006

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2663-2669	If a process is an instance of demonstration and an agent is an agent of the process, then the agent is an instance of human or the agent is an instance of group of people
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2673-2682	If a process is an instance of demonstration and an agent is an agent of the process and a cognitive agent is a member of the agent and another cognitive agent is a member of the agent, then there exists a formula such that the cognitive agent believes the formula and the other cognitive agent believes the formula

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