Downstream
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10881-10881 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10879-10879 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10878-10878 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10880-10880 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10877-10877 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9987-9987 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5459-5459 | Downstream e' uma instancia de Atributo Posicional |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5460-5460 | oppositeDirection Upstream and Downstream |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 282-282 | Downwind e' um sub-atributo de Downstream |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20268-20268 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20267-20267 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20266-20266 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29801-29810 |
|