Pleading - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Pleading

Pleading(pleading)

affirmative_pleading, alternative_pleading, answer, charge, complaint, defective_pleading, demurrer, libel, plead, pleading, pleading_in_the_alternative, rebuttal, rebutter, rejoinder, replication, special_pleading, surrebuttal, surrebutter, surrejoinder

appearance as argument number 1

(documentation Pleading EnglishLanguage "Stating in a court of law a claim about whether or not one is guilty of the crime of which one has been accused.")	Mid-level-ontology.kif 17053-17054
(subclass Pleading Stating)	Mid-level-ontology.kif 17052-17052	Pleading is a subclass of stating

appearance as argument number 2

(termFormat ChineseLanguage Pleading "恳求")	domainEnglishFormat.kif 46315-46315
(termFormat ChineseTraditionalLanguage Pleading "懇求")	domainEnglishFormat.kif 46314-46314
(termFormat EnglishLanguage Pleading "pleading")	domainEnglishFormat.kif 46313-46313

antecedent

(=> (instance ?P Pleading) (exists (?C) (and (instance ?C CriminalAction) (refers ?P ?C))))	Mid-level-ontology.kif 17063-17068	If an entity is an instance of pleading, then there exists another entity such that the other entity is an instance of criminal action and the entity includes a reference to the other entity
(=> (instance ?P Pleading) (exists (?J) (and (instance ?J JudicialProcess) (subProcess ?P ?J))))	Mid-level-ontology.kif 17056-17061	If a process is an instance of pleading, then there exists another process such that the other process is an instance of judicial process and the process is a subprocess of the other process

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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