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 子類 法律決定 and Declaring
No TPTP formula. May not be expressible in strict first order. Merge.kif 10821-10821 子類 法律決定 and 司法程序

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16268-16268 子類 合法無罪釋放 and 法律決定
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16223-16223 子類 法律獎勵 and 法律決定
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16241-16241 子類 法律定罪 and 法律決定
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16245-16245 子類 法律解僱 and 法律決定
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16272-16272 子類 宣判 and 法律決定
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