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

Formal Language: 



KB Term:  Term intersection
English Word: 

  JudicialProcess

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 10667-10672
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 10665-10665 司法程序政治过程subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15569-15569 法律上诉司法程序subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 10681-10681 法律决定司法程序subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15668-15668 法律传票司法程序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 10674-10679
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15621-15626

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15577-15582
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15610-15615


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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