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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DirectionalSubregionFn

 Sigma KEE - DirectionalSubregionFn
DirectionalSubregionFn

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 481-491
No TPTP formula. May not be expressible in strict first order. Geography.kif 477-477 定向分区域 的 1 数量 是 方向属性 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 478-478 定向分区域 的 2 数量 是 地理区域 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 476-476 定向分区域 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 479-479 定向分区域 的 range 是 地理区域 的实例

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 756-756
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 755-755
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 754-754
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19698-19698
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19697-19697
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19696-19696

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 493-498
No TPTP formula. May not be expressible in strict first order. Geography.kif 500-505

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 493-498
No TPTP formula. May not be expressible in strict first order. Geography.kif 500-505

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 588-588 法国南部和南极的土地 是 located 在 南 和 印度洋 的 directional 次要地区


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