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 2645-2658
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 2644-2644	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 18999-18999
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18998-18998
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18997-18997

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2662-2668	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 2672-2681	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