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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - vegetationType
vegetationType

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6185-6186
No TPTP formula. May not be expressible in strict first order. Geography.kif 6188-6188 O argumento numero 1 de vegetationType e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order. Geography.kif 6189-6189 O argumento numero 2 de vegetationType e' uma sub-classe de Planta
No TPTP formula. May not be expressible in strict first order. Geography.kif 6183-6183 vegetationType e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order. Geography.kif 6182-6182 vegetationType e' uma instancia de Predicado Binario

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4918-4918
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4917-4917
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4916-4916
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61334-61334
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61333-61333
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61332-61332

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6201-6209
No TPTP formula. May not be expressible in strict first order. Geography.kif 6191-6199

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6633-6635
No TPTP formula. May not be expressible in strict first order. Geography.kif 6566-6568
No TPTP formula. May not be expressible in strict first order. Geography.kif 6693-6696
No TPTP formula. May not be expressible in strict first order. Geography.kif 6703-6705
No TPTP formula. May not be expressible in strict first order. Geography.kif 6735-6737
No TPTP formula. May not be expressible in strict first order. Geography.kif 6739-6741
No TPTP formula. May not be expressible in strict first order. Geography.kif 6221-6223