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 16343-16344
(subclass Pleading Stating)	Mid-level-ontology.kif 16342-16342	Pleading is a subclass of stating

appearance as argument number 2

(termFormat ChineseLanguage Pleading "恳求")	domainEnglishFormat.kif 46322-46322
(termFormat ChineseTraditionalLanguage Pleading "懇求")	domainEnglishFormat.kif 46321-46321
(termFormat EnglishLanguage Pleading "pleading")	domainEnglishFormat.kif 46320-46320

antecedent

(=> (instance ?P Pleading) (exists (?C) (and (instance ?C CriminalAction) (refers ?P ?C))))	Mid-level-ontology.kif 16353-16358	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 16346-16351	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