TreeView Knowledge Base Browser - LegalSummons

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - LegalSummons

LegalSummons(legal summons)

citation, judicial_writ, monition, process, process_of_monition, summons, ticket, writ

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16223-16224
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4926-4926
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16222-16222	Legal summons is a subclass of judicial process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16221-16221	Legal summons is a subclass of ordering

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33857-33857
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33856-33856
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33855-33855

antecedent

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

Mid-level-ontology.kif 16226-16238

If a process is an instance of legal summons and a content bearing physical is a patient of the process and the process ends up at an entity,
then there exist another entity and a third entity such that the other entity is an instance of court room and the content bearing physical contains information the statement the entity is located at the other entity holds during the third entity has the modal force of law

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