defendant - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - defendant

defendant

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16260-16261
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16262-16262	Le nombre 1 argument de defendant est une instance de action l�gale
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16263-16263	Le nombre 2 argument de defendant est une instance de agent cognitif
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16265-16265	defendant est une instance de r�le d�pendant du cas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16264-16264	defendant est une sous-relation de patient

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3218-3218
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3217-3217
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3216-3216
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18894-18894
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18893-18893
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18892-18892

antecedent

No TPTP formula. May not be expressible in strict first order.	Law.kif 295-306	defenseLawyer action l�gale and agent cognitif defendant action l�gale and agent cognitif agent cognitif desire entit� entit� est une instance de LegalDecision entit� inclut une r�f�rence � action l�gale agent cognitif ne veut %n{pas} entit�
No TPTP formula. May not be expressible in strict first order.	Law.kif 318-328	prosecutor action l�gale and agent cognitif defendant action l�gale and agent cognitif agent cognitif desire entit� entit� est une instance de LegalDecision entit� inclut une r�f�rence � action l�gale agent cognitif ne veut %n{pas} entit�

consequent

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

Mid-level-ontology.kif 14148-14162

Agreement a un attribute Contract partyToAgreement agent cognitif and Agreement partyToAgreement agent cognitif and Agreement processus est une instance de processus intentionnel processus est un agent de agent cognitif processus exprime le contenu de proposition consistent proposition and Agreement
l'argument entit� entit� est une instance de action l�gale plaintiff entit� and agent cognitif defendant entit� and agent cognitif a la force modale de Possibility

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