TreeView Knowledge Base Browser - Vandalism

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Vandalism

Vandalism(vandalism)

hooliganism, malicious_mischief, vandalise, vandalism, vandalize

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22174-22177
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 819-819
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22173-22173	Vandalism is a subclass of destruction

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61228-61228
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61227-61227
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61226-61226

antecedent

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

Mid-level-ontology.kif 22179-22185

If a process is an instance of vandalism,
then there doesn't exist an entity such that the entity is an instance of agent and the entity is a patient of the process

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