FlowRegionFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4928-4929 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4925-4925 | The number 1 argument of flow region is an instance of liquid motion |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4924-4924 | Flow region is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4926-4926 | The range of flow region is an instance of region |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1073-1073 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1072-1072 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1071-1071 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24350-24350 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24349-24349 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24348-24348 |