streamOutfall |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5690-5691 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5687-5687 | O argumento numero 1 de streamOutfall e' uma instancia de Area Aquatica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5688-5688 | O argumento numero 2 de streamOutfall e' uma instancia de River |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5686-5686 | streamOutfall e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5685-5685 | streamOutfall e' uma sub-relacao de properPart |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4654-4654 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4653-4653 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4652-4652 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55572-55572 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55571-55571 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55570-55570 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5693-5699 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5661-5670 |
|