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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NewJersey

 Sigma KEE - NewJersey
NewJersey(新泽西州美国)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1045-1045
No TPTP formula. May not be expressible in strict first order. pictureList.kif 620-620
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1051-1051 新泽西州美国 是 美国 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1041-1041 新泽西州美国 是 美国国家 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1043-1043 新泽西州美国 接上 Delaware
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1042-1042 新泽西州美国 接上 北大西洋
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1044-1044 新泽西州美国 接上 宾夕法尼亚

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1060-1060 纽约州 接上 新泽西州美国
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1052-1052 新泽西州美国 的名 是 "New Jersey"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40305-40305
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40304-40304
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40303-40303


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