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 The number 1 argument of directional subregion is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order. Geography.kif 478-478 The number 2 argument of directional subregion is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. Geography.kif 476-476 Directional subregion is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Geography.kif 479-479 The range of directional subregion is an instance of geographic area

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 French southern and antarctic lands is located at the directional subregion of south and indian ocean


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