flows |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5437-5439 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5426-5426 | O argumento numero 1 de flows e' uma instancia de a classe correspondente a Fluid |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5428-5428 | O argumento numero 1 de flows e' uma instancia de Fisico |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5427-5427 | O argumento numero 2 de flows e' uma instancia de a classe correspondente a Fluid |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5429-5429 | O argumento numero 2 de flows e' uma instancia de Fisico |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5424-5424 | flows e' uma instancia de Relacao Assimetrica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5423-5423 | flows e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5425-5425 | flows e' uma instancia de Relacao Transitiva |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1077-1077 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1076-1076 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1075-1075 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5434-5434 | tributary e' uma sub-relacao de flows |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24356-24356 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24355-24355 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24354-24354 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5661-5670 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5442-5444 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5446-5448 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5533-5542 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5498-5505 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5489-5496 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5415-5421 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5195-5200 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5693-5699 |
|