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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EnglishCommonLaw

 Sigma KEE - EnglishCommonLaw
EnglishCommonLaw(英国普通法)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 828-831
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6482-6482
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5988-5988
No TPTP formula. May not be expressible in strict first order. Government.kif 826-826 英国普通法 是 法律制度属性 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22150-22150
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22149-22149
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22148-22148


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