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 10773-10778
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1717-1720
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5037-5037
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4915-4915
No TPTP formula. May not be expressible in strict first order. Merge.kif 10771-10771 司法程序政治过程subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16120-16120 法律上诉司法程序subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 10787-10787 法律决定司法程序subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16223-16223 法律传票司法程序subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31861-31861
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31860-31860
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31859-31859

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10780-10785
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16176-16181

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16128-16133
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16165-16170


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