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 17648-17649
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17650-17650 The number 1 argument of defendant is an instance of legal action
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17651-17651 The number 2 argument of defendant is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17653-17653 defendant is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17652-17652 defendant is a subrelation of patient

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3214-3214
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3213-3213
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3212-3212
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18903-18903
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18902-18902
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18901-18901

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Law.kif 300-311
No TPTP formula. May not be expressible in strict first order. Law.kif 324-334

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15520-15534


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