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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 Le nombre 1 argument de DirectionalSubregionFn est une instance de attribut directionnel
No TPTP formula. May not be expressible in strict first order. Geography.kif 478-478 Le nombre 2 argument de DirectionalSubregionFn est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order. Geography.kif 476-476 DirectionalSubregionFn est une instance de fonction binaire
No TPTP formula. May not be expressible in strict first order. Geography.kif 479-479 Le domaine de DirectionalSubregionFn est une instance de secteur g�ographique

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