Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LegalDecision
LegalDecision
more pictures...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2964-2966
No TPTP formula. May not be expressible in strict first order. Merge.kif 10824-10826
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1721-1723
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3146-3146
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2974-2974
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3151-3151
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3150-3150
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3145-3145
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3148-3148
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3152-3152
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3149-3149
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3153-3153
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3147-3147
No TPTP formula. May not be expressible in strict first order. Merge.kif 10822-10822 LegalDecision est une sous-classe de d�clarer
No TPTP formula. May not be expressible in strict first order. Merge.kif 10821-10821 LegalDecision est une sous-classe de JudicialProcess

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16268-16268 LegalAcquittal est une sous-classe de LegalDecision
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16223-16223 LegalAward est une sous-classe de LegalDecision
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16241-16241 LegalConviction est une sous-classe de LegalDecision
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16245-16245 LegalDismissal est une sous-classe de LegalDecision
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16272-16272 Sentencing est une sous-classe de LegalDecision
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33821-33821
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33820-33820
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33819-33819

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10828-10833
No TPTP formula. May not be expressible in strict first order. Merge.kif 10835-10842

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


No TPTP formula. May not be expressible in strict first order. Law.kif 295-306
No TPTP formula. May not be expressible in strict first order. Law.kif 318-328
No TPTP formula. May not be expressible in strict first order. Law.kif 464-471
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16115-16121
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16214-16221
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21035-21041


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