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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - JudicialProcess
JudicialProcess(司法程序)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2961-2963
No TPTP formula. May not be expressible in strict first order. Merge.kif 10661-10666
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5038-5038
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4916-4916
No TPTP formula. May not be expressible in strict first order. Merge.kif 10659-10659 司法程序政治过程subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15565-15565 法律上诉司法程序subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 10675-10675 法律决定司法程序subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15664-15664 法律传票司法程序subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31848-31848
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31847-31847
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31846-31846

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10668-10673
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15617-15622

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15573-15578
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15606-15611


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