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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LatitudeFn
LatitudeFn

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 413-419
No TPTP formula. May not be expressible in strict first order. Geography.kif 406-406 Le nombre 1 argument de LatitudeFn est une instance de attribut directionnel
No TPTP formula. May not be expressible in strict first order. Geography.kif 407-407 Le nombre 2 argument de LatitudeFn est une instance de mesure d'angle
No TPTP formula. May not be expressible in strict first order. Geography.kif 408-408 Le nombre 3 argument de LatitudeFn est une instance de mesure d'angle
No TPTP formula. May not be expressible in strict first order. Geography.kif 409-409 Le nombre 4 argument de LatitudeFn est une instance de mesure d'angle
No TPTP formula. May not be expressible in strict first order. Geography.kif 405-405 LatitudeFn est une instance de function
No TPTP formula. May not be expressible in strict first order. Geography.kif 404-404 LatitudeFn est une instance de relation a arit� variable
No TPTP formula. May not be expressible in strict first order. Geography.kif 410-410 Le domaine de LatitudeFn est une instance de r�gion

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3734-3734
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3733-3733
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3732-3732
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33479-33479
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33478-33478
No TPTP formula. May not be expressible in strict first order. Geography.kif 411-411
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33477-33477

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 427-431
No TPTP formula. May not be expressible in strict first order. Geography.kif 421-425

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3595-3615
No TPTP formula. May not be expressible in strict first order. Weather.kif 611-630
No TPTP formula. May not be expressible in strict first order. Geography.kif 433-440