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 10678-10680
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. pictureList.kif 2975-2975
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 3151-3151
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 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 3150-3150
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3154-3154
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. Merge.kif 10676-10676 法律决定声明subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 10675-10675 法律决定司法程序subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15682-15682 合法无罪释放法律决定subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15637-15637 法律奖励法律决定subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15655-15655 法律定罪法律决定subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15659-15659 法律解雇法律决定subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15686-15686 宣判法律决定subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33804-33804
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33803-33803
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33802-33802

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10682-10687
No TPTP formula. May not be expressible in strict first order. Merge.kif 10689-10694

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


No TPTP formula. May not be expressible in strict first order. Law.kif 338-349
No TPTP formula. May not be expressible in strict first order. Law.kif 361-371
No TPTP formula. May not be expressible in strict first order. Law.kif 508-515
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15533-15539
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15628-15635
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20345-20351


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