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

Formal Language: 



KB Term:  Term intersection
English Word: 

  legalSystemType

 Sigma KEE - legalSystemType
legalSystemType

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


No TPTP formula. May not be expressible in strict first order. Government.kif 757-761
No TPTP formula. May not be expressible in strict first order. Government.kif 754-754 法律制度类型 的 1 数量 是 地缘政治区域 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 755-755 法律制度类型 的 2 数量 是 法律制度属性 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 753-753 法律制度类型 是 二元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1463-1463
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1462-1462
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1461-1461
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33869-33869
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33868-33868
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33867-33867

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


No TPTP formula. May not be expressible in strict first order. Government.kif 763-765
No TPTP formula. May not be expressible in strict first order. Government.kif 855-857


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