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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ElevationHighPointFn
ElevationHighPointFn

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1960-1962
No TPTP formula. May not be expressible in strict first order. Geography.kif 1957-1957 O argumento numero 1 de ElevationHighPointFn e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order. Geography.kif 1956-1956 ElevationHighPointFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order. Geography.kif 1958-1958 O contra-dominio de ElevationHighPointFn e' uma instancia de Area Geografica

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 895-895
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 894-894
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 893-893
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21816-21816
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21815-21815
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21814-21814

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1964-1975

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1964-1975