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 例 新澤西州美國 and 美國國家
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1043-1043 空間的符合 新澤西州美國 and Delaware
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1042-1042 空間的符合 新澤西州美國 and 北大西洋
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1044-1044 空間的符合 新澤西州美國 and 賓夕法尼亞

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1060-1060 空間的符合 紐約州 and 新澤西州美國
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1052-1052 名 "New Jersey" and 新澤西州美國
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